PART I PART II VARIATIONAL PRINCIPLES IN CONTINUUM .

2y ago
29 Views
2 Downloads
9.81 MB
69 Pages
Last View : 17d ago
Last Download : 3m ago
Upload by : Roy Essex
Transcription

PART ION THE BREAKING OF NONLINEAR DISPERSIVE WAVESPART IIVARIATIONAL PRINCIPLES IN CONTINUUM MECHANICSThesis byRobert L. SeligerIn Partial Fulfillment of the RequirementsFor the Degree ofDoctor of PhilosophyCalifornia Institute of TechnologyPasadena, California1968(Submitted November 10, 1967)

-n-ACKNOWLEDGEMENTSThe author wishes to thank Professor G. B. Whitham forsuggesting these topics and for providing guidance, many usefulsuggestions and invaluable criticism during the course of thisresearch.The financial support of the author's graduate education wasattained through the Fellowship Programs of the Hughes AircraftCompany.The author is sincerely grateful for having participatedin these programs and would like to thank all the people who madethis possible.The author especially thanks the Fellowshiprepresentative with whom he had most contact , Mrs. D. M cClureof the Hughes Research Laboratories, for consistently providingaccurate, efficient and outstandingly pleasant administration of thePrograms.Special thanks also go to Mr. J. H . Molitor of the HughesResearch Laboratories for complementing the author's academiceducation with insight into the real world and for being so generouslyre ce ptive to the toils and troubles of students.Fina lly, the author acknowledges an extremely competentand cheerful typist, Miss Ann Law of the Hughes ResearchLaboratories for typing this dissertation.

-111-ABSTRACTA model equation for water waves has been suggested byWhitham to study , qualitatively at least, the different kinds ofbreaking.This is an integra-differential equation which combinesa typical nonlinear convection term with an integral for thedispersive effects and is of independent mathematical interest.For an approximate kernel of the forme-blxl 'it is shownfirst that solitary waves have a maximum height with sharpcrests and secondly that waves which are sufficiently asymmetricbreak into "bores.11The second part applies to a wide class ofbounded kernels , but the kernel giving the correct dispersioneffects of water waves has a square root singularity and thepresent argument does not go through.Nevertheless thepossibility of the two kinds of breaking in such integra-differentialequations is demonstrated.Difficulties arise in finding variational principles forcontinuum mechanics problems in the Eulerian (field) description.The reason is found to be that continuum equations in the originalfield variables lack a mathematical ''self-adjointness 11 propertywhich is necessary for Euler equations.This is a feature ofthe Eulerian description and occurs in non-dissipative problemswhich have variational principles for their Lagrangian description.To overcome this difficulty a ''potential representation'' approachis used which consists of transforming to new (Eulerian) variableswhose equations are self-adjoint.The transformations to the

-lV-velocity potential or stream function in fluids or the scaler andvector potentials in electromagnetism often lead to variationalprinciples in this way.As yet no general procedure is availablefor finding suitable transformations.Existing variationalprinciples for the inviscid fluid equations in the Euleriandescription are reviewed and some ideas on the form of theappropriate transformations and Lagrangians for fluid problemsare obtained.These ideas are developed in a series of exampleswhich include finding variational principles for Rossby wavesand for the internal waves of a stratified fluid.

-v-TABLE OF CONTENTSPARTI.PAGEON THE BREAKING OF NONLINEAR DISPERSIVEWAV ESII.1.Introduction12.Solutions with Sharp Crests33.Solutions which Break into Bores7VARIATIONAL PRINCIPLES IN CONTINUUMMECHANICS4.Introduction125.The Self-Adjointness Condition of Vainberg186.A Variational Formulation of In viscidFluid Mechanics7.Variational Principles for Ross by Waves ina Shallow Basin and in the "13-P.lane" Model8. 37The Variational Formulation of aPlasma9. 25. 49Variational Principles for the Internal Wavesof a Stratified F'luid .APPENDIX AThe Singularity in K (x)gAPPENDIX BAn Estimate of p(x, t) for aBreaking Wave5359. 61

-1-PART ION THE BREAKING OF NONLINEAR DISPERSIVE WAVESIntroduction1.An integra-differential equation has been proposed byWhitham [ 1]which offers an improvement on the well knownKorteweg-de Vries equation for water waves.This integral equationcan be considered an extension of the (relatively long wave)Korteweg-de Vries model to include all the dispersion present inlinear water wave theory.The Korteweg-de Vries equation ( 2] is"lt (a"l c 0 )"1 X y"l XXX where0,"1 1s the elevation of the water surface above the undisturbeddepth h,0 a3c /2h ,00c0 ,0and 'I -61c h020.equation is valid for water waves whose typical amplitudewavelength X.quantities.are such that a/h20and h /X.02Thisaandare comparable smallThe form of the proposed extension is X)"lt a"l"lx JK(x- )"1 ( ,t)d 0.( 1)-oo1.G. B. Whitham, Proc. Roy. Soc. A, Vol. 299 ( 1967) pp. 6-25.2.D. J. Korteweg and G. de Vries, Phil. Mag., Vol. 39 ( 1895),pp. 422-443.

-2-For water waves th e appropriate kernel is the Fourier transformof the linear water wave phase speedc(k);coK(x) K (x) g12'TTJc(k)eikxdk, c(k)-coIf only the first two termsexpansion ofc(k)c02y k , in the long waveare used, equation ( l )Korteweg-de Vries equation.are observed for water waves:breaking into bores.( kh0 1)reduces to theIt is known that two kinds of breakingformation of sharp crests andAlthough the Korteweg-de Vries equationhas solitary wave and cnoidal wave train solutions, breaking ofsolutions into sharp crests or bores has not been found.ly the'llxxxoccurring.Apparent-term prevents these high frequency effects fromNo theory has yet been given which demonstrates bothtypes of breaking.The more general equation ( l)was proposedwith the hope for finding these high frequency effec ts.The water wave kernelity [ 3]K (x)ghas a square root singular-which makes the integral in (l)difficult to handle.Togain insight into the behavior of the solutions to such integral equations, the kernel will be approximated by functions of the forme-b\xl .3.See Appendix A.

-32.Solutions with Sharp CrestsUniformly propagating solutions of (1}'l 'l(X),where Xx - Ut.are found withFor these solutions( 1} can beintegrated once to the form(X)A - U'll lo.'l2J K(X- } 'l( ) d ( 2} 0,-(X)whereAis the constant of integration.wave solutions can be found for(2).Oscillatory and solitaryBut unlike the Korteweg-deVries equation, (2) has maximum amplitude wave solutions whichhave sharp crests.Solitary wave solutions can be distinguishedfrom oscillatory wave trains by requiring thataslxl -oo. 0 and 'l - 0Thus, to study solitary waves we takeby writing (2)(i'lA 0.Then,in the form(X)a. 'l - U) 'lf K( X - }'l( } d 0 ,(3}-(X)it is seen that for a positive kernel, the height of solitary wavesolutions must be less than2u .0.More detailed investigations of (3)kernels.Whitham [ 4]can be made for specialdiscusses the occurrence of a sharp crestin the maximum amplitude solitary wave solution to (2) for a kernelof the form4.Ibid.e -b lxI.This limiting solution can be found explicitly.

-4For the kernel e-bjxj(3)becomes a second order ordinary di -ferential equation when operated on byTheresulting equation can be integrated once and written in the form 1 b2,., 2 () ()4.,11 - 11111 - 112 ( 4)where the constant of integration is again zero (for solitary waves) .If the precise kernel used to obtain {4)then111and 112{a'll)isare the two roots of the quadratic equation2 4(a- U) a 11 2U(2U - 3a) 0and are given by the formulas, 1 2aa.2Solitary wave solutions of {4)sign .occur for real roots of the sameIt can be shown that a family of smooth solitary wave solu-tions exists when the speed U32This corresponds to rootsalies in the range U11 , 1112 2a .which satisfy

-5-o "12 "11 ·These smooth solutions can be given implicitly in terms ofJacobian elliptic functions and have maximum height equal toThe speed UU -2a 3Zagives112 0and the trivial solution.both roots approach the valueU/a.When U Equation (4)maximum amplitude solitary wave occurs.11 .2As2athereducesto"1,21 b2 24"1 which gi y es a solution of the forme- lxl2It can be verifieddirectly thatu is a solution of the integral equation (3)(5)2afor the kernelKab(x).This solitary wave solution has a finite angle at the crest andagrees qualitatively with observed water wave profiles[ 5].To check the properties of this solution quantitativelyWhitham [ 6]Kab(x)choosesamodels the water wave kernelproximation is poor nearvalue 2/3 and b - rr/2 so that the kernela. 3/2x 0K (x). (Of course, the apgwhereKgis sin g ular.)Theis taken to agree with the Korteweg-de Vries equation5.See, for example, J . J. Stoke: , Water Waves, sec. 10. 10.New York: Interscience (195 7).6.Ibid.

-6andg h0 l.Now the limiting solitary wave solution( 5) becomeswhich has a crest angle of110 and a maximum height of 8/9.Whitham points out that although these values agree reasonably wellwith Stokes'12.0 angle and McCowan's maximum height0. 78,the angle result should not be taken seriously since the angle sizedepends on the local behavior of the kernel near x 0.Themaximum height result depends on the whole kernel and may betaken more seriously.

-7-3.Solutions which Break into BoresFor approximate kernels progress can also be made onproving that solutions of ( l)can break asymmetrically into bores.The analysis is carried through for kernels which are bounded,integrable, even functions of xasxapproaches infinity .but does not includewhich approach zero monotonicallyThis includes a kernel such asK (x) because of the singularity at xg 0.Sufficient conditions on the initial profile are found which guaranteethat the corresponding solution to ( l) breaks.The approach ismotivated from the hyperbolic equation1lt O.l)T)x 1') 0,l3 (6)0 In this case, a method for seeing how solutions ca'n break is tostudy the differential equation for the maximum value ofm(t)denote this most negative slope and m(t)X(t)satisfiesfor71XX(X( t), t) 0. 71X-71 XLet(X(t), t), whereThe ordinary differential equationm( t)dmdt -m(a.mis then obtained by differentiating (6)setting x X(t). ),with respect to xThe solution of (7) ism(t)(7)and

-8wherem m( 0) is the most negative slope on the initial profile0,.,(x,0).'IIt is seen that if mas logt .-condition m{ a.m )/(a.m02The significance of the breakingdm/dt, is negative initially.dm(O)/dt negative,-a.m 13)}.co) -13/a. is that it ensures that the right hand side0of (7), and thusterm0 - breakingoccurs (m(t) Q.'0givesm(t)With m(O)andcontinues to decrease and the dominantm .- - co in a finite time.This same kind of dynamical breaking is found for thenonlinear dispersive equation ( 1 ), but the initial conditions requiredto start the steepening process are different and the argument hasto be extended.It is cl ear that important differences come in whenone takes into account that ( l), unlike ( 6 ), has nonbreakingsolutions with steady profiles.The oscillatory nature of thesesolutions indicates that consideration of the maximum positiveslope will also be required.of the solutionwhereT)(x, t)X ( t) satisfiesLet m ( t) be the most negative slopeto ( l ).As before,.,1 (X (t),t)' xx- m-( t) T) (X ( t), t),X-0.However, now m2p (t)(x- , t)d ,p ( t)satisfies the equationdmcrt - a.m( 8)wherecop(x, t) f-coK( )TJXX p(X (t), t)

-9Equation (8)(7)governs breaking for the dispersive equation ( 1)does for the hyperbolic equation (6).in a similar way the-am:If steepening is to occurpterm must dominatepare therefore needed for this study and, sinceinT]the situation looks hopeful.p(x,theorem [ 7],wheresatisfym (t)s1sl 2and:sx,t)p(x,Bounds ont)is linearUsing the second mean valuecan be written as x.A linear bound forp(x,and the maximum value of the positive slopeIp( x, t) I:Sthis inequality holds for all x.(7)(t).are two numbers which depend on xSzasK( 0)(m ( t)t)andtandin terms ofm (t) is then- m ( t)) ;( 9)The essential difference betweenand (8) is the presence of m (t)in the bound forp .Thefunction m (t) enters in such a way that it makes the right handside of (8) more positive and therefore deters breaking.estimate forAnm ( t) is found by considering its equation,( 1 0)7.See, for example, E. W. Hobson, The Theory of Functions of aReal Variable, Vol. 1, p. 618. New York: Dover {1927).

-10-wherep (t) p(X (t), t) and X (t)satisfies"lxx(X (t), t) 0.From the estimate in (9), the derivatives of m (t) and m (t)can be bounded by dm dt- um2. K( 0) { m - m),( 11)2. -um ( 1 2.) K(O) (m - m ) .ThenIf m m - 2.K(O)/u initially, then m m decreasesfurther and 2.K(O)for all tuUsing this estimate fordm crt- um2. 0.(13)m in (11), we have- 2.K(O)mfrom whichfollows.Let q(t)( 13) is satisfied. - (m (t) ThereforeK O))dq/ dt and note that quq2.and 0 when

-11-lqwhereq q0 0 at tq;::l -: o.la.t qo-Finally, for-uq t0qwe havelro as t - a.qoWe conclude that if the initial wave profile is sufficientlyasymmetrical so that m (O) m (O) will become infinite in a time less than- 2K(O)/a., the slope m (t)ja.m (O) K{O)r1 Thisis a sufficient condition only, not a sharp criterion.For the kernelK {x) a proof that solutions of ( l)gbreak into bores is not yet available.canOne would like to carrythrough similar arguments, but the extension of the proof is difficult;the singularity in K {x) prevents the a priori estimategintegralK (x)gpin terms of slopes.it seems likely thatp-(9)of theHowever, even with the infinity inis dominated by the term2-am in{8) and can not prevent breaking of sufficiently asymmetric waves.A partial indication of this is that if a typical breaking profile issubstituted into the integral it can be shown [ 8]p 8.7 4o{jm j / ) asSee Appendix B.lm l- ro.that

-12-PART IIVARIATIONAL PRINCIPLES IN CONTINUUM MECHANICS4.IntroductionThe variational formulation of classical mechanics providesan elegant setting in which the deep ideas of dynamics, such ascanonical transformations and adiabatic invariants, can be conciselyexpressed.Hopefully, a variational formulation of continuummechanics would be equally as fruitful.But the slow progress 1nthis direction indicates that new problems arise.When Hamilton 1 sprinciple is applied to the particles of a continuum, a variationalformulation does result which correctly gove rns motion of thecontinuum as described by Lagrangian (or particle) coordinates.But in many continuum problems, for example in fluid mechanics,it is preferable to study the equations which correspond to Eulerian(or field) coordinates.To obtain these equations . as they stand asthe Euler equations of some variational principle is generallyimpossible.The reason is that in their original form the continuumequations for field quantities generally do not satisfy a selfadjointnes s condition.This condition is an extension of the usualself-adjointness property to nonlinear operators and wasestablished as a necessary and sufficient condition for Eulerequations by Vainberg [ 9].9.This is why existing variationalM. M. Vainberg, Variational Methods for the StudT of NonlinearOperators.Transl. by A. Fe ins tein,Holden- Day 1964).

-13principles usually appear in term s of auxiliary quantities (e. g ., thevelocity potential and stream function in fluids or the vector andscaler potentials in electromagne tism) whose equations are selfadjoint .Equations which are not self-adjoint can only come indirectlyfrom variational principles .formulations are possible.Several different approaches to indirectA formulation in which the Lagrangianfor any equation of the formMu( x ) is immediately known , 1s to vary u( 14)0in the functional(15)Sinc eJ( u]takes on its minimum value zero for solutions of ( 14),its Euler equation must be satisfied by solutions of ( 14).th e actual Euler equation forequation ( 14).J( u]However,1s more complicated thanFor a linear operatorLthe functionalJ( u]b e comes the inner product (Lu, Lu) whose Euler equation isL .' Lu 0,whereL* istheoperatoradjointtoof the heat equation,the functionalJ( u)isff uxx - ut) 2 dxdtand the corresponding Euler equation isL.Inthecase

-14--c: :,)(a: :, ) 0 .uThus, in this approach the functional to be varied is easilyformulated and the difficulty is that information about the originalequation is hidden in a more complicated Euler equation.Another indirect variational technique is to vary only partof the Lagrangian.To illustrate this approach we consider theequation"V (A.( T) "V T) (16)0which arises in problems of steady-state heat conduction in asolid.In such problemsdistributionT (x)o-(16) is to be solved for the temperaturein a body.The kind of variational principlethat we have in mind now is to find a functionalJ' 0pending on the two functionsandT,ci [ T , T], deofor which the condition( 17)leads to equation (16).varied in ci ( T , T)0whileThe meaning of (17)T0Tisis treated as a known function.Then, in the resulting Euler equation,functional which leads tois thatTis set equal toT One0( 16) in this way is( 18)

-15-Awhere0 A.(T }.0which becomes(16)also leads to (16}VaryingwithTTin (18} T.0givesAnother functional whichby this method is given by the integralfA0\7 T0· T dx-.( 19)The above example is taken from a paper by Glansdorff andPrigogine[ 10]the functionalwhere a theory is presented which arrives at r (T , T)0given in (18).Indeed some basis forchoosing the most advantageous functional for a given equation wouldbe desirable.In this kind of variational technique the equations ob-tained are precisely the ones of interest but the functionals useddependon the solutions of the problems.The approach to be considered here for finding indirectvariational principles is to introduce new dependent variables bymeans of "potential" representations which result in self-adjointequations.Variational principles in terms of the potentials arethen found which have Euler equations equivalent to the originalnon-self-adjoint set.The ideas of adiabatic invariants andcanonical transformations do occur in continuum problems forwhich potential type variational formulations are used.10.In hisP. G1ansdorff and I. Prigogine, Physica, Vol. 30 ( 1964),pp. 351-374.

-16averaging method for nonlinear dispersive equations, Whitham [ ll]finds that a prohibitive amount of algebra is avoided if the wholetheory is obtained from a variational formalism.The variationalprinciples he uses are of this potential repr esentation type and theideas of his theory then follow the lines of adiabatic invariants inclassical La grangian - Hamiltonian mechanics .Clebsch [ 12] givesthe first variational formulation of rotational fluid flow byintroducing a velocity representation of the formUnder this transformation the new equations of motion can be putin a canonical form which resembles the classical Hamiltonequations [ 13].The difficult steps in the potential representationmethod are to find a suitable representation and to find aLagrangian which leads to the appropriate equations for thepotentials .required.A very general (one to one) representation is not alwaysFor special problems such as irrotational flow , thelimited velocity potential representation u \Tpis adequate andthe work in fi nding t he variational formulation is reduced.There11.G. B . Whitham, Proc. Roy. Soc. A, Vol. 283 ( 1965), pp . 238261. J. Fluid Mech ., Vol. 22 (1965), pp. 273 - 283.12.A. Clebsch, J. reine u. angew. math ., Vol. 56 (1859), pp. 1-10.13.See , for example , H . Lamb, Hydrodynamics , 6 ed ., p. 249,New York: Dover (19 32 ).

-17are, however, interesting examples for which more generalpotential representations are required.This is true for Rossbywave s and internal wave s which are examples of nonlineardispersive waves that can only exist in rotational fluid flows.Themodel equations used to study these waves are approximate formsof general equations for an inviscid fluid.Variational formulationsfor these examples are found (Section 4, 6) by first studying thevariational formulation for a general inviscid fluid (Section 3) andthen suitab ly modifying the potential repre s entation andLagran g ian .The disc us sion begins {Section 2) with a brief account ofVainber g 1 s necessary and sufficient self-adjointnes s condition forEuler equations and its application to differential equa t ions.

-185.The Self-Adjointnes s Condition of VainbergNecessary and sufficient conditions for a class of nonlinearequations to be the Euler equations of a variational principle havebeen given by Vainberg [ 14].Although Vainberg's work deals mostlywith nonlinear integral operators, his results are easily applied tothe partial differential equations of physics with which we areconcerned.This theory will now be discussed in terms of a singleordinary differential equation of the formF(u , u , uXwhereFXX, x) ( 20)0 ,1s a polynomial function of the dependent variablefirst and second derivatives, and the independent variablex.u, itsSucha limited model example can be used because extension of the ideasto systems of nonlinear partial differential equations is straightforward.Vainberg found that the conditions for(20)to result fromthe variation of some functional are analogous to the conditions fora vector function to be the gradient of some scalar function.It iswell known that in three dimensions a vector can be expressed asthe gradient of a scalar if its curl is zero or, by Stoke's theorem,if the line in te gral of the vector around any closed curve is zero.To generalize the ''curl'' condition the notion of the derivative of anoperator is needed.Here it is useful to definelim J--014 .Loc. cit.N (u Jh)(}- N(u)DN(u;h)

-19as the derivative of the operatorFor operators such asjust the operatorFFNat the point u , in the direction h.in ( 20 }, onelinearized about urecognizes thatoperating on h .analogy to the "curl 11 condition is that for an operatorfrom varying some functional,FFDF(u;h} 1sTheto comemust satisfy the symmetrycondition(21)at each point uand for all hare usual integrals overx.1and h .2The inner products in (21}Condition ( 21)means that when Fislinearized about any point the resulting operator is self-adjoint.linear operatorsF Lu,DF(u;h}usua l definition of self-adjointness. Lh, and (21}Forreduces to theVainberg also defines theconcept of a curvelinear integral in function space for an operatorand shows that the independence of this integral on path determineswhen the operator is an Euler equation.The definitions of thesefunction space concepts will not be needed here.motivation that if the operatorFWe just note forhas the path independence property,its integral along any curve in function space, between the points0and u, say, must equal the straight line integral in function spacebe tween0and u.But this straight line integral can be writtenexplicitly as'I0l(F(A.u), u} dA. J [ u] ,( 2 2)

-20where again the inner product is an integral overfunctionalJ[ uJ1n (22)Lagrangian forx.Thus theshould be an excellent candidate for aF.(21)It will now be shown thatsufficient condition for(20}is indeed a necessary andto come from a variational principle,and that the Lagrangian is given in (22}.the self-adjointnes s condition ( 21 }.Suppose thatComputing6J[ uJFsatisfiesfrom( 22}gives1 x2 OJ[ u]If0 xk( -u, kux' kuxx' x)Ou1By the sel -adjointness of Fit follows thatx2x2f kuDF(ku;Ou) ( dxdkku DF(ku; Ou)dx JMu DF( -u, u)dxxlxlF(Au, AU , AuXXX, x} 6u dx;henceiJ. l x20 J[ u] 0 x1lF(ku, kux' kuxx' x). -.& F (ku, kux' kuxx' x)i Oudxd -

-21-Assuming that the variationsou vanish at xand x , interchange21the order of integration and integrate the second term by parts withrespect to .to obtainx2 oJ( u]J.F ( u, u X , u XX , x) ou dx .xlThe variational principleits Euler equation. 0 therefore leads to (20) as6J[ u) Conversely, suppose that F0 - is the Eulerequation from the variational principlex2ofo((u,ux,x)dx 0xlThen Fmust have the. formF( u, u X , u XX , x) ;(.U -The deriva tive of FDF(u;h) ;;(.U)X (23)X1s now given byX h XUUUUXhX-( ;;:u X uhXIt is a straightforward calculation to show thath1DF(u;h) h DF(u;h ) ,1from which the self-adjointness of Ffollows.hx)XXX

-22When Fis the expression in ( 23)J[ u]becom esThe second term can be integrated by parts to giveJ( u] uX;tUXSince the second and third integrals do not contribute to thevariations,J[ u J is equivalent to the original Lagrangian.To extend the above theory to systems of nonlinear partialdifferential equations it is convenient to introduce vector notation.Denote a system of partial differential equations by( 24)where

-23-TheF.are again polynomial functions of the dependent vari a bles1u , u , . , un,12 IXn their derivatives and the independent variablesThe derivative of the vector operatordefined byDF.(u:h) 1--lim T-0F.(u1- Th)-F .(u)1-0"The self-adjointness condition forFwhere the inner product is defined byis thenF1s now

-24Using this definition of the inner product, the generalization ofthe functionalJ [ u]in (22)is1J[ u] J(F(X. ). )dX.0With these definitions the results obtained fortrue for( 24).( 20)are also

-256.A Variational Formulation of Inviscid Fluid MechanicsVariational principles for non-dissipative fluid flows de-scribed in terms of Lagrangian (or particle) coordinates are knownto be the generalization of the classical Hamilton's principle fora system of particles.The appropriate Lagrangian density hasthe form of kinetic energy -internal energy for a fluid particleand is a function of the position and velocity of the particle.Inthese variational principles the particle paths themselves arevaried to give the necessarily self-adjoint Lagrangian equationsfor the fluid.Variational principles for fluid flows described inthe more usual Eulerian (field) coordinates are more difficult.The fluid equations in Eulerian coordinates are not self-adjoint asthey stand and therefore cannot be the Euler equations of avariational principle in which the field quantities are varied .Forthis reason the most common variational principles in fluidmechanics appear for special flows in which new variables, suchas the velocity potential or stream function , can be introduced. Theadvantage is that when the Eulerian equations are written in termsof these auxiliary variables, they often become self-adjoint .Although one usually looks at specialized flows, knowing a changein variables which leads to variational principles for the generalfluid equations is useful when treating new problems.Clebsch [ 15] introduced the representation15.Loc. cit.

-26-(25)and was successful in finding a variational formulation forincompressible rotational flow.the potentialsp,a., Pfaff's theorem [ 16]He was motivated to introducein the form of ( 25) from the results ofwhich states that the differential formud.x vdy (26)wdz1s reducible to a form{27)Equating the expressions mrepresentation ( 25 ).(26) and {27) leads to Clebsch'sClebsch finds that a variational formulationof the equationsDuDt - \7 p ( 28)\7 u 0 whereuDDt16. {u, v, w)a at u· \7'See, for example, A. R. Forsyth, Theory of DifferentialEquations, Vol. l, New York: Dover {1959).

-27-is obtained by introducing the representation(29)( 3 0)for the dependent variables.From ( 28)equations to be satisfied by . a,DaDt 0.!2Q. Dt0'V · u whereu13it follows that theare0stands for the expression in (29).follow from varying . a,13( 31)Equations(31)in the variational principleHere, as in all of the subsequent variational principles considered,the Lagrangian is an integral over a fixed region of( ,t)spac eand the variations are assumed to vanish on the boundary of thisregion.This is the first instance in which the pressure appearsas the Lagrangian density.As will be seen in the later examples,

-28the pressure, expressed in terms of the potentials used, is the desiredLagrangian density for problems in fluid mechanics described byEulerian coordinates, much the way the kinetic energy -potentialenergy, expressedin terms of coordinates and velocities, is theLagrangian for problems in classical mechanics.The potentials a., f3account for circulation in the flow.Expressions for the vorticity components in terms of a.s w'l us vw The intersection of surfacesrepresents a vortex line .that a.and f3yZX- vz- w- uy( ,1), s)a. X 8(a.,f3)8(y,z) 8(a.,f3)8( z, x) 8(a.,f3)a(x, y) Y'a.and f3X'Vf3 .constant,f3 constantThe first two equations in (31)are constant following particles.indicateTherefore vortexlines move with the fluid and always carry the same particles.:role of the potentialsLamb [ i 7].17.Loc. cit.a., f3areTheas ca,nonical variables is discussed byThis propel'ty is alsod:l.scussed by

-29Clebsch [ 18)potentials.with his ideas on canonical transformations of theseHere, it will only be remarked that if an arbitraryfunction H(a.,13,t) 1s added to the pressure in (30)the equationsto be satisfied by the new potentials take on the canonical form Dt -H (a., . t) ,a.and follow from varying the integral of the new expression for thepressure.An extension of the above variational formulation to acompressible fluid is given by Bateman [ 19].His results are fora so-called baratropic fluid in which the pressure is a function ofthe density .The equations for compressible flow areDuPnt 'V p ,p 'V· u ( 3 2)0,(33)18.Loc. cit.19.H. Bateman, Partial Differential Equations, p . 164, Cambridge:Cambridge University Press ( 1964).

-30-and for conveniencep(p) 1s taken to be of the formpI p f ( p) - f( p)To obtain a variational formulation for( 34)(32)and (33), Batemanuses the representationu 'Vp a'\713,( 3 5)(36)Now the potentialsp,a, 13 must satisfy the equationsDaDt 0 ' Dt 0 'l2 . Dtwhereofp,p '\7 u(37) u · stands for the expression in ( 35 ).a1n (36)andl3Again, the variationin the integral of the expression for the pressureleads to the set (37).leads to0 'The variation ofpin this integral( 34).The first

II. VARIATIONAL PRINCIPLES IN CONTINUUM MECHANICS 4. Introduction 12 5. The Self-Adjointness Condition of Vainberg 18 6. A Variational Formulation of In viscid Fluid Mechanics . . 25 7. Variational Principles for Ross by Waves in a Shallow Basin and in the "13-P.lane" Model . 37 8. The Variational Formulation of a Plasma . 9.

Related Documents:

Agenda 1 Variational Principle in Statics 2 Variational Principle in Statics under Constraints 3 Variational Principle in Dynamics 4 Variational Principle in Dynamics under Constraints Shinichi Hirai (Dept. Robotics, Ritsumeikan Univ.)Analytical Mechanics: Variational Principles 2 / 69

Texts of Wow Rosh Hashana II 5780 - Congregation Shearith Israel, Atlanta Georgia Wow ׳ג ׳א:׳א תישארב (א) ׃ץרֶָֽאָּהָּ תאֵֵ֥וְּ םִימִַׁ֖שַָּה תאֵֵ֥ םיקִִ֑לֹאֱ ארָָּ֣ Îָּ תישִִׁ֖ארֵ Îְּ(ב) חַורְָּ֣ו ם

Stochastic Variational Inference. We develop a scal-able inference method for our model based on stochas-tic variational inference (SVI) (Hoffman et al., 2013), which combines variational inference with stochastic gra-dient estimation. Two key ingredients of our infer

Variational Form of a Continuum Mechanics Problem REMARK 1 The local or strong governing equations of the continuum mechanics are the Euler-Lagrange equation and natural boundary conditions. REMARK 2 The fundamental theorem of variational calculus guarantees that the solution given by the variational principle and the one given by the local

Action principles in Lagrangian/Hamiltonian formulations of electrodynamics Schwinger variational principles for transmission lines, waveguides, scattering specialized variational principles for lasers and undulators (e.g. Xie) Variational Principles are Perhaps Better Known in

2. Functional Variational Inference 2.1. Background Even though GPs offer a principled way of handling ence carries a cubic cost in the number of data points, thus preventing its applicability to large and high-dimensional datasets. Sparse variational methods [45, 14] overcome this issue by allowing one to compute variational posterior ap-

entropy is additive :- variational problem for A(q) . Matrix of Inference Methods EP, variational EM, VB, NBP, Gibbs EP, EM, VB, NBP, Gibbs EKF, UKF, moment matching (ADF) Particle filter Other Loopy BP Gibbs Jtree sparse linear algebra Gaussian BP Kalman filter Loopy BP, mean field, structured variational, EP, graph-cuts Gibbs

MATH348: Advanced Engineering Mathematics Nori Nakata. Sep. 7, 2012 1 Fourier Series (sec: 11.1) 1.1 General concept of Fourier Series (10 mins) Show some figures by using a projector. Fourier analysis is a method to decompose a function into sine and cosine functions. Explain a little bit about Gibbs phenomenon. 1.2 Who cares? frequency domain (spectral analysis, noise separation .