arxiv: v1 [math-ph] 8 Oct 2015

Transcription

1 Jordan form, parabolicity and other featres of change of type transition for hydrodynamic type systems. arxi:5.97 [math-ph] 8 Oct 5 B.G. Konopelchenko Dipartimento di Matematica e Fisica Ennio de Giorgi, Uniersità del Salento INFN, Sezione di Lecce, 7 Lecce, Italy konopel@le.infn.it G. Ortenzi Dipartimento di Matematica Pra ed Applicazioni, Uniersità di Milano Bicocca, 5 Milano, Italy gioanni.ortenzi@nimib.it Jly, 8 Abstract Changes of type transitions for the two-component hydrodynamic type systems are discssed. It is shown that these systems generically assme the Jordan form (with Jordan block) on the transition line with hodograph eqations becoming parabolic. Conditions which allow or forbid the transition from hyperbolic domain to elliptic one are discssed. Hamiltonian systems and their special sbclasses and eqations, like dispersionless nonlinear Schrödinger, dispersionless Bossinesq, one-dimensional isentropic gas dynamics eqations and nonlinear wae eqations are stdied. Nmerical reslts concerning the crossing of transition line for the dispersionless Bossinesq eqation are presented too. Introdction Differential eqations and systems of mixed type always hae attracted a great interest de to the presence of both hyperbolic and elliptic regimes, possibility of transition to each other and nmeros interpretations of sch transitions in arios fields of mathematics, physics and applied science (see e.g. []-[7]). Stdy of the properties of the systems of qasi-linear eqations near the transition line (referred also as sonic line, parabolic line or hyperbolic-elliptic bondary) is of particlar interest de to the connection with the problem of nonlinear stability of systems of mixed type. The reslts obtained in the recent papers [8, 9, ] contribted significantly to nderstanding and clarifying the sitation. On the other hand some assmptions made, for instance, in [] seems to be rather restrictie. In particlar, the calclations made in [] are based on the hypothesis that the matrix V for the hydrodynamic type systems t = V( ) x () is degenerated yet diagonalizable on sonic line []. There are, howeer, nmber of systems for which it is not the case. The simplest example is proided by the well-known one-layer Benney system (or dipersionless nonlinear Schrödinger eqation (dnls)) t = x + x, t = x + x. ()

2 Characteristic speeds for () are λ ± = ± and the transition line is gien by eqation (x,t) =. On the transition line the matrix V takes the form ( ) V = () which is obiosly non-diagonalizable. Another example is proided by the dispersionless Bossinesq (db) eqation or the system In this case the matrix V on the transition line is tt = ( ) xx () V = t = x, t = x. ( (5) ), (6) i.e. the Jordan block with zero eigenale. The appearance of Jordan blocks in the these examples is a clear manifestation of the generic strctre for the hydrodynamics type systems on the transition line. These two systems represent two different classes of hydrodynamic systems of mixed type. For dnls eqation () hyperbolic domain ( > ) is separated from the elliptic one ( < ). For the db eqation () the transition line can be crossed and soltions from the hyperbolic domain ( > ) can pass to the elliptic domain ( < ). In the present paper these phenomenons are stdied for the two-component systems () of mixed type. It is shown that generically a two-component system () at the transition line is of Jordan form. Hodograph eqations are manifestly parabolic on the transition line. This parabolic regime separates the hyperbolic domain describing wae propagation and elliptic domain containing qasi-conformal mapping. Conditions nder which soltions of the system (8) may belong to both hyperbolic and elliptic domain or aoid the crossing of the transition line are discssed. Hamiltonian systems are considered in detail as illstratie examples. It is shown that the presence of the Jordan block on the transition line is a typical behaior of Hamiltonian systems. It is also that in the generic case the characteristics in (, ) plane (simple waes) hae niersal behaior ( ) / (7) near the point (, ) of contact with the transition line. The db eqation is characteristic representatie of sch a behaior. Particlar classes of Hamiltonian systems, inclding gasdynamics eqations and nonlinear wae eqations are considered. Nmerical reslts for the db eqation showing the particlarities of crossing of the transition line are presented too. The paper is organized as follows. Some basic well-known reslts for the system (8), inclding hodograph eqations are gien in Section. Behaior of the system (8) on the transition line, its Jordan form, and parabolic character are considered in Section. In section it is shown the behaior of the system near the transition line from the elliptic side. Necessary and sfficient conditions which allows or forbid the crossing of the transition line are discssed in Section 5. These reslts applied to general Hamiltonian systems are presented in Section 6. Special classes of Hamiltonian systems and, in particlar, eqations of motion for isentropic gas eqations and nonlinear wae eqations are considered in Sections 7 and and 8. Some nmerical reslts for the db eqation near to the transition line are presented in Section 9. General formlae We will consider two component qasi-linear system of mixed type of first order ( ) ( )( ) t A B x = C D t x (8)

3 where A,B,C,D are certain real fnctions of and and sbscript denotes deriaties. For conenience we will recall here some basic known facts (see e.g. [,, ]). Generically the matrix ( ) A B V = (9) C D has two distinct eigenales gien by λ ± = A+D± (A D) +BC. () If Ω (A D) + BC > the system is hyperbolic, while at Ω < it is elliptic. In this paper we will assme that Ω(,) is a smooth fnction of and. So, the hyperbolic and elliptic domains are separated by the transition line gie by the eqation Classical hodograph eqations for the system (8) is ( ) ( x D C = B A x Ω((x,t),(x,t)) =. () )( t As a conseqence, the ariables t and x obey the second order eqations and t ). () Ct + A D t Bt (B +D )t +(A +C )t = () ( ) Ax +Cx AD BC ( ) Bx +Dx =. () AD BC If the system (8) has a conseration eqation Q t = P x then Q obeys the eqation CQ +(A D)Q BQ (B A )Q +( D +C )Q =. (5) In the hyperbolic domain there are two real Riemann inariants r + and r sch that the system (8) is eqialent to r ± t = λ ±r ± x (6) with two distinct characteristic speeds λ + and λ. In the elliptic domain λ + and λ are complex-conjgate to each-other and one has the single complex eqation r + t = λ +r + x (7) with r being the complex conjgate to r +. Riemann inariants obey to the system Only two among these eqations are independent say or (A λ ± )r ± +Cr ± =, Br ± +(D λ ±)r ± =. (8) Br ± +(D λ ±)r ± = (9) r ± = A D± Ω r ± B. () Eqations () are diagonal form of the hodograph eqations () rewritten as ( t x ) = ( B A BC AD D )( t x ). ()

4 Indeed the eigenales µ ± of the matrix present in () are µ ± = A D± Ω B. () The characteristics for eqation () are defined by the eqation ( ) d = µ ±. () d ± Riemann inariants are constants along these characteristics ± in the hodograph space. Eqations() are those which define simple waes for the system(8). The simple waes are the hodograph conterpart of the sal characteristics ( ) dx dt ± = λ ± in the space (x,t). We note also that the components y and y of the eigenector y of the matrix V in (9) on the transition line obey the eqation (A D)y +By =. () Hydrodynamic type systems and, in particlar, the system (8) exhibit one more important phenomenon, the so-called gradient catastrophe, i.e. nbondedness of deriaties of and at finite x and t while (x,t) and (x, t) remain bonded (see e.g. []). Interference of the gradient catastrophe and crossing the transition line is a rather complicated problem. To simplify the analysis we will assme in the rest of the paper that the soltions of the system (8) aoid gradient catastrophe, at least, before the crossing of the transition line (if so). Transition line and Jordan form Stdy of the behaior of systems of mixed type on the transition line and nearby is fndamental for nderstanding their properties. The system (8) can be of mixed type only when BC <. In the case BC (inclding symmetric matrices) it is hyperbolic except the degeneration at the set of points defined by the eqation A = D and B = (or C = ) in generic case or at the line in the case A = D and B = C =. It was already shown in the Introdction that on the transition lines the dnls and db eqations assme the special form with Jordan blocks. These reslts can be obtained as the limit, performed accrately, of the eqations (6) for Riemann inariants when a soltion (, ) approaches the transition line. In the dnls eqation () case λ ± = ±, r ± = ± (5) and the transition line is gien by the eqation (x,t) =. Eqations for the Riemann inariants in terms of and are (± ) t = (± )(± ) x (6) or t ± t = x ± x ± x + x. (7) In the limit the two leading order terms / and gie the system t = x + x, t = x. (8) This system has matrix V gien by (), that is the Jordan form with λ =. In the db eqation (5) case λ ± = ± /, r ± = ± /, (9) and the transition line is gien by the eqation (x,t) =. So eqations (6) in terms of and are ( ± / ) t = ± / ( ± / ) x () or t ± / t = ± / x + x. ()

5 When x and t approaches the transition line (x,t) = in the leading orders and / one gets t =, t = x, () i.e. the Jordan form with λ =. In the general case the matrix V for the system (8) apparently is not of the Jordan block form on the transition line Ω (). It can be parameterized at C as ( ) λ+ BC B V V Ω= = C λ () BC where λ = λ + = λ = (A+D)/. Sch a matrix has the form ( ) V = λ +N () where N is the general nilpotent matrix. It is straightforward to check that there exists a two parameter family of inertible matrices P sch that ( ) PV P λ =. (5) λ The family P at C is gien by P = a b + BC C C BC b, (6) where a = a(,) and b = b(,) are two arbitrary fnctions. In the case of C = and B the matrix P becomes ( ) b P = a, (7) B where a = a(,) and b = b(,) are still two arbitrary fnctions. Ths is all non diagonal cases the matrix V is eqialent to a Jordan block, and the system (8) is eqialent to ( ) ( ) ( ) t λ x P = P. (8) λ t In or constrction the systems in the Jordanforms or the system (8) arise on the transition line only. In the paper [] the system (8) with matrix V gien by () on the whole plane (x,t) and its mlti-component analogs with Jordan blocks has been deried ia the conflence process for the Laricella-type fnctions associated with Grassmannians Gr(, 5) and Gr(, n). Let s consider the system (8) with the matrix V = V gien by (). It is parabolic on the plane (x,t). In this case there are ariables, sch the system (8) takes the form ( ) t = t ( λ λ )( x x x ). (9) which will be referred as the Jordan form. The relation between the Jordan ariables, and the original ones, can be fond soling the eqations ( ) ( ) ( ) ( ) t t = P, x x = P. () t t These eqations can be soled only if one finds the sitable integrating factors a and b which mst be chosen sch that ( ) BC d = abd+a + C b d, d = ad a BCd, () 5 x x

6 which fix a and b thanks to the compatibility conditions ( (ab) = a+ a ) BC b, C a = (a BC). () Therefore the Jordan ariables in parabolic systems play a role similar to the Riemann inariants for the standard diagonalizable case. Elliptic domain At the hyperbolic domain soltion of the system (8) describe wae motions. Properties of soltions of the system (8) in the elliptic domain are qite different. Their treatment as the fnction defining qasi-conformal mappings is one of the possible interpretations []. Indeed eqation (6) can be rewritten as [5] r z = +iλ iλ r z () where λ = λ + = (A+D+ Ω)/, r = r +, z = x+it and the oerline stands for complex conjgate. Sch eqations are known as Beltrami nonlinear eqations [6, 7]. A soltion of () defines a qasi-conformal mapping r : (z,z) (r,r) if the complex dilation µ = +iλ iλ obeys the condition µ = +iλ iλ <. () Using the explicit form of λ, in the region Ω < we hae µ = +i(a+d) Ω i(a+d)+ Ω. (5) It is easy to see that condition () is always satisfied when Ω <. So any soltion of the system (8) in the elliptic domain defines qasi-conformal mapping. At the transition line Ω = µ = +i(a+d) i(a+d) = (6) and the qasi conformal mappings degenerates. For instance it maps the nit circle in the plane (z,z) in the degenerate ellipsis in the plane (r,r) with ratio of major and minor axes going to infinity (see e.g. [6]). In the hodograph space, eqations () are eqialent to the linear Beltrami eqation r w = +i λ(w,w) i λ(w,w) r w (7) where w = + i and λ = A D+i Ω B. Similar to the calclations presented before, one shows that the condition () is always satisfied in the elliptic domain and so any soltion of the eqation (7) defines a qasi-conformal mapping (w,w) (r,r). On the transition line Ω = again +i λ = and qasi-conformal i λ mappings become singlar. So, both in the elliptic and hyperbolic domains soltions of the mixed system (8) exhibit particlar behaior when they approach the transition line Ω =. Namely, approaching the transition line from the hyperbolic side waes become nstable (see e.g. [8]) conerting into mess, goerned by parabolic eqations and transforming into qasi-conformal mappings dynamics beyond the transition line. Approaching the transition line from the elliptic side, the qasi-conformal mappings degenerate into singlar ones with µ = which maps the two dimensional domains in C into qasi one-dimensional ones. Beyond the transition line these qasi one-dimensional objects are transformed into moing waes. 6

7 5 Transition line and its crossing Since Riemann inariants are constants along characteristics (real or complex) the problem whether or not a transition line can be crossed is redced to the stdy of respectie properties of characteristics and transition lines (see e.g. [8, 9, ]). Comparison of the formlae for characteristics and transition line in the original ariables (t, x) and hodograph ariables (, ) (see e.g. formlae () and () clearly indicates that the latter ones is more appropriate for or prpose. The se of simple waes in [9] proides s another spport of sch obseration. In the hodograph space (, ) the characteristics and transition lines are gien by formla () and () respectiely. Let s begins with hyperbolic domain and let s assme that the deriaties inoled are bonded. Ths we hae two families of plane characteristic lines (ChL) in the hodograph space (B ) and a single transition line (TL) ChL : ( ) d = A D ± Ω, (8) d ± B TL : Ω(,) =. (9) The two simplest cases are: ) the two families (8) do not hae common points with (9) and ) they coincide at least on some interal. In the latter case, on the transition line one has the eqations which shold be eqialent to each other. Since on the transition line the necessary condition for this is gien by (if Ω ) d d = D A, Ω =, (5) B dω = Ω d+ω d =, (5) D A B + Ω Ω =. (5) Obiosly in both cases the transition from the hyperbolic domain to the elliptic one is impossible. Another simple case corresponds to the transersal intersections of ChL and TL. To derie the corresponding condition it is sfficient to consider these lines at points of intersection. Two characteristic toch each other and at the point on TL their tangents are (assming that both cres are smooth) Tangent to the TL at the same point is gien by (at Ω ) Characteristic and transition line cross transersally (with angle ) if i.e. d = D A d ChL B. (5) d = Ω TL. (5) d TL Ω d d, (55) d ChL d TL ( D A B + Ω ). (56) Ω TL Ths, if condition (56) is satisfied, the transition from the hyperbolic domain to the elliptic one is not forbidden. There are eight other possibilities. First for aregien by the figre and its reflections each oftwo cres with respect the straight line of common tangent at the point (, ). In these for cases characteristic lines 7

8 TL elliptic domain hyperbolic domain contact point ChL Figre : A configration of characteristic (solid) and transition line (dashed) in the (, )-space where the hyperbolic-elliptic transition in the contact point is forbidden. TL hyperbolic domain elliptic domain contact point ChL Figre : A configration of characteristic (solid) and transition line (dashed) in the (, )-space where the hyperbolic-elliptic transition in the contact point reqires a deeper analysis and it cold not be forbidden. In the elliptic region the characteristic line (here depicted as dotted) becomes complex. toches the transition line at the point (, ) and then trns back to the hyperbolic domain. So the transition is forbidden. At the point (, ) tangents of both side coincides and so ( ) d ( ) d ( d D A (, ) d = (, ) B + Ω ) =. (57) ChL TL Ω (, ) The fact of non-crossing is inariant nder the transformation of coordinates. Choosing the coordinates(, ) near to the point (, ) in sch a way that the axes = coincides with the common tangent, it is not difficlt to show in all for cases that the difference ( ) ( ) d d T (58) d ChL d TL changes sign passing the point (, ). Second for cases are gien by figre () and three others possible are obtained by reflection each of two cres with respect the straight line of common tangent at the point (, ). In these cases characteristic toches the transition line at the point (, ) and then pass into elliptic domain with characteristic speeds becoming complex. Ths, the transition is not forbidden. Ths in the eight cases considered aboe the behaior of T near the point of toch (, ) distingishes the cases of crossing and non-crossing. So we conclde that the transition from the hyperbolic to the elliptic domain is not possible if either T Ω= = on some interal of the transition line of T Ω(, )= = at 8

9 some point on TL and T changes sign passing from one side of the toch point (, ) to another. In particlar, the comparison of the condition (57) rewritten as ((D A)Ω +BΩ ) (, ) = (59) and the relation () shows that the eigenector of the matrix V corresponding to the doble eigenale λ is tangent to the transition line at the point (, ) in agreement with necessary condition of non-crossing (nonlinear stability) proposed in [8]. On the other hand if T Ω= or T Ω(, )= = and T does not change sign at the toching point (, ) the conditions of non-crossing are not satisfied and the transition from the hyperbolic domain to the elliptic one is not forbidden. In the analysis presented aboe it was assmed that all deriaties inclding d d are bonded. The cases of possible nbondedness reqire special consideration. To clarify the point let s consider the system ( ) ( )( ) t x = (6) f() t where f() = α and α = n+ or α = /(n+) with n =,,,,.... In this case the transition line is gien by = and the characteristics in the hodograph space are defined by the eqation So, the characteristics are gien by the lines x d d = α/. (6) ± α ( α)/ = = const, (6) with arbitrary andby the straightline =. The transition line = is then (degenerate) characteristics. The behaior of other characteristics is qite different for α > and < α <. In the case α = n+ and n, () has a singlarity at = and it it may toch the transition line only at the infinity. So the transition from hyperbolic to elliptic domain is not possible. For α = n+, the characteristics (6) toch the transition line at finite point (,) where d =. Since d, d ( ) α (α ) d = α ( ) = α α (6) the characteristics hae completely different behaior in the cases α = and α <. For α = one has d d (,),α= = const. (6) So characteristics approach smoothly the transition line and, hence, the transition is not possible. Note that at α = the system (6) represent the eqation (log) tt = xx. (65) In contrast, for α < (n =,,,...) the normal to the characteristic, i.e. elocity d d with which characteristic approaches (in normal direction) the transition line = grows to infinity (at the point (,)). Sch a behaior allows s to sggest that the characteristics may jmp across the line = and transition from the hyperbolic domain to the elliptic one ( < ) cold be possible. The nmerical reslts of the system (6) with f = / (α = /) presented in the paper [8] spport this obseration. Another indication that the system (6) with f = α, α < has has rather special properties is proided by eqations () and (), i.e. α t t +a α t = (66) and similar eqation for x. At the transition line = they are singlar eqations of parabolic type. Analysisofthesystemswhichhaepropertiessimilartothoseofsystem(6)with f = α, α < reqiresa separate stdy which will be performed elsewhere. Possibility of transition from elliptic to hyperbolic domain, corresponding conditions and associated qasi-conformal mapping are of interest too. These problems will be considered in a separate pblication. 9

10 6 Hamiltonian systems In this and next sections we will consider some concrete classes of eqations (8). We begin with the Hamiltonian systems which for two component case can always be locally pt in the form [9, ] ( ) ( )( ) t x h = (67) x t with Hamiltonian H = h(,)dx. So, the system (8) is ( ) ( )( ) t h h = x. (68) h h x In this case Ω = h h. Eqation () is t h h t h t h t +h t =, (69) while characteristics in the hodograph space (simple waes) are defined by the eqation ( ) d h =. (7) d ± h Transition line is gien by h h =, (7) assming that h h may change sign. In order to deal with generic non-diagonalizable case we defined the transition line as h =, h h=. (7) ( ) λ On the transition line the matrix V is eqialent to the Jordan block with λ = h λ h=. The transformation matrix P is gien by (7) with B = h h=. We note that at points where h = and h = on the transition line the matrix V is degenerated to a constant diagonal matrix. When it holds (7) one also has Ths in generic case with h h= we hae T = h h h=. (7) T (7) and transition from the hyperbolic domain h h > to the elliptic one is not forbidden. Both dnls and db eqations are Hamiltonian ones (see e.g. [, 9, ] ) with respectiely h dnls = +, (75) and h db = + 6. (76) Now let s stdy the behaior of characteristics in (,) plane (simple waes) near the point (, ) of contact with the transition line h = and h for general Hamiltonian systems (68). Expanding the right hand side of (7) near the point (, ) and assming that h and the deriaties enoled are finite, one obtains ( ) d d ± = ± a( )+b( ), with a = h h b = h h, (77)

11 where f f(, ). For infinitesimal δ = and δ = eqation (77) takes the form ( ) δ = aδ+bδ. (78) δ Hence δ = b b(δ) ± (δ) +a(δ). (79) So at δ, δ one has at the leading order h ± h ( ) /. (8) This formla gies s the niersal behaior of (, ) characteristics near the transition line for general Hamiltonian system (68) in the generic case h. The simplest and characteristic example of sch a behaior is proided by the db eqation for which h =. It shold be also noted that the fact, that for the general stationary plane motion of compressible gas (described by Chaplygin eqation) the behaior of characteristics near sonic line is gien by the formla (8), has been known for a long time (see e.g. [], 8). In particlar cases the behaior of characteristics near to the transition line is qite different. If at the transition point (, ) also h =, then, instead of eqation (78) one has ( ) δ = bδ +c(δ) +dδδ +f(δ) (8) δ where c,d and f are certain constants depending on h and its deriaties ealated at (, ) gien by b = h h, c = h h, d = h h h h (h ), f = h h h h (h ). (8) Soling this eqation and considering the limit of infinitesimal δ and δ one gets h h ( ). (8) In this case which changes sign at the point and, hence, transition is forbidden. In a similar way one can show that in the case when all deriaties k h k h= the behaior of near the transition line is of the type T ( ) (8) for k =,,5,...,n (85) ( ) n+. (86) So, for odd n, the transition is forbidden allowed while for odd n its is not. Finally if the transition line is gien by the eqation h = with h h= then one has the reslts presented aboe with exchange. For the dnls eqation the transition line = is a characteristic and d d =. Hence, the transition = is not possible. We remark that this case is in some sense degenerate becase the Hamiltonian is qadratic in and all the partial deriaties of k h/ n =, k are zero. For the db eqation, in contrast, the transition line is =, characteristic cross the transition line orthogonally d =, i.e. = T = h h =, (87) and conseqently the transition from the hyperbolic domain to elliptic one is not forbidden. d

12 7 Special classes of Hamiltonian systems: Gas dynamics eqations Expressions (75) and (76) sggest s to consider two special classes of systems with Hamiltonian densities h = F ()+, h = F ()+F () (88) where F,F,F are fnctions of a single ariable. For the Hamiltonian density of the form h one has the system ( ) ( )( ) t F x =. (89) t and Ω = F. Simple waes are defined by eqation F d = ±d. (9) The relations h = and h = imply T =. There are two qite different sitations. First corresponds to the case when he transition line is gien by = and F > near =. For the system of mixed type one has F = the characteristic in (, )-plane are gien by the eqation and so x n(n ) n, n =,,,..., (9) d d = ± n(n ) n (9) d d ( n). (9) Ths if n the acceleration d d dierges as the characteristic approaches the transition line = (which is also a characteristic) and, hence, the transition is not forbidden. If eerywhere the properties of the system (89) are qite different. Introdcing the fnction P() defined by the eqation F = P (), (9) one rewrites the system (89) as t = x + P x(ρ) ρ ρ t =(ρ) x., (95) It is the general isentropic one-dimensional gas-dynamic eqation with being elocity, being density ρ, P(ρ) is the pressre and t t (see e.g. [, ]). The TL-line is defined by Ω = ρf = P (ρ) = (96) and the characteristics in the space (,) are defined by the eqation dρ d = ± ρ P (ρ). (97) For ordinary media dp = c, (98) dρ S

13 i.e. sqared sond speed c in the medim. Ths, for normal cases the system is hyperbolic eerywhere. So the system (95) is of mixed type for particlar macroscopic systems for which the deriatie dp can anish S at some ale of density ρ (zero sond speed point) and change sign passing throgh this ale (see e.g. []-[5]). Sch a sitation is realized, for instance, for the fnctions P which for small ρ ρ are of the form a) : P (ρ ρ ) n+, b) : P (ρ ρ ) n+ n+, (99) where n =,±,±,.... Near the transition line ρ = ρ one has d ρ d (ρ ρ ) (+γ) () where γ = n+, or γ = n+ n+. In both cases d ρ d as ρ ρ and, hence, the transition is not forbidden. 8 Nonlinear wae type eqations dρ The system with Hamiltonian density h (88) is of the form ( ) ( t F = () t F () )( x x ). () This system is, in fact, the system of two conseration laws and it is eqialent to the single eqation t = (F ()) x, t = (F ()) x () (A(w t )) t = (B(w x )) x () where w x =, w t = F (), B(y) = F (y) and A(y) = (F ) (y). In the particlar case F () = / eqation () takes the form w tt = (F (w x)) x () or tt = (F ()) xx, (5) i.e. the standard form of the nonlinear wae eqations (see e.g. [] with F = P). For the db eqation For the system () one has and eqations for (, ) characteristics are gien by F ()d = ± F db = 6 + c. (6) Ω = F ()F () (7) F First we consider the case when the transition line is gien by ()d. (8) F ( ) =, F (), (9) which incldes the nonlinear wae case (5) where F () =. For the system of mixed type near the point the fnction F () shold be of the form F () const( ) n+, n =,,,.... ()

14 Figre : Simple wae strctre () for db eqation (). For (,) characteristics near the transition line = one has d d ( ) n. () So d d as and, hence,the characteristic approaches the transition line orthogonally. Ths the change of type is not forbidden. It is clearly so for nonlinear wae eqations with F () = n+, n =,,,.... Note that nonlinear wae eqations with F () = n, n =,,,... are hyperbolic eerywhere. The same is alid for the dispersionless Toda eqation tt = exp() xx for which F () = exp() (see e.g. []). If, instead of (9), the transition line is gien by one has the same reslts with the exchange. F (), F ( ) =, () 9 Nmerical example of transitions for the db eqation Here we present some nmerical reslts for the db eqation as the characteristic representatie of the generic class of Hamiltonian systems. Let s consider the class of periodic soltions with fixed bondary ales and with initial conditions ((x,) c) + =, (x,) = c+sin(x) () where c > is assmed in order to start in the hyperbolic sector. The simple waes for db eqation are (see figre ) ± / = k, k R. () For eery ale of c there are for simple waes tangent to the circle. The two lower ones satisfy the system ( ) / (k ± c) = c c, (k c ) / = c c. (5) where c is the ale of at contact point. For eery ale of c > the preios systems admits two soltions corresponding to two different simple waes symmetric with respect to the axis. Only aboe a minimm

15 Figre : In the example of initial conditions class () we shown that, in dependence of the parameter ales the hyperbolic-elliptic transition is forbidden (solid line) or allowed (dotted line). ale of c, called c crit, the cople of tangent simple waes intersects each other. Therefore only aboe c crit the hyperbolic elliptic transition is forbidden becase the initial condition (see e.g. [9]) is separated from the transition line by the two tangent simple waes. The critical ale c crit can be estimated as follows. At c crit the intersection of the tangent simple waes, becase of the problem symmetry, is at the origin =, =, i.e. with k = in (5). Soling therefore (5) with k = we obtain the ale of this critical constant (in case ()) which is c crit.77. In figre the hyperbolic elliptic transition possibility as the fnction of the parameter c of the family of initial conditions () is shown. The solid circle are the initial data at c = which is greaterthan the critical ale. In this case the initial data are bonded from below by two simple waes (two solid open cres) which are tangent to the initial data and intersect each other aboe the transition line =. This behaior preents the transition. The dashed circle (initial conditions with c = c crit ) are the critical conditions in the family which forbid the transition. Actally the two tangent simple waes (dashed open cres) intersect exactly at the transition line. Finally the dotted circle are initial data at c =. which is below the critical ale: the tangent simple waes (two dotted cres) hae no intersection and the initial data cold reach the transition line. In figres 5 (left) and 6 it is shown the eoltion of in dependence of (x,t) and respectiely in the non transition case of c = > c crit. In figres 5 (right) and 7 is shown the eoltion of in dependence of (x,t) and respectiely in the transition case of c =. < c crit. At the second to last step the cre is tangent to the transition line. Howeer this line is not a characteristic in the (,) space and the cre can cross the transition line as can be seen in the last plot. The nmerical eoltions in the figres 5, 6 and 7 are obtained sing Mathematica. Acknowledgments G.O. thanks R. Camassa for sefl discssions and informations. Partial spport by MIUR Cofin - project JJKPA is acknowledged. This work was carried ot nder the aspices of the GNFM Section of INdAM. 5

16 Hx,tL Hx,tL. x x t..5. t Figre 5: On the right plot we show the eoltion of with c = in the initial conditions () while on the left plot with c =.. The motion remains in the hyperbolic sector if c = > ccrit, while in the case c =. < ccrit we see the transition in the elliptic sector (pper-right region of the plot) Figre 6: Circle hyperbolic eoltion with c = > ccrit, t from zero to t = with eqispaced steps. The cre eoltion does not admits the transition below the intersection point. 6

17 Figre 7: Circle eoltion with c =. < c crit, t from zero to t = with eqispaced steps. The cre can cross the transition line =. References [] R. Corant, and D. Hilbert, Methods of mathematical physics. Vol. II: Partial differential eqations, Interscience Pblishers (John Wiley & Sons), New York-London (96) [] L. Bers, Mathematical aspects of sbsonic and transonic gas dynamics. Sreys in Applied Mathematics, Vol. John Wiley & Sons, Inc., New York; Chapman & Hall, Ltd., London (958) [] A. Bitsadze, V. Eqations of the mixed type. A Pergamon Press Book The Macmillan Co., New York (96) [] M. Schneider, Introdction to partial differential eqations of mixed type. Lectre Notes, No.. Institte for Mathematical Sciences, Uniersity of Delaware, Newark, Del., (977) [5] J. M. Rassias, Lectre notes on mixed type partial differential eqations. World Scientific Pblishing Co., Inc., Teaneck, NJ, (99) [6] G.-Q G. Chen, On Nonlinear Partial Differential Eqations of Mixed Type, Talk gien at UK-Japan Winter School on Nonlinear Analysis London 7- janary ( berndt/conferences/uk-japan/chen.pdf) [7] T. H. Otway Elliptic-Hyperbolic Partial Differential Eqations A Mini-Corse in Geometric and Qasilinear Methods, Springer (5) [8] P. Milewski, E. Tabak, C. Trner, R. Rosales and F. Menzaqe Nonlinear stability of two-layer flows. Commn. Math. Sci., no., 7- () [9] L. Chmakoa, F. E. Menzaqe, P. A. Milewski, R. R. Rosales, E. G. Tabak, and C. V. Trner Stability properties and nonlinear mappings of two and three-layer stratified flows, SAPM :-7 (9) 7

18 [] L. Chmakoa and E. Tabak Simple Waes Do Not Aoid Eigenale Crossings Comm. Pre Appl. Math. Vol. LXIII, 9- () [] G. B. Whitham, Linear and nonlinear waes. Pre and Applied Mathematics. Wiley-Interscience-John Wiley & Sons (97) [] L. D. Landa and E. M. Lifshitz Flid mechanics. Translated from the Rssian by J. B. Sykes and W. H. Reid. Corse of Theoretical Physics, Vol. 6 Pergamon Press, London-Paris-Frankfrt; Addison-Wesley Pblishing Co., Inc., Reading, Mass. 959 [] Y. Kodama, B. G. Konopelchenko, Conflence of hypergeometric fnctions and integrable hydrodynamic type systems arxi:5.5 5 [] M. Larente, A general problem of the theory of qasi-conformal representation of plane regions, (Rssian) Mat. Sbornik N.S. :85- (97). [5] B. G. Konopelchenko, G. Ortenzi, Qasi-classical approximation in ortex filament dynamics. Integrable systems, gradient catastrophe, and fltter Std. Appl. Math. (), no., [6] L. V Ahlfors Lectres on qasiconformal mappings, in Van Nostrand Mathematical Stdies, No. D. Van Nostrand Co., Inc., Toronto, Ontario, New York, London, 966. [7] B. Bojarski, Qasiconformal mappings and general strctral properties of systems of non linear eqations elliptic in the sense of Larente, Symp. Math. 8:85-99 (976). [8] A. D. D. Craik, Wae interactions and flid flows. Cambridge Monographs on Mechanics and Applied Mathematics. Cambridge Uniersity Press, Cambridge, (988) [9] B. A. Dbroin and S. P. Noiko Poisson brackets of hydrodynamic type. (Rssian) Dokl. Akad. Nak SSSR 79, no., 9-97 (98) (English Translation: Soiet Math. Dokl., no., (98) ) [] B. A. Dbroin On niersality of critical behaior in Hamiltonian PDEs. Geometry, topology, and mathematical physics, 59-9, Amer. Math. Soc. Transl. Ser.,, Amer. Math. Soc., Proidence, RI, (8) [] S. M. Carroll, M. Hoffman, and M. Trodden Can the dark energy eqation-of-state parameter w be less than? Phys. Re. D 68, 59, () [] L. P. Chimento Extended tachyon field, Chaplygin gas, and solable k-essence cosmologies. (English smmary) Phys. Re. D () 69, no., 57 () [] P. Creminelli, G. D Amico, J. Norẽa, L. Senatore and F. Vernizzi, Spherical collapse in qintessence models with zero speed of sond Jornal of Cosmology and Astroparticle Physics Volme, Isse, Article nmber 7 () [] L.R. Gómez, A.M. Trner, M. Van Hecke and V. Vitelli, Shocks near jamming Phys. Re. Lett. Volme 8, Isse 5, Article nmber 58 () [5] O.Longo and H.Qeedo, A nified dark energy model from a anishing speed of sond with emergent cosmological constant, Int. J. Mod. Phys. D, 5 () 8