Displaying similar documents to “Uniform algebras and analytic multi­functions”

Uniform algebras and analytic multi­functions

Zbigniew Slodkowski (1983)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Similarity:

Dati due elementi f e g in un'algebra uniforme A , sia G = f ( M A / f ( A ) . Nella presente Nota si danno, fra l’altro, due nuove dimostrazioni elementari del fatto che la funzione λ log max g ( f - 1 ( λ ) ) è subarmonica su G e che l’applicazione λ g ( f - 1 ( λ ) ) è analitica nel senso di Oka.

A remark on complex powers of analytic functions

Giuseppe Zampieri (1985)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Sia K n un compatto, f 0 una funzione analitica all'intorno di K , ed m la massima molteplicità in K degli zeri di f ; si prova che la potenza f λ ( λ , R e λ > 1 m ) è integrabile in K . L'estensione meromorfa dell'applicazione λ f λ da R e λ > 0 a tutto (con valori in 𝒟 ( K ) anziché in L 1 ( K ) ) era già stata provata in [1] e [2].

Some chain rules for certain derivatives of double tensors depending on other such tensors and some point variables. I. On the pseudo-total derivative

Aldo Bressan (1986)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Si considerano due spazi S μ e S ν , Riemanniani e a metrica eventualmente indefinita, riferiti a sistemi di co-ordinate e ν ; e inoltre un doppio tensore T associato ai punti - 1 ( x ) S μ e - 1 ( y ) S . Si pensa T dato da una funzione T ~ di m altri tali doppi tensori e di variabili puntuali x ( μ ) , t e y ( ν ) ; poi si considera la funzione composta T ^ ( x , t , y ) = T ~ [ H ˘ ( x , t , y ) , , H ˘ ( x , t , y ) 1 , , m , x , t , y ] . Nella Parte I si scrivono due regole per eseguire la derivazione totale di questa, connessa con una mappa ^ ( = ^ t ) fra S ν e S μ ; una è a termini generalmente non covarianti...

Some properties of perfect metric spaces

Angelo Bella, Biagio Ricceri (1983)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

In questa Nota, dati uno spazio metrico perfetto X ed un suo sottoinsieme K chiuso e raro, si dimostra l'esistenza di una funzione continua f : X [ 0 , 1 ] tale che i n t ( f - 1 ( t ) ) = per ogni t [ 0 , 1 ] , f ( x ) = 0 per ogni x K e f ( y ) = 1 per qualche y X K . In particolare, ciò permette di dare risposta simultaneamente a due questioni poste in [2]. Si mettono in evidenza, poi, ulteriori conseguenze di tale risultato.

On sum-product representations in q

Mei-Chu Chang (2006)

Journal of the European Mathematical Society

Similarity:

The purpose of this paper is to investigate efficient representations of the residue classes modulo q , by performing sum and product set operations starting from a given subset A of q . We consider the case of very small sets A and composite q for which not much seemed known (nontrivial results were recently obtained when q is prime or when log | A | log q ). Roughly speaking we show that all residue classes are obtained from a k -fold sum of an r -fold product set of A , where r log q and log k log q , provided the...

A generalized exponential map for an affinely homogeneous cone

Umberto Sampieri (1983)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Dato un cono V aperto non vuoto, convesso, regolare e affinemente omogeneo in uno spazio vettoriale reale W di dimensione finita si prova che per ogni v appartenente a V esiste un diffeomorfismo E v : W V che soddisfa le condizioni seguenti E1) E v ( 0 ) = v ; E2) det ( d E v ( y ) ) = Φ V ( E v ( y ) ) - 1 per ogni y appartenente a W ove Φ V : V 𝐑 + è la funzione caratteristica di V .

𝐋 -embedding, Amalgamation and 𝐋 -elementary equivalence

Daniele Mundici (1982)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Ogni logica L genera canonicamente la L -equivalenza L e la L -immersione 𝐿 proprio come la logica del primo ordine genera l’equivalenza elementare e l’immersione elementare . Astraendo da L , è interessante studiare in sè relazioni d’equivalenza e di immersione generali tra strutture. Mostriamo che esiste una corrispondenza biunivoca tra relazioni d’equivalenza con la proprietà di Robinson e relazioni d’immersione con la proprietà di Amalgamazione Forte ( A P + ). Caratterizziamo algebricamente...

Nodal curves in 3 ( )

Edoardo Ballico, Paolo Oliverio (1984)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Siano d , g , t interi con 0 t g ; se esiste in 3 ( ) una curva connessa, non singolare di grado d e genere g , allora esiste in 3 ( ) una curva irriducibile di grado d , genere aritmetico g e t nodi.

A remark on complex powers of analytic functions

Giuseppe Zampieri (1985)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Similarity:

Sia K n un compatto, f 0 una funzione analitica all'intorno di K , ed m la massima molteplicità in K degli zeri di f ; si prova che la potenza f λ ( λ , R e λ > 1 m ) è integrabile in K . L'estensione meromorfa dell'applicazione λ f λ da R e λ > 0 a tutto (con valori in 𝒟 ( K ) anziché in L 1 ( K ) ) era già stata provata in [1] e [2].

A note on semi-continuous mappings

Takashi Noiri (1973)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Se X ed Y sono spazi topologici, un'applicazione f : X Y dicesi semicontinua [3] se, per ogni insieme aperto V di Y , f - 1 ( V ) risulta un insieme semiaperto di X . Qui si studiano tali applicazioni e si dànno tre loro caratterizzazioni.

Dimension of weakly expanding points for quadratic maps

Samuel Senti (2003)

Bulletin de la Société Mathématique de France

Similarity:

For the real quadratic map P a ( x ) = x 2 + a and a given ϵ > 0 a point x has good expansion properties if any interval containing x also contains a neighborhood  J of x with P a n | J univalent, with bounded distortion and B ( 0 , ϵ ) P a n ( J ) for some n . The ϵ -weakly expanding set is the set of points which do not have good expansion properties. Let α denote the negative fixed point and M the first return time of the critical orbit to [ α , - α ] . We show there is a set of parameters with positive Lebesgue measure for which the Hausdorff...

A note on singular and degenerate abstract equations

Angelo Favini (1982)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Si considera l’equazione astratta B A 1 u + A 0 u = h , dove A i ( i = 0 , 1 ) e B sono convenienti operatori lineari chiusi fra spazi di Banach, A i non è necessariamente invertibile, e A 0 , A 1 non commutano con B . Si studiano esistenza ed unicità delle soluzioni. Si indicano alcune applicazioni a certe equazioni differenziali degeneri o singolari.

A Note on VLO Functions

Francesca Angrisani, Giacomo Ascione (2018)

Rendiconto dell’Accademia delle Scienze Fisiche e Matematiche

Similarity:

Inspired by a result from Leibov, we find that the supremum defining the B L O norm in [ 0 , 1 ] is actually attained by a specific sub-interval of [ 0 , 1 ] for f V L O ( [ 0 , 1 ] )

A Note on Regular-closed Functions

Takashi Noiri (1981)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Se X ed Y sono spazi topologici, una funzione f : X Y è detta regolarmente chiusa [5] se essa trasforma ogni insieme regolarmente chiuso di X in un insieme chiuso di Y . Si dimostra che una funzione regolarmente chiusa f : X Y risulta chiusa se X è normale.

Subproducts defined by means of subdirect products

Frans Loonstra (1982)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Si supponga che l'anello 𝐑 ammetta una decomposizione come prodotto subdiretto 𝐑 = × α 𝚲 ~ 𝐑 α di anelli 𝐑 α , tali che per 𝐒 α = 𝐑 𝐑 α si abbia Ann 𝐑 α 𝐒 α = ( α A ), e sia 𝐒 = α 𝐀 𝐒 α . Si scelga un 𝐑 -modulo (destro) 𝐌 che sia libero da torsione rispetto ad 𝐒 , cioè Ann 𝐌 𝐒 = ; allora 𝐌 può essere rappresentato come prodotto subdiretto irridondante 𝐌 × α 𝚲 ~ 𝐌 α degli 𝐑 α -moduli 𝐌 α liberi da torsione rispetto ad 𝐒 α . Si fa uno studio di un subprodotto generale di una classe 𝐂 di 𝐑 -moduli 𝐌 ( 𝐢 ) ( i I ) , dove 𝐂 è determinato per mezzo di epimorfismi e relazioni. ...

𝐋 -embedding, Amalgamation and 𝐋 -elementary equivalence

Daniele Mundici (1982)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Similarity:

Ogni logica L genera canonicamente la L -equivalenza L e la L -immersione 𝐿 proprio come la logica del primo ordine genera l’equivalenza elementare e l’immersione elementare . Astraendo da L , è interessante studiare in sè relazioni d’equivalenza e di immersione generali tra strutture. Mostriamo che esiste una corrispondenza biunivoca tra relazioni d’equivalenza con la proprietà di Robinson e relazioni d’immersione con la proprietà di Amalgamazione Forte ( A P + ). Caratterizziamo algebricamente...

Wallman-type compaerifications and function lattices

Alessandro Caterino, Maria Cristina Vipera (1988)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Let F C ( X ) be a vector sublattice over which separates points from closed sets of X . The compactification e F X obtained by embedding X in a real cube via the diagonal map, is different, in general, from the Wallman compactification ω ( Z ( F ) ) . In this paper, it is shown that there exists a lattice F z containing F such that ω ( Z ( F ) ) = ω ( Z ( F z ) ) = e F X . In particular this implies that ω ( Z ( F ) ) e F X . Conditions in order to be ω ( Z ( F ) ) = e F X are given. Finally we prove that, if α X is a compactification of X such that C l α X ( α X X ) is 0 -dimensional, then there is an...

On the ampleness of K X L n for a polarized threefold ( X , L )

Antonio Lanteri, Marino Palleschi (1985)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Siano X una varietà algebrica proiettiva complessa non singolare tridimensionale, L un fibrato lineare ampio su X , e n 2 un intero. Si prova che, a meno di contrarre un numero finito di - 1 -piani di X , il fibrato K X L n è ampio ad eccezione di alcuni casi esplicitamente descritti. Come applicazione si dimostra l'ampiezza del divisore di ramificazione di un qualunque rivestimento di 𝐏 3 o della quadrica liscia di 𝐏 4 .

On the lower semicontinuity of certain integral functionals

Ennio De Giorgi, Giuseppe Buttazzo, Gianni Dal Maso (1983)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Si dimostra che il funzionale Ω f ( u , D u ) 𝑑 x è semicontinuo inferiormente su W l o c 1 , 1 ( Ω ) , rispetto alla topologia indotta da L l o c 1 ( Ω ) , qualora l’integrando f ( s , p ) sia una funzione non-negativa, misurabile in s , convessa in p , limitata nell’intorno dei punti del tipo ( s , 0 ) , e tale che la funzione s f ( s , 0 ) sia semicontinua inferiormente su 𝐑 .

On the adjoint system to a very ample divisor on a surface and connected inequalities. Nota I

Antonio Lanteri, Marino Palleschi (1981)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Siano: S una superficie algebrica proiettiva complessa non singolare, K un divisore canonico ed H un divisore molto ampio su S . Questo lavoro ha per oggetto lo studio dell'indice di autointersezione ( K + H ) 2 . Si dimostra, innanzitutto, la disuguaglianza ( K + H ) 2 0 , nell'ipotesi che la superficie S ottenuta immergendo S mediante il sistema lineare completo | H | non sia uno scroll. Questa disuguaglianza è connessa con alcuni risultati di Sommese e Van de Ven sulla generazione del fascio 𝒪 s ( K + H ) . La dimostrazione...

Limits of log canonical thresholds

Tommaso de Fernex, Mircea Mustață (2009)

Annales scientifiques de l'École Normale Supérieure

Similarity:

Let 𝒯 n denote the set of log canonical thresholds of pairs ( X , Y ) , with X a nonsingular variety of dimension n , and Y a nonempty closed subscheme of X . Using non-standard methods, we show that every limit of a decreasing sequence in 𝒯 n lies in 𝒯 n - 1 , proving in this setting a conjecture of Kollár. We also show that 𝒯 n is closed in 𝐑 ; in particular, every limit of log canonical thresholds on smooth varieties of fixed dimension is a rational number. As a consequence of this property, we see that in...

A curve of genus q with a Half-Canonical embedding in 𝐏 3

Sevin Recillas (1984)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Si costruiscono curve di genere g = 4 n 3 , n 3 che hanno 2 n - 3 ( 2 n - 2 - 1 ) fasci semicanonici L tali che h 0 ( L ) = 4 . Per n + 3 si dimostra che gli L sono molto ampi.

Subproducts defined by means of subdirect products

Frans Loonstra (1982)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Similarity:

Si supponga che l'anello 𝐑 ammetta una decomposizione come prodotto subdiretto 𝐑 = × α 𝚲 ~ 𝐑 α di anelli 𝐑 α 𝟎 , tali che per 𝐒 α = 𝐑 𝐑 α si abbia Ann 𝐑 α 𝐒 α = 𝟎 ( α A ), e sia 𝐒 = α 𝐀 𝐒 α . Si scelga un 𝐑 -modulo (destro) 𝐌 che sia libero da torsione rispetto ad 𝐒 , cioè Ann 𝐌 𝐒 = 𝟎 ; allora 𝐌 può essere rappresentato come prodotto subdiretto irridondante 𝐌 × α 𝚲 ~ 𝐌 α degli 𝐑 α -moduli 𝐌 α liberi da torsione rispetto ad 𝐒 α . Si fa uno studio di un subprodotto generale di una classe 𝐂 di 𝐑 -moduli 𝐌 ( 𝐢 ) ( i I ) , dove 𝐂 è determinato per mezzo di epimorfismi e relazioni. ...

On bibasic systems and a Retherford’s problem

Anatoli Pličko, Paolo Terenzi (1984)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Ogni spazio di Banach ha un sistema bibasico ( x n , f n ) normalizzato; inoltre ogni successione ( x n ) uniformemente minimale appartiene ad un sistema biortogonale limitato ( x n , f n ) , dove ( f n ) è M-basica e normante.

Partial Hölder continuity for quasilinear parabolic systems of higher order with strictly controlled growth

Mario Marino, Antonino Maugeri (1984)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Sfruttando i risultati di [1], si prova che le derivate spaziali D α u di ordine | α | con | α | < m - 1 delle soluzioni in Q di un sistema parabolico quasilineare di ordine 2 m con andamenti strettamente controllati, sono parzialmente hölderiane in Q con esponente di hölderianità decrescente al crescere di | α | .

Permutability of centre-by-finite groups

Brunetto Piochi (1989)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Let G be a group and m be an integer greater than or equal to 2 . G is said to be m -permutable if every product of m elements can be reordered at least in one way. We prove that, if G has a centre of finite index z , then G is ( 1 + [ z / 2 ] ) -permutable. More bounds are given on the least m such that G is m -permutable.

Sum-product theorems and incidence geometry

Mei-Chu Chang, Jozsef Solymosi (2007)

Journal of the European Mathematical Society

Similarity:

In this paper we prove the following theorems in incidence geometry. 1. There is δ > 0 such that for any P 1 , , P 4 , and Q 1 , , Q n 2 , if there are n ( 1 + δ ) / 2 many distinct lines between P i and Q j for all i , j , then P 1 , , P 4 are collinear. If the number of the distinct lines is < c n 1 / 2 then the cross ratio of the four points is algebraic. 2. Given c > 0 , there is δ > 0 such that for any P 1 , P 2 , P 3 2 noncollinear, and Q 1 , , Q n 2 , if there are c n 1 / 2 many distinct lines between P i and Q j for all i , j , then for any P 2 { P 1 , P 2 , P 3 } , we have δ n distinct lines between P and Q j . 3. Given...

Closed extensions of R-modules in the case of a semi-artinian ring R

Frans Loonstra (1985)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Si considerano le estensioni chiuse B di un R -modulo A mediante un R -modulo C nel caso in cui R sia un anello semi-artiniano, cioè un anello R con la proprietà che per ogni quoziente ( R / I ) 0 sia soc ( R / I ) 0 . Tali estensioni sono caratterizzate dal fatto che A deve essere un sottomodulo semi-puro di B .

A pure smoothness condition for Radó’s theorem for α -analytic functions

Abtin Daghighi, Frank Wikström (2016)

Czechoslovak Mathematical Journal

Similarity:

Let Ω n be a bounded, simply connected -convex domain. Let α + n and let f be a function on Ω which is separately C 2 α j - 1 -smooth with respect to z j (by which we mean jointly C 2 α j - 1 -smooth with respect to Re z j , Im z j ). If f is α -analytic on Ω f - 1 ( 0 ) , then f is α -analytic on Ω . The result is well-known for the case α i = 1 , 1 i n , even when f a priori is only known to be continuous.

A generalized exponential map for an affinely homogeneous cone

Umberto Sampieri (1983)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Similarity:

Dato un cono V aperto non vuoto, convesso, regolare e affinemente omogeneo in uno spazio vettoriale reale W di dimensione finita si prova che per ogni v appartenente a V esiste un diffeomorfismo E v : W V che soddisfa le condizioni seguenti E1) E v ( 0 ) = v ; E2) det ( d E v ( y ) ) = Φ V ( E v ( y ) ) - 1 per ogni y appartenente a W ove Φ V : V 𝐑 + è la funzione caratteristica di V .

On the existence of scrolls in 𝐏 𝟒

Antonio Lanteri (1980)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Si dimostra il seguente risultato. Sia X una superficie proiettivamente rigata, non iperpiana, di 𝐏 𝟒 ; allora X è la rigata cubica oppure è una rigata quintica ellittica. Si descrive inoltre una nuova generazione proiettiva delle rigate quintiche ellittiche di 𝐏 𝟒 .

Results on linear and nonlinear hyperbolic boundary value problems at resonance

Michael W. Smiley (1980)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Si considera l’equazione non lineare nell'incognita u ( t , x ) ((1,1) del testo) soddisfatta in un cilindro G = ( o , T ) × Ω ( Ω dominio limitato di 𝐑 𝐧 ) con condizioni al contorno tipo Dirichlet o Neumann sulla superficie laterale di G e con relazioni omogenee fra u e u t sulle basi. Si stabiliscono per la (1) e nel caso di risonanza alcuni teoremi di perturbazione.

A note on singular and degenerate abstract equations

Angelo Favini (1982)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Similarity:

Si considera l’equazione astratta B A 1 u + A 0 u = h , dove A i ( i = 0 , 1 ) e B sono convenienti operatori lineari chiusi fra spazi di Banach, A i non è necessariamente invertibile, e A 0 , A 1 non commutano con B . Si studiano esistenza ed unicità delle soluzioni. Si indicano alcune applicazioni a certe equazioni differenziali degeneri o singolari.

Poisson geometry and deformation quantization near a strictly pseudoconvex boundary

Eric Leichtnam, Xiang Tang, Alan Weinstein (2007)

Journal of the European Mathematical Society

Similarity:

Let X be a complex manifold with strongly pseudoconvex boundary M . If ψ is a defining function for M , then log ψ is plurisubharmonic on a neighborhood of M in X , and the (real) 2-form σ = i ¯ ( log ψ ) is a symplectic structure on the complement of M in a neighborhood of M in X ; it blows up along M . The Poisson structure obtained by inverting σ extends smoothly across M and determines a contact structure on M which is the same as the one induced by the complex structure. When M is compact, the Poisson structure...

Evolution equations for a class of non­linear operators

Ennio De Giorgi, Marco Degiovanni, Antonio Marino, Mario Tosques (1983)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Se A è un operatore in uno spazio di Hilbert e V è un sotto insieme di questo spazio, in molti problemi si è indotti a modificare A sul «bordo» di V in modo da ottenere un operatore A tale che le soluzioni dell'equazione differenziale associata 0 U + A ~ ( U ) non escano da V . Se V non è convesso, l'operatore A non rientra nei casi classici esaminati, ad esempio, in [1]. In questo lavoro introduciamo alcune classi di operatori che contengono, in qualçhe caso significativo, quelli del genere sopra...

On control theory and its applications to certain problems for Lagrangian systems. On hyper-impulsive motions for these. III. Strengthening of the characterizations performed in parts I and II, for Lagrangian systems. An invariance property.

Aldo Bressan (1988)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

In [1] I and II various equivalence theorems are proved; e.g. an ODE ( ) z ˙ = F ( t , z , u , u ˙ ) ( m ) with a scalar control u = u ( ) is linear w.r.t. u ˙ iff ( α ) its solution z ( u , ) with given initial conditions (chosen arbitrarily) is continuous w.r.t. u in a certain sense, or iff ( β ) z ( u , ) satisfies certain conditions by which 1 s t -order discontinuities of u and u ˙ can be treated satisfactorily. In the case when, for z = ( q , p ) equation ( ) is a semi-Hamiltonian system, equivalent to a system of Lagrangian equations of a general type,...