maths.free › Partial Differential Equations › A priori estimates, local and global existence
A priori estimates, local and global existence
Bounds proved before the solution is known, blow-up in finite time, continuation criteria and Gronwall.
An a priori estimate is a bound on a solution, in terms of the data, proved on the assumption that a solution exists. It sounds circular but is the engine of existence theory: build approximate solutions (truncated series, discretisations, smoothed equations), show that the a priori estimate holds for all of them uniformly, and use compactness to pass to a limit that solves the real problem.
The simplest nonlinear example shows why existence can be only local. The ODE \( y' = y^2 \), \( y(0) = y_0 > 0 \), has solution \( y = y_0/(1 - y_0t) \), which blows up at \( T = 1/y_0 \). The larger the data, the shorter the time of existence. The time can be read off without solving: \( T = \int_{y_0}^\infty dy/y^2 \). In contrast \( y' = -y^3 \) has solutions that exist for all time, because the nonlinearity pushes towards zero.
For evolution PDEs the pattern is a continuation criterion. One proves that a solution exists on some interval \( [0, T) \) with \( T \) depending on the size of the data in a controlling norm, and that the solution can be continued as long as that norm stays finite. Global existence is then equivalent to an a priori bound on the controlling norm for all time. Gronwall's inequality is the standard tool: if \( Y' \le a(t)Y \) then \( Y(t) \le Y(0)\exp\int_0^ta \), so a linear differential inequality never blows up.
Picture it: a solution is a car whose fuel gauge is the controlling norm. The local theorem says it can always drive a little further as long as the gauge reads a finite number. Blow-up means the needle hits infinity at a finite time; global existence means proving it never does.
Think it: for Navier-Stokes in \( \mathbb R^3 \) the enstrophy \( Y = \|\nabla u\|_{L^2}^2 \) obeys \( Y' \le CY^3/\nu^3 \), a superlinear inequality like \( y' = y^2 \). It gives a smooth solution on an interval of length at least about \( \nu^3/Y(0)^2 \), and it shows that if the solution does blow up at \( T^* \) then \( \|\nabla u(t)\|_{L^2}^2 \ge c\,\nu^{3/2}(T^* - t)^{-1/2} \). The energy inequality alone, a linear bound, is not strong enough to rule this out. That gap is the Millennium problem.
Nhazi ahụ ejirila · y' = y^2
Y' = y^2
Nzọụkwụ site n'ụdị
- \frac{d}{d x} y{\left(x \right)} = y^{2}{\left(x \right)}
The differential equation.
- \text{order } 1
Order 1: the highest derivative present.
- \text{Separable}
Move everything in y to one side with dy and everything in x to the other, then integrate both sides.
- y{\left(x \right)} = - \frac{1}{C_{1} + x}
General solution (C₁, C₂ … are arbitrary constants).
- \checkmark
Verified: substituting the solution back into the equation gives 0.
Gosi nzaghachi
Ugbu a ị Họrọ nsogbu, mọọbụ tinye mọọbụ depụta gị. Nzọụkwụ ọbụla, inyogo, azịza ahụ echekwara ruo mgbe ịjụla.
Aịkọn ndị ahụ ejirila ebe a
Tinye ọbụla simbụl maka nkọwa zuru ezu, inyogo, na ihe ọbụla ọbụla na-egosi.
Olee otú: A priori estimates, local and global existence
- Differentiate the controlling quantity Y(t) in time and use the equation.
- Bound the right-hand side by a function of Y alone (Hölder, Sobolev, Young).
- Compare with the ODE: if Y' ≤ F(Y), the existence time is at least ∫ dY / F(Y) from Y(0) to infinity.
- If F is linear, Gronwall gives a global bound; if F grows so fast that ∫ dY / F(Y) converges (like Y³), the comparison gives only a local one.
- State the continuation criterion: the solution extends while Y stays finite.
Ajụjụ ndị mmadụ jụrụ
Why is it called a priori?
Because it is proved before (prior to) knowing that the solution exists, for any hypothetical smooth solution. It then applies to the approximations used to construct one.
Does blow-up of an ODE model mean the PDE blows up?
No. A differential inequality Y' ≤ C Y³ gives an upper bound, and the true Y may grow much more slowly. Blow-up of the bound only says the method cannot exclude singularities.
What should I know before starting?
Partial derivatives, the divergence theorem and multiple integrals from multivariable calculus; linear second-order ODEs; eigenvalues from linear algebra; and enough analysis to be comfortable with uniform convergence and integrals over infinite intervals.
Why are there so few formulas for solutions?
Explicit solutions exist for linear equations with constant coefficients on simple domains. Almost everything else (curved domains, variable coefficients, nonlinear terms) has none, so the modern subject proves that a solution exists and estimates its size and smoothness without ever writing it down.
How does this course lead to the Navier-Stokes problem?
The Navier-Stokes equations are a heat equation for the velocity with a transport term and a pressure that is found from a Poisson equation. Reading the Millennium problem needs energy estimates, weak solutions, Sobolev spaces, local existence with a blow-up criterion, and the scaling argument that explains why three dimensions is hard. The last six lessons build those.
What do elliptic, parabolic and hyperbolic mean?
Elliptic equations (Laplace) describe equilibrium and smooth everything; parabolic equations (heat) describe diffusion forward in time; hyperbolic equations (waves) carry signals at finite speed and keep their sharp edges. The type decides which data make a sensible problem.
Oge Partial Differential Equations
What a PDE is, and how to classify oneFirst-order linear equations and characteristicsNonlinear first-order equations and shocksThe heat equation: where it comes fromSeparation of variablesFourier series: coefficients, convergence and ParsevalThe heat equation on an intervalThe wave equation and d'Alembert's formulaThe vibrating string: modes and energyLaplace's equation and harmonic functionsMaximum principles and uniquenessGreen's functions and the fundamental solutionThe Fourier transform and the heat kernelEnergy methods: uniqueness, stability and decay