Locating the peaks of solutions via the maximum principle II: A local version of the method of moving planes

Let Ω be a bounded, smooth domain in ?²ⁿ, n ≥ 2. The well‐known Moser‐Trudinger inequality ensures the nonlinear functional J_ρ(u) is bounded from below if and only if ρ ≤ ρ_2n := 2²ⁿn!(n ? 1)!ω_2n, where in , and ω_2n is the area of the unit sphere ??^{2n ? 1} in ?²ⁿ. In this paper, we prove the inf_u∈X J_ρ(u) is always attained for ρ ≤ ρ_2n. The existence of minimizers of J_ρ at the critical value ρ = ρ_2n is a delicate problem. The proof depends on the blowup analysis for a sequence of bubbling solutions. Here we develop a local version of the method of moving planes to exclude the boundary bubbling. The existence of minimizers for J_ρ at the critical value ρ = ρ_2n is in contrast to the case of two dimensions. © 2003 Wiley Periodicals, Inc.     

The Complexity of Two-Point Boundary-Value Problems with Analytic Data

Previous work on the complexity of elliptic boundary-value problems Lu = f assumed that class F of problem elements f was the unit ball of a Sobolev space. In this paper, we assume that F consists of analytic functions. To be specific, we consider the ϵ-complexity of a model two-point boundary-value problem −u″ + u = f in I = (−1, 1) with natural boundary conditions u′(−1) = u′(1) = 0, and the class F consists of analytic functions f bounded by 1 on a disk of radius ρ ≥ 1 centered at the origin. We find that if ρ > 1, then the ϵ-complexity is Θ(ln(ϵ⁻¹)) as ϵ → 0, and there is a finite element p-method (in the sense of Babuška) whose cost is optimal to within a constant factor. If ρ = 1, we find that the ϵ-complexity is Θ(ln²(ϵ⁻¹)) as ϵ → 0, and there is a finite element (h, p)-method whose cost is optimal to within a constant factor.     

Young‐measure solutions to a generalized Benjamin–Bona–Mahony equation

We consider the evolution of microstructure under the dynamics of the generalized Benjamin–Bona–Mahony equation (1) with u: ?² → ?. If we model the initial microstructure by a sequence of spatially faster and faster oscillating classical initial data vⁿ, we obtain a sequence of spatially highly oscillatory classical solutions uⁿ. By considering the Young measures (YMs) ν and µ generated by the sequences vⁿ and uⁿ, respectively, as n → ∞, we derive a macroscopic evolution equation for the YM solution µ, and show exemplarily how such a measure‐valued equation can be exploited in order to obtain classical evolution equations for effective (macroscopic) quantities of the microstructure for suitable initial data vⁿ and non‐linearities f. Copyright © 2005 John Wiley & Sons, Ltd.     

Regular and self-similar solutions of nonlinear Schrödinger equations

We study the Cauchy problem for the nonlinear Schrödinger equations with nonlinear term |u|^ou. For some admissible α we show the existence of global solutions and we calculate the regularity of those solutions. Also we give some necessary conditions and some sufficient conditions on initial data for the existence of self-similar solutions.     

Finite Time Blow-up for a Non-linear Parabolic Equation with a Gradient Term and Applications

We give new finite time blow-up results for the non-linear parabolic equations u_t−Δu = u^p and u_t−Δu+μ∣∇u∣^q = u^p. We first establish an a priori bound in L^p+1 for the positive non-decreasing global solutions. As a consequence, we prove in particular that for the second equation on ℝ^N, with q = 2p/(p+1) and small μ>0, blow-up can occur for any N≥1, p>1, (N−2)p<N+2 and without energy restriction on the initial data. Incidentally, we present a simple model in population dynamics involving this equation.     

Computing Schrödinger propagators on Type-2 Turing machines

We study Turing computability of the solution operators of the initial-value problems for the linear Schrödinger equation u_t=iΔu+φ and the nonlinear Schrödinger equation of the form iu_t=-Δu+mu+|u|²u. We prove that the solution operators are computable if the initial data are Sobolev functions but noncomputable in the linear case if the initial data are L^p-functions and p≠2. The computations are performed on Type-2 Turing machines.     

Blow Up in a Nonlinearly Damped Wave Equation

In this paper we consider the nonlinearly damped semilinear wave equation u_tt – Δu + au_t |u_t|^{m – 2} = bu|u|^{p – 2} associated with initial and Dirichlet boundary conditions. We prove that any strong solution, with negative initial energy, blows up in finite time if p > m. This result improves an earlier one in [2].     

Steady compressible Navier–Stokes equations with large potential forces via a method of decomposition

We investigate the steady compressible Navier–Stokes equations near the equilibrium state v = 0, ρ = ρ₀ (v the velocity, ρ the density) corresponding to a large potential force. We introduce a method of decomposition for such equations: the velocity field v is split into a non-homogeneous incompressible part u (div (ρ₀u) = (0) and a compressible (irrotational) part ∇ϕ. In such a way, the original complicated mixed elliptic–hyperbolic system is split into several ‘standard’ equations: a Stokes-type system for u, a Poisson-type equation for ϕ and a transport equation for the perturbation of the density σ = ρ − ρ₀. For ρ₀ = const. (zero potential forces), the method coincides with the decomposition of Novotny and Padula [21]. To underline the advantages of the present approach, we give, as an example, a ‘simple’ proof of the existence of isothermal flows in bounded domains with no-slip boundary conditions. The approach is applicable, with some modifications, to more complicated geometries and to more complicated boundary conditions as we will show in forthcoming papers. © 1998 B.G. Teubner Stuttgart–John Wiley & Sons Ltd.     

Two‐dimensional chemotaxis models with fractional diffusion

In this paper we study the Cauchy problem for the fractional diffusion equation u_t + (?Δ)^α/2u=?·(u?(Δ^?1u)), generalizing the Keller–Segel model of chemotaxis, for the initial data u₀ in critical Besov spaces ?(?²) with r∈[1, ∞], where 1<α<2. Making use of some estimates of the linear dissipative equation in the frame of mixed time–space spaces, the Chemin ‘mono‐norm method,’ Fourier localization technique and the Littlewood–Paley theory, we obtain a local well‐posedness result. We also consider analogous ‘doubly parabolic’ models. Copyright © 2008 John Wiley & Sons, Ltd.     

Global strong solutions and time decay of 2D tropical climate model with zero thermal diffusion

The global small solutions of the tropical climate model are obtained with the fractional dissipative terms Λ^αu in the equation of the barotropic mode u and Λ^αv in the equation of the first baroclinic mode v. More precisely, we prove for 1<α ≤ 2 that the couple system has global unique strong solutions for small initial data with critical regularities. Moreover, the smallness assumption imposed on the initial barotropic mode of the velocity can be removed if α=2. We also study the large time behavior of the constructed solutions and obtain optimal time decay rates by a pure energy argument.     

Monte-Carlo approximations for 2d Navier-Stokes equations with measure initial data

We are interested in proving Monte-Carlo approximations for 2d Navier-Stokes equations with initial data u ₀ belonging to the Lorentz space L ^2,∞ and such that curl u ₀ is a finite measure. Giga, Miyakawaand Osada [7] proved that a solution u exists and that u=K* curl u, where K is the Biot-Savartkernel and v = curl u is solution of a nonlinear equation in dimension one, called the vortex equation. In this paper, we approximate a solution v of this vortex equationby a stochastic interacting particlesystem and deduce a Monte-Carlo approximation for a solution of the Navier-Stokesequation. That gives in this case a pathwise proofof the vortex algorithm introducedby Chorin and consequently generalizes the works ofMarchioro-Pulvirenti [12] and Méléardv [15] obtained in the case of a vortex equation with bounded density initial data. Received: 6 October 1999 / Revised version: 15 September 2000 / Published online: 9 October 2001     

Approximate solution of u′=–A2u using a relation between exp(–tA2) and exp(itA)

Let A be a positive definite operator in a Hilbert space and consider the initial value problem for u _t =–A² u. Using a representation of the semi group exp(–A² t) in terms of the group exp(iAt) we express u in terms of the solution of the standard heat equation w _t = w _yy , with initial values v solving the initial value problem for v _y = iAv. This representation is used to construct a method for approximating u in terms of approximations of v. In the case that A is a 2^nd order elliptic operator the method is combined with finite elements in the spatial variable and then reduces the solution of the 4th order equation for u to that of the 2^nd order equation for v, followed by the solution of the heat equation in one space variable.     

Blow-up of solutions of nonlinear heat equations in unbounded domains for slowly decaying initial data

Consider the following equations: (E)  u_t-Du=u^p{(E)\ \ u_t-\Delta u=u^p}, (E￠)  u_t-Du=u^p-m | ?u | ^q{(E')\ \ u_t-\Delta u=u^p-\mu\mid\nabla u\mid^q}, (E")  u_t-Du=u^p+a.?(u^q){(E')\ \ u_t-\Delta u=u^p+a.\nabla (u^q)}, in W ì IR^d{\Omega\subset I\!\!R^d}. For any unbounded domain W\Omega, intermediate between a cone and a strip, we obtain a sufficient condition on the decay at infinity of initial data to have blow-up. This condition is related to the geometric nature of W{\Omega}. For instance, if W\Omega is the interior of a revolution surface of the form | x￠_d | < f( | x_d | ){\mid x'_d\mid (x) > Cf( | x | )^-2/(p-1){\Phi (x)>Cf(\mid x\mid )^{-2/(p-1)}} at infinity. Moreover, for a large class of domains W{\Omega}, we prove that those results are optimal (i.e. there exist global solutions with the same order of decay at infinity for their initial data).     

Existence theorem and blow-up criterion of the strong solutions to the magneto-micropolar fluid equations

In this paper we study the magneto-micropolar fluid equations in ℝ³, prove the existence of the strong solution with initial data in H^s(ℝ³) for , and set up its blow-up criterion. The tool we mainly use is Littlewood–Paley decomposition, by which we obtain a Beale–Kato–Majda-type blow-up criterion for smooth solution (u, ω, b) that relies on the vorticity of velocity ∇ × u only. Copyright © 2007 John Wiley & Sons, Ltd.     

Continuation of blowup solutions of nonlinear heat equations in several space dimensions

The possible continuation of solutions of the nonlinear heat equation in R^N × R₊ u_t = Δu^m + u^p with m > 0, p > 1, after the blowup time is studied and the different continuation modes are discussed in terms of the exponents m and p. Thus, for m + p ≤ 2 we find a phenomenon of nontrivial continuation where the region {x : u(x, t) = ∞} is bounded and propagates with finite speed. This we call incomplete blowup. For N ≥ 3 and p > m(N + 2)/(N − 2) we find solutions that blow up at finite t = T and then become bounded again for t > T. Otherwise, we find that blowup is complete for a wide class of initial data. In the analysis of the behavior for large p, a list of critical exponents appears whose role is described. We also discuss a number of related problems and equations. We apply the same technique of analysis to the problem of continuation after the onset of extinction, for example, for the equation u_t = Δu^m − u^p, m > 0. We find that no continuation exists if p + m ≤ 0 (complete extinction), and there exists a nontrivial continuation if p + m > 0 (incomplete extinction). © 1997 John Wiley & Sons, Inc.     

The Crank‐Nicolson/Adams‐Bashforth scheme for the time‐dependent Navier‐Stokes equations with nonsmooth initial data

In this article, we study the stability and convergence of the Crank‐Nicolson/Adams‐Bashforth scheme for the two‐dimensional nonstationary Navier‐Stokes equations with a nonsmooth initial data. A finite element method is applied for the spatial approximation of the velocity and pressure. The time discretization is based on the implicit Crank‐Nicolson scheme for the linear terms and the explicit Adams‐Bashforth scheme for the nonlinear term. Moreover, we prove that the scheme is almost unconditionally stable for a nonsmooth initial data u₀ with div u₀ = 0, i.e., the time step τ satisfies: τ ≤ C₀ if u₀ ∈ H¹ ∩ L^∞; τ |log h| ≤ C₀ if u₀ ∈ H¹ for the mesh size h and some positive constant C₀. Finally, we obtain some error estimates for the discrete velocity and pressure under the above stability condition. © 2010 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 28: 155‐187, 2012     

The Cauchy Problem for Defocusing Nonlinear Schrödinger Equations with Non-Vanishing Initial Data at Infinity

For rather general nonlinearities, we prove that defocusing nonlinear Schrödinger equations in ? ⁿ (n ≤ 4), with non-vanishing initial data at infinity u ₀, are globally well-posed in u ₀ + H ¹. The same result holds in an exterior domain in ? ⁿ , n = 2, 3.     

On the decay and stability of global solutions to the 3‐D inhomogeneous Navier‐Stokes equations

In this paper, we investigate the large‐time decay and stability to any given global smooth solutions of the 3‐D incompressible inhomogeneous Navier‐Stokes equations. In particular, we prove that given any global smooth solution (a,u) of (1.2), the velocity field u decays to 0 with an explicit rate, which coincides with the L² norm decay for the weak solutions of the 3‐D classical Navier‐Stokes system [26,29] as t goes to ∞. Moreover, a small perturbation to the initial data of (a,u) still generates a unique global smooth solution to (1.2), and this solution keeps close to the reference solution (a,u) for t > 0. We should point out that the main results in this paper work for large solutions of (1.2). © 2010 Wiley Periodicals, Inc.     

Asymptotic behaviour of nonlinear parabolic equations with critical exponents. A dynamical systems approach

We investigate the large-time behaviour of solutions to the nonlinear heat-conduction equation with absorption u_t = Δ(u^{σ + 1}) − u^β in Q = R^N × (0, ∞) (E) with N 1, σ > 0 and critical absorption exponent β = σ + 1 + 2/N; the initial function u(x, 0) = 0 is assumed to be integrable, nonnegative and compactly supported. We prove that u converges as t → ∞ to a unique self-similar function which is a contracted version of one of the asymptotic profiles of the nonabsorptive problem u_t = Δ(u^{σ + 1}), the same for any initial data. The cornerstone of the proof is a result about ω-limits of (infinite-dimensional) asymptotical dynamical systems. Combining this result with an asymptotic evaluation of the mass function as well as typical PDE estimates gives the behaviour of (E) for large times.Similar unusual asymptotic behaviour is obtained for the equation u_t = div(¦Du¦^σ Du) − u^β with same conditions on σ and u(x, 0) and critical value for β = σ + 1 + (σ + 2)/N.     

<Emphasis Type="Italic">L</Emphasis><Superscript>∞</Superscript> Estimates of solution for <Emphasis Type="Italic">m</Emphasis>-Laplacian parabolic equation with a nonlocal term

In this paper, we consider the global existence, uniqueness and L ^∞ estimates of weak solutions to quasilinear parabolic equation of m-Laplacian type u _t − div(|∇u| ^m−2∇u) = u|u| ^β−1 ∫_Ω |u| ^α dx in Ω × (0,∞) with zero Dirichlet boundary condition in tdΩ. Further, we obtain the L ^∞ estimate of the solution u(t) and ∇u(t) for t > 0 with the initial data u ₀ ∈ L ^q (Ω) (q > 1), and the case α + β < m − 1.