Week 6 Notes, Math 865, Tanveer
|
|
- Amberly Baker
- 6 years ago
- Views:
Transcription
1 Week 6 Notes, Math 865, Tanveer. Energy Methods for Euler and Navier-Stokes Equation We will consider this week basic energy estimates. These are estimates on the L 2 spatial norms of the solution u(x, t) and its higher deriviatives with respect to x. Like other PDE initial value problems, these estimates are most useful in establishing existence and uniqueness of solutions. For simplicity, we will first take Ω = R N, where N = 2 or 3. We will drop the boldfonted notation for vectors since by this time you are sufficiently familiar to recognize which quantities are vectors and scalars. The exposition of this topic follows Bertozzi & Majda (Text), though with some differences in notation... Kinetic Energy Dissipation: Consider the incompressible constant density Navier-Stokes equation (.) t u + u u = p + ν u + b (.2) u = Then the i-th component of (.) is given by (.3) t u i + u j xj u i = xi p + ν 2 x j u i + b i Multiplying (.3) by u i and summing over i and using (.2), we have on using Einstein convention of summation over repeated indices: ( ) (.4) t 2 u2 i + xj 2 u ju 2 ( ) i = xi (pu i ) + ν xj ui xj u i ν xj u i xj u i + b i u i Assuming that u ( u 2 + p) + u Du = o( x N+ ), as x, we obtain from (.4) after integration over R N the following identity: (.5) t 2 u(., t) 2 = ν Du 2 + (b, u) The physical kinetic energy in the fluid is (.6) E(t) = R N 2 u(x, t) 2 dx = 2 u(.t) 2, In the absence of any force, i.e. b =, we obtain from (.5) d (.7) dt E = ν Du 2 = ν Du(x, t) 2 dx = ǫ, x R N where ǫ is usually referred to as the rate of energy dissipation. For zero viscosity, i.e. Euler flow, kinetic energy E is conserved and E(t) = E(). In the presence of a force b, the term (b, u) is the work done by the force b per-unit time. So, (.5) is a physical statement that rate of change of Kinetic Energy is the rate of work done by the external force minus the Energy dissipated /lost due to viscous friction. This dissipated energy is actually converted to heat. For compressible fluid flow, we have to couple heat energy and thermodynamics with momentum equation to get a complete set of equations. But this is not the case for incompressible Navier- Stokes equation, which we are studying here, and we do not have to consider thermodynamics to solve for fluid flow field u.
2 2.2. Energy Estimate, Uniqueness and ν dependence of Smooth Solutions. Let u, w be two Navier-Stokes solution, corresponding to forcing b and c respectively. We assume b and c to be smooth as well and decaying sufficiently fast in x at. We denote the corresponding pressures by p and q. Then consider the difference v = u w. It is easy to check that v satisfies: (.8) t v +v v +w v +v w = P +ν v +f, where f = b c, P = p q The i-th component of the above equation may be written as (.9) t v i + v j xj v i + w j xj v i + v j xj w i = xi P + ν 2 x j v i + f i Multiplying above by v i and integrating we obtain that (.) t 2 v2 i + 2 [ x j (vj + w j )vi 2 ] ( ) +vi v j xj w i = xi (u i P)+ν xj vi xj v i ν( xj v i )( xj v i )+v i f i So integrating over R N with usual assumptions on decay of velocity and pressure fields at, we obtain by using (.) (v, f) v f, and (v, v w) Dw(., t) v 2, d (.2) dt 2 v 2 + ν Dv 2 Dw v 2 + v f So, in particular, (.3) d dt v w v + f Also, on integrating (.2) between t = to t = T, we obtain (.4) T 2 v(., T) 2 +ν Dv(., t) 2 dt T T 2 v(., ) 2 + Dw(., t) v(., t) 2 dt+ v(., t) f(., t) dt Using well-known Gronwall s inequality on (.3) and the definition of v, we obtain the following Lemma Lemma.. Let u and w be two smooth L 2 (R N ) solutions to the Navier-Stokes equation for t [, T] for the same viscosity ν, but different forcing b and c respectively. Then, (.5) { T } [ T sup t [,T] u(., t) w(., t) u(., ) w(., ) + b(., t) c(., t) dt exp Corollary.2. Uniqueness of smooth solutions Let u(., t) and w(., t) be two smooth L 2 (R N ) solutions to incompressible constant density Navier-Stokes equation for t [, T] with same initial data and forcing. Then, the solution is unique. Proof. This simply follows from Lemma??, since u(., ) w(., ) = and b c =. w(., t) dt ] Remark.3. The energy estimate (.5) does not explicitly depend on ν and is equally valid for ν =, i.e. for the Euler equation.
3 3 The energy estimate (.5) is also useful in estimating the difference between smooth Euler and Navier-Stokes solution with the same initial data and forcing. Let u [] be a smooth solution to the Euler equation, i.e. ν =, while u [ν] is a solution to Navier-Stokes equation with the same initial data and forcing. Then, we can obtain an equation for v = u [ν] u [] : (.6) t v + v v + u [] v + v u [] = P + ν v + f where f = ν u [], P = p q is the difference of pressure This is the same equation as for (.8), with w replaced by u [], and a different meaning of f. Therefore, the energy estimate (.5) in this case becomes (.7) ( ) { T } T sup u [ν] (., t) u [] (., t) ν t [,T] u [] (.t) dt exp Du [] (., t) dt Notice that (.4) with w replaced by u [], and with f = ν u [] gives rise to (.8) T T T ν Dv(., t) 2 dt Du [] (., t) v(., t) 2 dt + ν v(., t) u [] (., t) dt νtc(u [], T) Using estimate (.7) estimate, we obtain, (.9) T T } T Dv(., t) 2 {CT dt νtc Du [] (., t) dt + ν u [] (., t) dt νt 2 c 2 (u [], T) So, (.2) T ( /2 T Dv(., t) dt T /2 Dv(., t) dt) 2 ν /2 T 3/2 C 2 (u [], T) This implies the following proposition: Proposition.4. Comparison of smooth Euler and Navier-Stokes Solution Given the same initial data and forcing, then the difference v between smooth L 2 (R N ) Navier-Stokes and Euler solution over a common interval of existence [, T] satisfies (.7) and (.2). In particular for any fixed T, as ν, u [ν] (., t) u [] (., t), and Du [ν] (., t) Du [] (., t) uniformly for t [, T]..3. Kinetic Energy of 2-D flow. The Theorems in the last section hold for solutions to Navier-Stokes/Euler equation that decay sufficiently rapidly as x so that velocity u(., t) L 2. This is a reasonable physical assumption in R 3. For 2-D flow, this is not necessarily the case, unless the integral of vorticity in the flow is zero, as will be seen shortly. Suppose supp ω { x : x R 2, x < R } Applying 2-D Biot-Savart Law: (.2) u(x, t) = K(x y)ω(y, t)dy, where K(x) = 2π x 2 [ x 2, x ] We first note that (.22) y R
4 4 We note that ( (.23) x y 2 = x 2 2 y x ) x 2 + y 2 x 2 Now, if x 2R, then since y R, it follows that as x x y 2 = x 2 + O( x 3 ) So, from (.2), (.24) u(x, t) = K(x) ω(y, t) + O( x 3 ) y R 2 Since It follows that x R 2 ( + x ) l dx <, iff l > N Lemma.5. A 2-D incompressible flow with compact vorticity ω has finite energy iff (.25) ω(x)dx = R 2 Remark.6. Note that the vorticity ω(x, t) will satisfy (.25) for t >, if (.26) ω(x, )dx =, R 2 since integration of 2-D Navier-Stokes equation in the vorticity form gives d (.27) ω(x, t)dx = dt x R 2 Remark.7. The statement that finite energy is implied only iff (.26) is satisfied is not limited merely to flow with compact support. It is more generally true for ω L (R 2 ). When (.26) is violated, it is possible to decompose a solution to Navier-Stokes equation to such that a part of it is in L 2 (R 2 ) (hence finite energy), while the other part is generated by a radial distribution of vorticity whose integral is the same as the integral of initial vorticity over R 2. Consider an initial vorticity distribution ω (x) L (R 2 ). We chose any compact radial vorticity distribution ω ( x ) such that ω ( x )dx = ω (x)dx R 2 R 2 We determine radial vorticity solution ω( x, t) with initial value ω( x, ) = ω ( x ) to Navier-Stokes equation without forcing. We know from worked out problems two weeks back, that ω( x, t) satisfies 2-D heat equation with corresponding velocity (.28) ũ(x, t) = ( x 2, x ) x 2 x Therefore, we now consider the decomposition s ω (s, t)ds (.29) u(x, t) = ũ(x, t) + v(x, t)
5 5 Since ( v)(x, ) = ω (x) ω (x), it follows that (.3) ( v)(x, )dx = from construction of ω. From (.27) and the fact that heat solution preserves ω(x, t)dx, it follows that R 2 (.3) d dt R 2 ( v)(x, t)dx =, implying by above This implies that v(x, t) has finite energy. Thus, we have proved the following Lemma: x R 2 ( v)(x, t)dx = Lemma.8. Any smooth solution u(x, t) to 2-D Navier-Stokes equation with an initial L (R 2 ) vorticity can be decomposed into (.32) u(x, t) = v(x, t) + ũ(x, t) where v L 2 (R 2 ) and divergence free, while x (.33) ũ(x) = ( x 2, x ) x 2 s ω(s, t)ds for some smooth radial vorticity distribution ω( x, t) with an initial compact support..4. Energy Inequality for 2-D flow. Consider the radial-energy decomposition (.34) u(x, t) = ũ(x, t) + v(x, t) of solution to the Navier-Stokes equation where v L 2 (R 2 ). v satisfies (.35) t v + v v + ũ v + v ũ = p + ν v + F Consider two solutions to Navier-Stokes equation u, u 2 with radial decompositions: (.36) u = ũ + v, u 2 = ũ 2 + v 2 Then, if we denote (.37) w = v v 2, ũ ũ 2 = û, ˆF = F F 2, ˆp = p p 2, then w satisfies (.38) t w+v w+w v 2 +ũ w+û v 2 +v 2 û+w ũ = ˆp+ν w+ ˆF Then using the same integration by parts procedure as in the last section, we have (.39) d dt 2 w 2 + ν w 2 w { w ( v 2 + ũ ) + (ũ ũ 2 ) v 2 + ˆF } + ũ ũ 2 v 2 Using Gronwall s inequality, as in previous section, we end up with the following proposition
6 6 Proposition.9. 2-D Energy Estimate and Gradient Control Let u and u 2 be two smooth divergence free solutions to the Navier-Stokes equation with radial-energy decomposition u j (x, t) = v j (x, t) + ũ j (x, t) and with external forces F and F 2. Then we have the following estimates: (.4) [ T ] sup t [,T] v v 2 v (., ) v 2 (., ) + exp ( v 2 + ũ )dt (.4) ν T T [ (F F 2 )(., t) + ũ ũ 2 v 2 + ũ ũ 2 v 2 ] dt (v (., t) v 2 (., t)) 2 dt C(v 2, ũ, T) { [ T (u u 2 )(., ) 2 + ( F (., t) F 2 (., t) + ũ ũ 2 v 2 (., t) + ũ ũ 2 v 2 (., t) + ũ ũ 2 v (., t) )dt] 2} Exercise: Derive (.4) and (.4) and use it to prove the above proposition..5. Calculus Inequalties for Sobolev Spaces and Mollifiers. We have already introduced the Sobolev space H m (R N ) for integer m. We now extend it to H s (R N ) for any s R. In the Schwartz space S(R N ) of smooth functions with rapid decay at, we introduce the norm { } /2 (.42) u s = ( + k ) 2s û(k)dk R N where û(k) = F[u](k), i.e. the Fourier-Transform of u. The completion of S(R N ) with norem (.42) will be referred to as H s (R N ). You can check that for s = m, that this is equivalent to the original definition of H m. One of the most important Sobolev space property that we will use is the Sobolev inequality below: Lemma.. Sobolev embedding Theorem The space H s+k (R n ), for s > N/2, k Z + {} is continuously embedded in the space C k (R N ), and there exists a constant c > such that (.43) v C k c v s+k, for any v H s+k (R N ) Some other calculus inequalities in the following Lemma will be useful for our purposes: Lemma.. i. For all m Z + {}, there exists c > such that for all u, v L H m (R N ), α m uv m c { u D m v + D m u v } D α (uv) ud α v c { u D m v + D m } u v ii. For all s > N/2, H s (R N ) is a Banach algebra, i.e. there exits a constant c so that for all u, v H s (R N ), uv s c u s v s
7 7 We now introduce a mollifier. Suppose ρ = ρ( x ) Cc (RN ), i.e. infinitely smooth function with compact support. Suppose also ρ, and R ρdx =. N Then we define mollification of v, denoted by I ǫ v to be a function given by: ( ) x y (.44) (I ǫ v)(x) = ǫ R N ρ v(y)dy ǫ N Lemma.2. Properties of Mollifier Let I ǫ be the mollifier defined in (.44). Then I ǫ v C (R N ) and i. for all v C (R N ), I ǫ v v uniformly on any compact set Ω R N and I ǫ v v ii. Mollifiers commute with distribution derivatives D α I ǫ v = I ǫ D α v for any α m, v H m iii. For all u L p (R N ), v L q (R N ), /p + /q =, (I ǫ u)vdx = u(i ǫ v)dx R N R N iv. For all v H s (R N ), I ǫ v converges to v in H s and the rate of convergence in the H s norm is linear in ǫ, i.e. lim ǫ + I ǫ v v s = I ǫ v v s Cǫ v s v. For all v H m (R N ), k Z + {}, and ǫ >, I ǫ v m+k c mk ǫ k v m I ǫ D k v c k ǫ v N/2+k 2. More properties of Hodge Projection Lemma 2.. Any vector field v H m (R N ) for m Z {} has a unique orthogonal decomposition v = φ + w, where φ, w H m, w = We define w = Pv as the Hodge projection of v onto the divergence free vector field. Further, i. (Pv, φ) m = and Pv 2 m + φ 2 m = v 2 m. ii. P commutes with D α in H m for α m: PD α v = D α Pv. iii. PI ǫ v = I ǫ Pv iv. P is symmetric: (Pu, v) m = (u, Pv) m Proof. We only consider m =. Other cases follow simply by noting property ii: that P commutes with D. We further consider only v C c (R N ). This space is dense in H m and hence all the results will follow for more general v, except that derivatives have to be understood in the sense of a distribution. Define φ by solving φ = v, with φ as x Using Green s function for Laplacian, we know (2.45) φ(x) = y R N G(x y)( v)(y)dy,
8 8 where G(x) = log x for N = 2, G(x) = 2π 4π x for N = 3 Then it is clear that (2.46) φ = G(x y)( v)(y) vdy y R N Now, notice that as x, φ [ G](x) ( v)(y)dy + O( x N ) y R N From applying Green s theorem on the first term, and hence φ L 2 (R N ). Define φ = O( x N ) as x, Pv = w = v φ Clearly since v, φ L 2 (R N ), so is w = Pv. It is clear that w = v φ = So, Pv is divergence free, and from the decay rate of φ for large φ, it follows that w O( x N ) as x Now, property i. follows since (w, φ) = w j xj φdx = xj (w j φ) = lim R N R N R x =R φ(w n)dx = since for large x, φ = O(log x ) for N = 2 and φ = O( x N+2 ) for N = 3, while w = O( x N ). Also, v 2 = (w + φ, w + φ) = (w, w) + ( φ, φ) = Pv 2 + φ 2 because of the orthogonality property. Property ii. follows simply from the observation that D α Pv = D α w = D α v D α φ = D α v D α φ = PD α v, since (D α φ) = (D α v) Property iii. follows from the commuting property of I ǫ with ( defined in (2.45)) and with any differential operator, since I ǫ Pv = I ǫ v I ǫ v = (I ǫ v) (I ǫ v) = PI ǫ v Property iv follows for m = because (Pv, u) = ( u, v v ) = (u, v) + ( u, v ) = (u, v) + ( u, v ) = (u, v) ( ( u), v ) = ( u u, v ) = (v, Pu)
Remarks on the blow-up criterion of the 3D Euler equations
Remarks on the blow-up criterion of the 3D Euler equations Dongho Chae Department of Mathematics Sungkyunkwan University Suwon 44-746, Korea e-mail : chae@skku.edu Abstract In this note we prove that the
More informationTHE L 2 -HODGE THEORY AND REPRESENTATION ON R n
THE L 2 -HODGE THEORY AND REPRESENTATION ON R n BAISHENG YAN Abstract. We present an elementary L 2 -Hodge theory on whole R n based on the minimization principle of the calculus of variations and some
More informationExistence and Continuation for Euler Equations
Existence and Continuation for Euler Equations David Driver Zhuo Min Harold Lim 22 March, 214 Contents 1 Introduction 1 1.1 Physical Background................................... 1 1.2 Notation and Conventions................................
More informationNavier-Stokes equations in thin domains with Navier friction boundary conditions
Navier-Stokes equations in thin domains with Navier friction boundary conditions Luan Thach Hoang Department of Mathematics and Statistics, Texas Tech University www.math.umn.edu/ lhoang/ luan.hoang@ttu.edu
More informationEuler Equations: local existence
Euler Equations: local existence Mat 529, Lesson 2. 1 Active scalars formulation We start with a lemma. Lemma 1. Assume that w is a magnetization variable, i.e. t w + u w + ( u) w = 0. If u = Pw then u
More informationDIRECTION OF VORTICITY AND A REFINED BLOW-UP CRITERION FOR THE NAVIER-STOKES EQUATIONS WITH FRACTIONAL LAPLACIAN
DIRECTION OF VORTICITY AND A REFINED BLOW-UP CRITERION FOR THE NAVIER-STOKES EQUATIONS WITH FRACTIONAL LAPLACIAN KENGO NAKAI Abstract. We give a refined blow-up criterion for solutions of the D Navier-
More informationEXISTENCE OF SOLUTIONS TO SYSTEMS OF EQUATIONS MODELLING COMPRESSIBLE FLUID FLOW
Electronic Journal o Dierential Equations, Vol. 15 (15, No. 16, pp. 1 8. ISSN: 17-6691. URL: http://ejde.math.txstate.e or http://ejde.math.unt.e tp ejde.math.txstate.e EXISTENCE OF SOLUTIONS TO SYSTEMS
More informationASYMPTOTIC STRUCTURE FOR SOLUTIONS OF THE NAVIER STOKES EQUATIONS. Tian Ma. Shouhong Wang
DISCRETE AND CONTINUOUS Website: http://aimsciences.org DYNAMICAL SYSTEMS Volume 11, Number 1, July 004 pp. 189 04 ASYMPTOTIC STRUCTURE FOR SOLUTIONS OF THE NAVIER STOKES EQUATIONS Tian Ma Department of
More informationV (r,t) = i ˆ u( x, y,z,t) + ˆ j v( x, y,z,t) + k ˆ w( x, y, z,t)
IV. DIFFERENTIAL RELATIONS FOR A FLUID PARTICLE This chapter presents the development and application of the basic differential equations of fluid motion. Simplifications in the general equations and common
More informationREMARKS ON THE VANISHING OBSTACLE LIMIT FOR A 3D VISCOUS INCOMPRESSIBLE FLUID
REMARKS ON THE VANISHING OBSTACLE LIMIT FOR A 3D VISCOUS INCOMPRESSIBLE FLUID DRAGOŞ IFTIMIE AND JAMES P. KELLIHER Abstract. In [Math. Ann. 336 (2006), 449-489] the authors consider the two dimensional
More informationThe Navier Stokes Equations for Incompressible Flows: Solution Properties at Potential Blow Up Times
The Navier Stokes Equations for Incompressible Flows: Solution Properties at Potential Blow Up Times Jens Lorenz Department of Mathematics and Statistics, UNM, Albuquerque, NM 873 Paulo Zingano Dept. De
More informationWeek 2 Notes, Math 865, Tanveer
Week 2 Notes, Math 865, Tanveer 1. Incompressible constant density equations in different forms Recall we derived the Navier-Stokes equation for incompressible constant density, i.e. homogeneous flows:
More informationMath The Laplacian. 1 Green s Identities, Fundamental Solution
Math. 209 The Laplacian Green s Identities, Fundamental Solution Let be a bounded open set in R n, n 2, with smooth boundary. The fact that the boundary is smooth means that at each point x the external
More informationGetting started: CFD notation
PDE of p-th order Getting started: CFD notation f ( u,x, t, u x 1,..., u x n, u, 2 u x 1 x 2,..., p u p ) = 0 scalar unknowns u = u(x, t), x R n, t R, n = 1,2,3 vector unknowns v = v(x, t), v R m, m =
More informationCONNECTIONS BETWEEN A CONJECTURE OF SCHIFFER S AND INCOMPRESSIBLE FLUID MECHANICS
CONNECTIONS BETWEEN A CONJECTURE OF SCHIFFER S AND INCOMPRESSIBLE FLUID MECHANICS JAMES P. KELLIHER Abstract. We demonstrate connections that exists between a conjecture of Schiffer s (which is equivalent
More informationTOPICS IN MATHEMATICAL AND COMPUTATIONAL FLUID DYNAMICS
TOPICS IN MATHEMATICAL AND COMPUTATIONAL FLUID DYNAMICS Lecture Notes by Prof. Dr. Siddhartha Mishra and Dr. Franziska Weber October 4, 216 1 Contents 1 Fundamental Equations of Fluid Dynamics 4 1.1 Eulerian
More informationBlow up of solutions for a 1D transport equation with nonlocal velocity and supercritical dissipation
Blow up of solutions for a 1D transport equation with nonlocal velocity and supercritical dissipation Dong Li a,1 a School of Mathematics, Institute for Advanced Study, Einstein Drive, Princeton, NJ 854,
More informationSome Aspects of Solutions of Partial Differential Equations
Some Aspects of Solutions of Partial Differential Equations K. Sakthivel Department of Mathematics Indian Institute of Space Science & Technology(IIST) Trivandrum - 695 547, Kerala Sakthivel@iist.ac.in
More informationPDE Methods for Mean Field Games with Non-Separable Hamiltonian: Data in Sobolev Spaces (Continued) David Ambrose June 29, 2018
PDE Methods for Mean Field Games with Non-Separable Hamiltonian: Data in Sobolev Spaces Continued David Ambrose June 29, 218 Steps of the energy method Introduce an approximate problem. Prove existence
More informationThe incompressible Navier-Stokes equations in vacuum
The incompressible, Université Paris-Est Créteil Piotr Bogus law Mucha, Warsaw University Journées Jeunes EDPistes 218, Institut Elie Cartan, Université de Lorraine March 23th, 218 Incompressible Navier-Stokes
More informationMath background. Physics. Simulation. Related phenomena. Frontiers in graphics. Rigid fluids
Fluid dynamics Math background Physics Simulation Related phenomena Frontiers in graphics Rigid fluids Fields Domain Ω R2 Scalar field f :Ω R Vector field f : Ω R2 Types of derivatives Derivatives measure
More informationThe Mollifier Theorem
The Mollifier Theorem Definition of the Mollifier The function Tx Kexp 1 if x 1 2 1 x 0 if x 1, x R n where the constant K is chosen such that R n Txdx 1, is a test function on Rn. Note that Tx vanishes,
More informationFriedrich symmetric systems
viii CHAPTER 8 Friedrich symmetric systems In this chapter, we describe a theory due to Friedrich [13] for positive symmetric systems, which gives the existence and uniqueness of weak solutions of boundary
More informationAA210A Fundamentals of Compressible Flow. Chapter 1 - Introduction to fluid flow
AA210A Fundamentals of Compressible Flow Chapter 1 - Introduction to fluid flow 1 1.2 Conservation of mass Mass flux in the x-direction [ ρu ] = M L 3 L T = M L 2 T Momentum per unit volume Mass per unit
More informationCHAPTER 7 SEVERAL FORMS OF THE EQUATIONS OF MOTION
CHAPTER 7 SEVERAL FORMS OF THE EQUATIONS OF MOTION 7.1 THE NAVIER-STOKES EQUATIONS Under the assumption of a Newtonian stress-rate-of-strain constitutive equation and a linear, thermally conductive medium,
More informationPartial Differential Equations, 2nd Edition, L.C.Evans The Calculus of Variations
Partial Differential Equations, 2nd Edition, L.C.Evans Chapter 8 The Calculus of Variations Yung-Hsiang Huang 2018.03.25 Notation: denotes a bounded smooth, open subset of R n. All given functions are
More informationPartial Differential Equations
Part II Partial Differential Equations Year 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2015 Paper 4, Section II 29E Partial Differential Equations 72 (a) Show that the Cauchy problem for u(x,
More informationSolution Sheet 3. Solution Consider. with the metric. We also define a subset. and thus for any x, y X 0
Solution Sheet Throughout this sheet denotes a domain of R n with sufficiently smooth boundary. 1. Let 1 p
More informationResearch Article On a Quasi-Neutral Approximation to the Incompressible Euler Equations
Applied Mathematics Volume 2012, Article ID 957185, 8 pages doi:10.1155/2012/957185 Research Article On a Quasi-Neutral Approximation to the Incompressible Euler Equations Jianwei Yang and Zhitao Zhuang
More informationA LOWER BOUND ON BLOWUP RATES FOR THE 3D INCOMPRESSIBLE EULER EQUATION AND A SINGLE EXPONENTIAL BEALE-KATO-MAJDA ESTIMATE. 1.
A LOWER BOUND ON BLOWUP RATES FOR THE 3D INCOMPRESSIBLE EULER EQUATION AND A SINGLE EXPONENTIAL BEALE-KATO-MAJDA ESTIMATE THOMAS CHEN AND NATAŠA PAVLOVIĆ Abstract. We prove a Beale-Kato-Majda criterion
More informationGAKUTO International Series
1 GAKUTO International Series Mathematical Sciences and Applications, Vol.**(****) xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx, pp. xxx-xxx NAVIER-STOKES SPACE TIME DECAY REVISITED In memory of Tetsuro Miyakawa,
More informationFrom Boltzmann Equations to Gas Dynamics: From DiPerna-Lions to Leray
From Boltzmann Equations to Gas Dynamics: From DiPerna-Lions to Leray C. David Levermore Department of Mathematics and Institute for Physical Science and Technology University of Maryland, College Park
More information1 Continuity Classes C m (Ω)
0.1 Norms 0.1 Norms A norm on a linear space X is a function : X R with the properties: Positive Definite: x 0 x X (nonnegative) x = 0 x = 0 (strictly positive) λx = λ x x X, λ C(homogeneous) x + y x +
More informationNONLOCAL DIFFUSION EQUATIONS
NONLOCAL DIFFUSION EQUATIONS JULIO D. ROSSI (ALICANTE, SPAIN AND BUENOS AIRES, ARGENTINA) jrossi@dm.uba.ar http://mate.dm.uba.ar/ jrossi 2011 Non-local diffusion. The function J. Let J : R N R, nonnegative,
More informationDecay profiles of a linear artificial viscosity system
Decay profiles of a linear artificial viscosity system Gene Wayne, Ryan Goh and Roland Welter Boston University rwelter@bu.edu July 2, 2018 This research was supported by funding from the NSF. Roland Welter
More informationBorel Summability in PDE initial value problems
Borel Summability in PDE initial value problems Saleh Tanveer (Ohio State University) Collaborator Ovidiu Costin & Guo Luo Research supported in part by Institute for Math Sciences (IC), EPSRC & NSF. Main
More informationat time t, in dimension d. The index i varies in a countable set I. We call configuration the family, denoted generically by Φ: U (x i (t) x j (t))
Notations In this chapter we investigate infinite systems of interacting particles subject to Newtonian dynamics Each particle is characterized by its position an velocity x i t, v i t R d R d at time
More informationPartial Differential Equations, 2nd Edition, L.C.Evans Chapter 5 Sobolev Spaces
Partial Differential Equations, nd Edition, L.C.Evans Chapter 5 Sobolev Spaces Shih-Hsin Chen, Yung-Hsiang Huang 7.8.3 Abstract In these exercises always denote an open set of with smooth boundary. As
More informationWEAK VORTICITY FORMULATION FOR THE INCOMPRESSIBLE 2D EULER EQUATIONS IN DOMAINS WITH BOUNDARY
WEAK VORTICITY FORMULATION FOR THE INCOMPRESSIBLE 2D EULER EQUATIONS IN DOMAINS WITH BOUNDARY D. IFTIMIE, M. C. LOPES FILHO, H. J. NUSSENZVEIG LOPES AND F. SUEUR Abstract. In this article we examine the
More informationA RECURRENCE THEOREM ON THE SOLUTIONS TO THE 2D EULER EQUATION
ASIAN J. MATH. c 2009 International Press Vol. 13, No. 1, pp. 001 006, March 2009 001 A RECURRENCE THEOREM ON THE SOLUTIONS TO THE 2D EULER EQUATION Y. CHARLES LI Abstract. In this article, I will prove
More informationThe Euler Equations and Non-Local Conservative Riccati Equations
The Euler Equations and Non-Local Conservative Riccati Equations Peter Constantin Department of Mathematics The University of Chicago November 8, 999 The purpose of this brief note is to present an infinite
More informationFormulation of the problem
TOPICAL PROBLEMS OF FLUID MECHANICS DOI: https://doi.org/.43/tpfm.27. NOTE ON THE PROBLEM OF DISSIPATIVE MEASURE-VALUED SOLUTIONS TO THE COMPRESSIBLE NON-NEWTONIAN SYSTEM H. Al Baba, 2, M. Caggio, B. Ducomet
More information2 Equations of Motion
2 Equations of Motion system. In this section, we will derive the six full equations of motion in a non-rotating, Cartesian coordinate 2.1 Six equations of motion (non-rotating, Cartesian coordinates)
More informationThe Inviscid Limit for Non-Smooth Vorticity
The Inviscid Limit for Non-Smooth Vorticity Peter Constantin & Jiahong Wu Abstract. We consider the inviscid limit of the incompressible Navier-Stokes equations for the case of two-dimensional non-smooth
More informationModeling, Simulating and Rendering Fluids. Thanks to Ron Fediw et al, Jos Stam, Henrik Jensen, Ryan
Modeling, Simulating and Rendering Fluids Thanks to Ron Fediw et al, Jos Stam, Henrik Jensen, Ryan Applications Mostly Hollywood Shrek Antz Terminator 3 Many others Games Engineering Animating Fluids is
More informationVANISHING VISCOSITY IN THE PLANE FOR VORTICITY IN BORDERLINE SPACES OF BESOV TYPE
VANISHING VISCOSITY IN THE PLANE FOR VORTICITY IN BORDERLINE SPACES OF BESOV TYPE ELAINE COZZI AND JAMES P. KELLIHER Abstract. The existence and uniqueness of solutions to the Euler equations for initial
More informationON THE GLOBAL REGULARITY OF GENERALIZED LERAY-ALPHA TYPE MODELS
ON THE GLOBAL REGULARITY OF GENERALIZED LERAY-ALPHA TYPE MODELS KAZUO YAMAZAKI 1 2 Abstract. We generalize Leray-alpha type models studied in [3] and [8] via fractional Laplacians and employ Besov space
More informationTD M1 EDP 2018 no 2 Elliptic equations: regularity, maximum principle
TD M EDP 08 no Elliptic equations: regularity, maximum principle Estimates in the sup-norm I Let be an open bounded subset of R d of class C. Let A = (a ij ) be a symmetric matrix of functions of class
More informationOn the local existence for an active scalar equation in critical regularity setting
On the local existence for an active scalar equation in critical regularity setting Walter Rusin Department of Mathematics, Oklahoma State University, Stillwater, OK 7478 Fei Wang Department of Mathematics,
More informationLACK OF HÖLDER REGULARITY OF THE FLOW FOR 2D EULER EQUATIONS WITH UNBOUNDED VORTICITY. 1. Introduction
LACK OF HÖLDER REGULARITY OF THE FLOW FOR 2D EULER EQUATIONS WITH UNBOUNDED VORTICITY JAMES P. KELLIHER Abstract. We construct a class of examples of initial vorticities for which the solution to the Euler
More informationOn Liouville type theorems for the steady Navier-Stokes equations in R 3
On Liouville type theorems for the steady Navier-Stokes equations in R 3 arxiv:604.07643v [math.ap] 6 Apr 06 Dongho Chae and Jörg Wolf Department of Mathematics Chung-Ang University Seoul 56-756, Republic
More informationMATH 205C: STATIONARY PHASE LEMMA
MATH 205C: STATIONARY PHASE LEMMA For ω, consider an integral of the form I(ω) = e iωf(x) u(x) dx, where u Cc (R n ) complex valued, with support in a compact set K, and f C (R n ) real valued. Thus, I(ω)
More information0 = p. 2 x + 2 w. z +ν w
Solution (Elliptical pipe flow (a Using the Navier Stokes equations in three dimensional cartesian coordinates, given that u =, v = and w = w(x,y only, and assuming no body force, we are left with = p
More informationTopics in Fluid Dynamics: Classical physics and recent mathematics
Topics in Fluid Dynamics: Classical physics and recent mathematics Toan T. Nguyen 1,2 Penn State University Graduate Student Seminar @ PSU Jan 18th, 2018 1 Homepage: http://math.psu.edu/nguyen 2 Math blog:
More informationGlobal regularity of a modified Navier-Stokes equation
Global regularity of a modified Navier-Stokes equation Tobias Grafke, Rainer Grauer and Thomas C. Sideris Institut für Theoretische Physik I, Ruhr-Universität Bochum, Germany Department of Mathematics,
More informationStability of Shear Flow
Stability of Shear Flow notes by Zhan Wang and Sam Potter Revised by FW WHOI GFD Lecture 3 June, 011 A look at energy stability, valid for all amplitudes, and linear stability for shear flows. 1 Nonlinear
More informationGLOBAL REGULARITY OF LOGARITHMICALLY SUPERCRITICAL 3-D LAMHD-ALPHA SYSTEM WITH ZERO DIFFUSION
GLOBAL REGULARITY OF LOGARITHMICALLY SUPERCRITICAL 3-D LAMHD-ALPHA SYSTEM WITH ZERO DIFFUSION KAZUO YAMAZAKI Abstract. We study the three-dimensional Lagrangian-averaged magnetohydrodynamicsalpha system
More informationTHE POINCARÉ RECURRENCE PROBLEM OF INVISCID INCOMPRESSIBLE FLUIDS
ASIAN J. MATH. c 2009 International Press Vol. 13, No. 1, pp. 007 014, March 2009 002 THE POINCARÉ RECURRENCE PROBLEM OF INVISCID INCOMPRESSIBLE FLUIDS Y. CHARLES LI Abstract. Nadirashvili presented a
More informationBasic hydrodynamics. David Gurarie. 1 Newtonian fluids: Euler and Navier-Stokes equations
Basic hydrodynamics David Gurarie 1 Newtonian fluids: Euler and Navier-Stokes equations The basic hydrodynamic equations in the Eulerian form consist of conservation of mass, momentum and energy. We denote
More informationA STOCHASTIC LAGRANGIAN REPRESENTATION OF THE 3-DIMENSIONAL INCOMPRESSIBLE NAVIER-STOKES EQUATIONS
A STOCHASTIC LAGRANGIAN REPRESENTATION OF THE 3-DIMENSIONAL INCOMPRESSIBLE NAVIER-STOKES EQUATIONS PETER CONSTANTIN AND GAUTAM IYER Abstract. In this paper we derive a probabilistic representation of the
More informationThe 2D Magnetohydrodynamic Equations with Partial Dissipation. Oklahoma State University
The 2D Magnetohydrodynamic Equations with Partial Dissipation Jiahong Wu Oklahoma State University IPAM Workshop Mathematical Analysis of Turbulence IPAM, UCLA, September 29-October 3, 2014 1 / 112 Outline
More informationSobolev Spaces. Chapter Hölder spaces
Chapter 2 Sobolev Spaces Sobolev spaces turn out often to be the proper setting in which to apply ideas of functional analysis to get information concerning partial differential equations. Here, we collect
More informationConservation of Mass. Computational Fluid Dynamics. The Equations Governing Fluid Motion
http://www.nd.edu/~gtryggva/cfd-course/ http://www.nd.edu/~gtryggva/cfd-course/ Computational Fluid Dynamics Lecture 4 January 30, 2017 The Equations Governing Fluid Motion Grétar Tryggvason Outline Derivation
More informationHilbert Spaces. Contents
Hilbert Spaces Contents 1 Introducing Hilbert Spaces 1 1.1 Basic definitions........................... 1 1.2 Results about norms and inner products.............. 3 1.3 Banach and Hilbert spaces......................
More informationINCOMPRESSIBLE FLUIDS IN THIN DOMAINS WITH NAVIER FRICTION BOUNDARY CONDITIONS (II) Luan Thach Hoang. IMA Preprint Series #2406.
INCOMPRESSIBLE FLUIDS IN THIN DOMAINS WITH NAVIER FRICTION BOUNDARY CONDITIONS II By Luan Thach Hoang IMA Preprint Series #2406 August 2012 INSTITUTE FOR MATHEMATICS AND ITS APPLICATIONS UNIVERSITY OF
More informationGENERIC SOLVABILITY FOR THE 3-D NAVIER-STOKES EQUATIONS WITH NONREGULAR FORCE
Electronic Journal of Differential Equations, Vol. 2(2), No. 78, pp. 1 8. ISSN: 172-6691. UR: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu (login: ftp) GENERIC SOVABIITY
More informationApplied Math Qualifying Exam 11 October Instructions: Work 2 out of 3 problems in each of the 3 parts for a total of 6 problems.
Printed Name: Signature: Applied Math Qualifying Exam 11 October 2014 Instructions: Work 2 out of 3 problems in each of the 3 parts for a total of 6 problems. 2 Part 1 (1) Let Ω be an open subset of R
More informationAE/ME 339. K. M. Isaac Professor of Aerospace Engineering. 12/21/01 topic7_ns_equations 1
AE/ME 339 Professor of Aerospace Engineering 12/21/01 topic7_ns_equations 1 Continuity equation Governing equation summary Non-conservation form D Dt. V 0.(2.29) Conservation form ( V ) 0...(2.33) t 12/21/01
More informationCHAPTER 6 bis. Distributions
CHAPTER 6 bis Distributions The Dirac function has proved extremely useful and convenient to physicists, even though many a mathematician was truly horrified when the Dirac function was described to him:
More informationGlobal Maxwellians over All Space and Their Relation to Conserved Quantites of Classical Kinetic Equations
Global Maxwellians over All Space and Their Relation to Conserved Quantites of Classical Kinetic Equations C. David Levermore Department of Mathematics and Institute for Physical Science and Technology
More informationWe denote the space of distributions on Ω by D ( Ω) 2.
Sep. 1 0, 008 Distributions Distributions are generalized functions. Some familiarity with the theory of distributions helps understanding of various function spaces which play important roles in the study
More information0.2. CONSERVATION LAW FOR FLUID 9
0.2. CONSERVATION LAW FOR FLUID 9 Consider x-component of Eq. (26), we have D(ρu) + ρu( v) dv t = ρg x dv t S pi ds, (27) where ρg x is the x-component of the bodily force, and the surface integral is
More informationOverview of normed linear spaces
20 Chapter 2 Overview of normed linear spaces Starting from this chapter, we begin examining linear spaces with at least one extra structure (topology or geometry). We assume linearity; this is a natural
More informationEntropy generation and transport
Chapter 7 Entropy generation and transport 7.1 Convective form of the Gibbs equation In this chapter we will address two questions. 1) How is Gibbs equation related to the energy conservation equation?
More informationA Simple Turbulence Closure Model. Atmospheric Sciences 6150
A Simple Turbulence Closure Model Atmospheric Sciences 6150 1 Cartesian Tensor Notation Reynolds decomposition of velocity: V = V + v V = U i + u i Mean velocity: V = Ui + V j + W k =(U, V, W ) U i =(U
More informationα 2 )(k x ũ(t, η) + k z W (t, η)
1 3D Poiseuille Flow Over the next two lectures we will be going over the stabilization of the 3-D Poiseuille flow. For those of you who havent had fluids, that means we have a channel of fluid that is
More informationA Simple Turbulence Closure Model
A Simple Turbulence Closure Model Atmospheric Sciences 6150 1 Cartesian Tensor Notation Reynolds decomposition of velocity: Mean velocity: Turbulent velocity: Gradient operator: Advection operator: V =
More information2 GOVERNING EQUATIONS
2 GOVERNING EQUATIONS 9 2 GOVERNING EQUATIONS For completeness we will take a brief moment to review the governing equations for a turbulent uid. We will present them both in physical space coordinates
More informationLECTURE # 0 BASIC NOTATIONS AND CONCEPTS IN THE THEORY OF PARTIAL DIFFERENTIAL EQUATIONS (PDES)
LECTURE # 0 BASIC NOTATIONS AND CONCEPTS IN THE THEORY OF PARTIAL DIFFERENTIAL EQUATIONS (PDES) RAYTCHO LAZAROV 1 Notations and Basic Functional Spaces Scalar function in R d, d 1 will be denoted by u,
More informationarxiv: v1 [math.ap] 5 Nov 2018
STRONG CONTINUITY FOR THE 2D EULER EQUATIONS GIANLUCA CRIPPA, ELIZAVETA SEMENOVA, AND STEFANO SPIRITO arxiv:1811.01553v1 [math.ap] 5 Nov 2018 Abstract. We prove two results of strong continuity with respect
More informationVANISHING VISCOSITY IN THE PLANE FOR NONDECAYING VELOCITY AND VORTICITY
VANISHING VISCOSITY IN THE PLANE FOR NONDECAYING VELOCITY AND VORTICITY ELAINE COZZI Abstract. Assuming that initial velocity and initial vorticity are bounded in the plane, we show that on a sufficiently
More informationFundamentals of Fluid Dynamics: Elementary Viscous Flow
Fundamentals of Fluid Dynamics: Elementary Viscous Flow Introductory Course on Multiphysics Modelling TOMASZ G. ZIELIŃSKI bluebox.ippt.pan.pl/ tzielins/ Institute of Fundamental Technological Research
More informationFINITE TIME BLOW-UP FOR A DYADIC MODEL OF THE EULER EQUATIONS
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 357, Number 2, Pages 695 708 S 0002-9947(04)03532-9 Article electronically published on March 12, 2004 FINITE TIME BLOW-UP FOR A DYADIC MODEL OF
More informationSHARP BOUNDARY TRACE INEQUALITIES. 1. Introduction
SHARP BOUNDARY TRACE INEQUALITIES GILES AUCHMUTY Abstract. This paper describes sharp inequalities for the trace of Sobolev functions on the boundary of a bounded region R N. The inequalities bound (semi-)norms
More informationOn Global Well-Posedness of the Lagrangian Averaged Euler Equations
On Global Well-Posedness of the Lagrangian Averaged Euler Equations Thomas Y. Hou Congming Li Abstract We study the global well-posedness of the Lagrangian averaged Euler equations in three dimensions.
More informationTHE FORM SUM AND THE FRIEDRICHS EXTENSION OF SCHRÖDINGER-TYPE OPERATORS ON RIEMANNIAN MANIFOLDS
THE FORM SUM AND THE FRIEDRICHS EXTENSION OF SCHRÖDINGER-TYPE OPERATORS ON RIEMANNIAN MANIFOLDS OGNJEN MILATOVIC Abstract. We consider H V = M +V, where (M, g) is a Riemannian manifold (not necessarily
More informationDecay in Time of Incompressible Flows
J. math. fluid mech. 5 (23) 231 244 1422-6928/3/3231-14 c 23 Birkhäuser Verlag, Basel DOI 1.17/s21-3-79-1 Journal of Mathematical Fluid Mechanics Decay in Time of Incompressible Flows Heinz-Otto Kreiss,
More informationWELL POSEDNESS OF PROBLEMS I
Finite Element Method 85 WELL POSEDNESS OF PROBLEMS I Consider the following generic problem Lu = f, where L : X Y, u X, f Y and X, Y are two Banach spaces We say that the above problem is well-posed (according
More information1 Math 241A-B Homework Problem List for F2015 and W2016
1 Math 241A-B Homework Problem List for F2015 W2016 1.1 Homework 1. Due Wednesday, October 7, 2015 Notation 1.1 Let U be any set, g be a positive function on U, Y be a normed space. For any f : U Y let
More informationPOINCARÉ S INEQUALITY AND DIFFUSIVE EVOLUTION EQUATIONS
POINCARÉ S INEQUALITY AND DIFFUSIVE EVOLUTION EQUATIONS CLAYTON BJORLAND AND MARIA E. SCHONBEK Abstract. This paper addresses the question of change of decay rate from exponential to algebraic for diffusive
More informationWEYL S LEMMA, ONE OF MANY. Daniel W. Stroock
WEYL S LEMMA, ONE OF MANY Daniel W Stroock Abstract This note is a brief, and somewhat biased, account of the evolution of what people working in PDE s call Weyl s Lemma about the regularity of solutions
More informationFundamentals of Fluid Dynamics: Ideal Flow Theory & Basic Aerodynamics
Fundamentals of Fluid Dynamics: Ideal Flow Theory & Basic Aerodynamics Introductory Course on Multiphysics Modelling TOMASZ G. ZIELIŃSKI (after: D.J. ACHESON s Elementary Fluid Dynamics ) bluebox.ippt.pan.pl/
More informationOutline of Fourier Series: Math 201B
Outline of Fourier Series: Math 201B February 24, 2011 1 Functions and convolutions 1.1 Periodic functions Periodic functions. Let = R/(2πZ) denote the circle, or onedimensional torus. A function f : C
More informationContinuum Mechanics Lecture 5 Ideal fluids
Continuum Mechanics Lecture 5 Ideal fluids Prof. http://www.itp.uzh.ch/~teyssier Outline - Helmholtz decomposition - Divergence and curl theorem - Kelvin s circulation theorem - The vorticity equation
More informationThe Navier-Stokes Equations with Time Delay. Werner Varnhorn. Faculty of Mathematics University of Kassel, Germany
The Navier-Stokes Equations with Time Delay Werner Varnhorn Faculty of Mathematics University of Kassel, Germany AMS: 35 (A 35, D 5, K 55, Q 1), 65 M 1, 76 D 5 Abstract In the present paper we use a time
More informationSome lecture notes for Math 6050E: PDEs, Fall 2016
Some lecture notes for Math 65E: PDEs, Fall 216 Tianling Jin December 1, 216 1 Variational methods We discuss an example of the use of variational methods in obtaining existence of solutions. Theorem 1.1.
More informationChapter 8 Integral Operators
Chapter 8 Integral Operators In our development of metrics, norms, inner products, and operator theory in Chapters 1 7 we only tangentially considered topics that involved the use of Lebesgue measure,
More information4 Hilbert spaces. The proof of the Hilbert basis theorem is not mathematics, it is theology. Camille Jordan
The proof of the Hilbert basis theorem is not mathematics, it is theology. Camille Jordan Wir müssen wissen, wir werden wissen. David Hilbert We now continue to study a special class of Banach spaces,
More informationStationary mean-field games Diogo A. Gomes
Stationary mean-field games Diogo A. Gomes We consider is the periodic stationary MFG, { ɛ u + Du 2 2 + V (x) = g(m) + H ɛ m div(mdu) = 0, (1) where the unknowns are u : T d R, m : T d R, with m 0 and
More informationOn the infinity Laplace operator
On the infinity Laplace operator Petri Juutinen Köln, July 2008 The infinity Laplace equation Gunnar Aronsson (1960 s): variational problems of the form S(u, Ω) = ess sup H (x, u(x), Du(x)). (1) x Ω The
More information