A Liouville theorem for the axially-symmetric Navier-Stokes equations

Let v(x,t)=vrer+vθeθ+vzez be a solution to the three-dimensional incompressible axially-symmetric Navier-Stokes equations. Denote by b=vrer+vzez the radial-axial vector field. Under a general scaling invariant condition on b, we prove that the quantity Γ=rvθ is Hölder continuous at r=0, t=0. As an application, we prove that the ancient weak solutions of axi-symmetric Navier-Stokes equations must be zero (which was raised by Koch, Nadirashvili, Seregin and Sverak (2009) in [15] and Seregin and Sverak (2009) in [26] as a conjecture) under the condition that b∈L^∞([0,T],BMO−1). As another application, we prove that if b∈L^∞([0,T],BMO−1), then v is regular.     

Stability interval for explicit difference schemes for multi-dimensional second-order hyperbolic equations with significant first-order space derivative terms

In this piece of work, we introduce a new idea and obtain stability interval for explicit difference schemes of O(k²+h²) for one, two and three space dimensional second-order hyperbolic equations u_tt=a(x,t)u_xx+α(x,t)u_x-2η²(x,t)u,u_tt=a(x,y,t)u_xx+b(x,y,t)u_yy+α(x,y,t)u_x+β(x,y,t)u_y-2η²(x,y,t)u, and u_tt=a(x,y,z,t)u_xx+b(x,y,z,t)u_yy+c(x,y,z,t)u_zz+α(x,y,z,t)u_x+β(x,y,z,t)u_y+γ(x,y,z,t)u_z-2η²(x,y,z,t)u,0<x,y,z<1,t>0 subject to appropriate initial and Dirichlet boundary conditions, where h>0 and k>0 are grid sizes in space and time coordinates, respectively. A new idea is also introduced to obtain explicit difference schemes of O(k²) in order to obtain numerical solution of u at first time step in a different manner.     

On the regularity of the axially symmetric solutions to the three‐dimensional MHD equations

We present the improved three‐dimensional axially symmetric incompressible magnetohydrodynamics (MHD) equations with nonzero swirl. We consider three kinds of smooth axially symmetric particular solutions to the MHD equations: (1) u^θ=0,B^r=B^z=0, (2) B^r=B^z=0, and (3) B^θ=0. In particular, we derive new regularity criteria for these three kinds of the three‐dimensional axially symmetric smooth solutions to the MHD equations. Our results also reveal some interesting dynamic behavior of the interaction by the angular vorticity field ω^θ and the angular current density field j^θ. Copyright © 2016 John Wiley & Sons, Ltd.     

Control of the thermoelastic model of a plate activated by shape memory alloy reinforcements

In the paper we study the problem of control by means of a heat source g for a thermoelastic system of equations u_tt − ρ∇· p (θ, ∇u) − νΔu_t + DΔ² u = f, c_v(θ, ∇u)θ_t − κΔθ − ρθ[ p _θ (θ, ∇u)·∇u_t] − ν∣∇u_t∣² = g, in a two-dimensional domain, where both viscosity ν and rigidity D are positive. Such a system has been considered in our former papers, and existence of solutions as well as uniqueness have been obtained. Here we prove the continuity and differentiability of solutions under somewhat stronger assumptions. An example of a control problem and necessary optimality conditions are presented. The system has an interpretation as a plate reinforced with shape memory alloy (SMA) wire mesh. © 1998 B. G. Teubner Stuttgart–John Wiley & Sons Ltd.     

Multidimensional Oscillations for Non-linear Hyperbolic Mixed Problem: The Justified Non-linear Geometric Optics Method

The mixed-Neumann problem for the non-linear wave equation □u−a(u)(∣∂_tu)∣²−∣∇u∣² = f_ε(z) is studied. The function f_ε(z) = ∑_k∈Kf_k(z,ε⁻¹ϕ_k(z),ε), ε∈[0,1], K is finite, f_k(z,θ_k,ε) are 2π-periodic with respect to θ_k. The existence of solution u_ε on a domain z = (t,x,y)∈[0,T]×ℝ₊×ℝ^d, d = 1 or 2, is proved when ε is sufficiently small; T does not depend on ε. By the non-linear geometric optics method the asymptotic (with respect to ε→0) solution ũ _ε is constructed. The estimation for the rest ε²r_ε = u_ε−ũ_ε is derived and the limit r_ε, ε→0, is studied.     

The slow wave solution to the FitzHugh-Nagumo equations

This paper gives a new existence proof for a travelling wave solution to the FitzHugh-Nagumo equations, u_t = u_xx +f(u)?w, w _t = ? (u?γw). The proof uses a contraction mapping argument, and also shows that the solution (u, c, w) to the travelling wave equations, where c is the wave speed, converges as ? → 0⁺ to the solution to the equations having ?=0, c=0, and w=0.     

Strongly Singular Sturm – Liouville Problems

We consider a Sturm – Liouville operator Lu = —(r(t)u′)′ + p (t)u , where r is a (strictly) positive continuous function on ]a, b [ and p is locally integrable on ]a, b[. Let r₁(t) = (1/r) ds andchoose any c ∈]a, b[. We are interested in the eigenvalue problem Lu = λm(t)u, u (a) = u (b) = 0,and the corresponding maximal and anti .maximal principles, in the situation when 1/r ∈ L¹ (a, c),1 /r ∉ L¹ (c, b), pr₁ ∉ L¹ (a, c) and pr₁ ∉ L¹(c, b).     

Global existence,asymptotic behaviour,and global non‐existence of solutions for damped non‐linear wave equations of Kirchhoff type in the whole space

We study the global existence, asymptotic behaviour, and global non‐existence (blow‐up) of solutions for the damped non‐linear wave equation of Kirchhoff type in the whole space: u_tt+u_t=(a+b∥∇u∥^2γ)Δu+∣u∣^αu in ℝ^N×ℝ₊ for a, b⩾0, a+b>0, γ⩾1, and α>0, with initial data u(x, 0)=u₀(x) and u_t(x, 0)=u₁(x). Copyright © 2000 John Wiley & Sons, Ltd.     

On the Propagation of Regularity and Decay of Solutions to the k-Generalized Korteweg-de Vries Equation

We study special regularity and decay properties of solutions to the IVP associated to the k-generalized KdV equations. In particular, for datum u ₀ ∈ H ^3/4+ (?) whose restriction belongs to H ^l ((b, ∞)) for some l ∈ ?⁺ and b ∈ ? we prove that the restriction of the corresponding solution u(·, t) belongs to H ^l ((β, ∞)) for any β ∈ ? and any t ∈ (0, T). Thus, this type of regularity propagates with infinite speed to its left as time evolves.     

Bäcklund Transformations and Inverse Scattering Solutions for Some Pseudospherical Surface Equations

In is known that the equations [u_t ? g(u)u_x]x = ±g′(u) describe pseudo-spherical surfaces, i.e. that these equations are the integrability conditions for the structural equations of such surfaces, provided g satisfies g′ + µg = θ. In this paper we obtain self-Bäcklund transformations for these equations by a geometric method, and show how the inverse scattering method generates global solutions.     

U(1)-invariant special Lagrangian 3-folds. II. Existence of singular solutions

This is the second of three papers studying special Lagrangian 3-submanifolds (SLV 3-folds) N in invariant under the U(1)-action e^iθ:(z₁,z₂,z₃)?(e^iθz₁,e^−iθz₂,z₃), using analytic methods. If N is such a 3-fold then |z₁|²−|z₂|²=2a on N for some . Locally, N can be written as a kind of graph of functions satisfying a nonlinear Cauchy-Riemann equation depending on a, so that u+iv is like a holomorphic function of x+iy.The first paper studied the case when a is nonzero. Then u,v are smooth and N is nonsingular. It proved existence and uniqueness for solutions of two Dirichlet problems derived from the equations on u,v. This implied existence and uniqueness for a large class of nonsingular U(1)-invariant SL 3-folds in , with boundary conditions.In this paper and its sequel we focus on the case a=0. Then the nonlinear Cauchy-Riemann equation is not always elliptic. Because of this there may be points (x,0) where u,v are not differentiable, corresponding to singular points of N. This paper is concerned largely with technical analytic issues, and the sequel with the geometry of the singularities of N. We prove a priori estimates for derivatives of solutions of the nonlinear Cauchy-Riemann equation, and use them to show existence and uniqueness of weak solutions u,v to the two Dirichlet problems when a=0, which are continuous and weakly differentiable. This gives existence and uniqueness for a large class of singular U(1)-invariant SL 3-folds in , with boundary conditions.     

一类高阶整函数系数微分方程解的增长级、下级与超级

该文研究了一类高阶整函数系数微分方程解的增长性,对方程f~(k)+A_(k-1)(z)e~(ak-1z).f~(k-1)+…+A_0(z)e~(a0z)f=0与方程f~(k)+(A_(k-1)(z)e~(ak-1z)+D_(k-1)(z))f~(k-1)+…+(A_0(z)e~(a0z)+D_0(z))f=0中a_j(0≤j≤k-1)幅角主值不全相等的情形,得到了解的增长级、下级与超级的精确估计.     

A reverse Denjoy theorem II

For α satisfying 0 < α < π, suppose that C ₁ and C ₂ are rays from the origin, C ₁: z = re ^i(π−α) and C ₂: z = re ^i(π+α), r ≥ 0, and that D = {z: | arg z − π| < α}. Let u be a nonconstant subharmonic function in the plane and define B(r, u) = sup_|z|=r u(z) and A _D (r, u) = $ \inf _{z \in \bar D_r } $ \inf _{z \in \bar D_r } u(z), where D _r = {z: z ∈ D and |z| = r}. If u(z) = (1 + o(1))B(|z|, u) as z → ∞ on C ₁ ∪ C ₂ and A _D (r, u) = o(B(r, u)) as r → ∞, then the lower order of u is at least π/(2α).     

Gradient estimates and Harnack inequalities for nonlinear parabolic and nonlinear elliptic equations on Riemannian manifolds

We derive the gradient estimates and Harnack inequalities for positive solutions of nonlinear parabolic and nonlinear elliptic equations (Δ − ∂/∂t) u(x, t) + h(x, t)u^α(x, t) = 0 and Δu + b · u + hu^α = 0 on Riemannian manifolds. We also obtain a theorem of Liouville type for positive solutions of the nonlinear elliptic equation.     

Time‐weighted blow‐up rates and pointwise profile for single‐point blow‐up solutions in reaction–diffusion equations

This paper deals with asymptotic behavior for blow‐up solutions to time‐weighted reaction–diffusion equations u_t=Δu+e^αtv^p and v_t=Δv+e^βtu^q, subject to homogeneous Dirichlet boundary. The time‐weighted blow‐up rates are defined and obtained by ways of the scaling or auxiliary‐function methods for all α, . Aiding by key inequalities between components of solutions, we give lower pointwise blow‐up profiles for single‐point blow‐up solutions. We also study the solutions of the system with variable exponents instead of constant ones, where blow‐up rates and new blow‐up versus global existence criteria are obtained. Time‐weighted functions influence critical Fujita exponent, critical Fujita coefficient and formulae of blow‐up rates, but they do not limit the order of time‐weighted blow‐up rates and pointwise profile near blow‐up time. Copyright © 2017 John Wiley & Sons, Ltd.     

On the existence of shock fronts for a Burgers equation with a singular source term

In this paper we consider the Cauchy problem for the equation ∂u/∂t + u ∂u/∂x + u/x = 0 for x > 0, t ⩾ 0, with u(x, 0) = u⁰₋(x) for x < x₀, u(x, 0) = u⁰₊(x) for x > x₀, u⁰₋(x₀) > u⁰₊(x₀). Following the ideas of Majda, 1984 and Lax, 1973, we construct, for smooth u⁰₋ and u⁰₊, a global shock front weak solution u(x, t) = u₋(x, t) for x < ϕ(t), u(x, t) = u₊(x, t) for x > ϕ(t), where u₋ and u₊ are the strong solutions corresponding (respectively) to u⁰₋ and u⁰₊ and the curve t → ϕ(t) is defined by dϕ/dt (t) = 1/2[u₋(ϕ(t), t) + u₊(ϕ(t), t)], t ⩾ 0 and ϕ(0) = x₀. © 1998 B. G. Teubner Stuttgart—John Wiley & Sons, Ltd.     

Lower Bounds on the Blow-Up Rate of the Axisymmetric Navier–Stokes Equations II

Consider axisymmetric strong solutions of the incompressible Navier–Stokes equations in ?³ with non-trivial swirl. Let z denote the axis of symmetry and r measure the distance to the z-axis. Suppose the solution satisfies, for some 0 ≤ ε ≤ 1, |v (x, t)| ≤ C _? r ^?1+ε |t|^?ε/2 for ? T ₀ ≤ t < 0 and 0 < C _? < ∞ allowed to be large. We prove that v is regular at time zero.     

On a fractional partial differential equation with dominating linear part

It is proved that there is a (weak) solution of the equation u_t=a*u_xx+b*g(u_x)_x+f, on ℝ⁺ (where * denotes convolution over (−∞, t)) such that u_x is locally bounded. Emphasis is put on having the assumptions on the initial conditions as weak as possible. The kernels a and b are completely monotone and if a(t)=t^−α, b(t)=t^−β, and g(ξ)∼sign(ξ)∣ξ∣^γ for large ξ, then the main assumption is that α>(2γ+2)/(3γ+1)β+(2γ−2)/(3γ+1). © 1997 by B. G. Teubner Stuttgart–John Wiley & Sons Ltd.     

The blow-up rate for a system of heat equations with neumann boundary conditions

This paper deals with the blow-up properties of solutions to a system of heat equations u _t=Δu, v _t=Δv in B _R×(0, T) with the Neumann boundary conditions εu/εη=e ^v, εv/εη=e ^u on S _R×[0, T). The exact blow-up rates are established. It is also proved that the blow-up will occur only on the boundary. This work is supported by the National Natural Science Foundation of China     

Gradient bounds for the horizontal <Emphasis Type="Italic">p</Emphasis>-Laplacian on a Carnot group and some applications

In a Carnot group we prove a new priori bound for the right-invariant horizontal gradient of smooth solutions of a class of quasilinear equations which are modeled on the so-called horizontal p-Laplacian. Exploiting such bound and a regularization procedure based on difference quotients we obtain the C^1,a_loc{C^{1,\alpha}_{loc}} regularity of weak solutions which possess some special symmetries. For instance, in the first Heisenberg group \mathbbH¹{\mathbb{H}^{1}} we obtain such regularity for all weak solutions of the horizontal p-Laplacian, with p ≥ 2, which are of the form u(z, t) = u(|z|, t).