Continuous dependence on obstacles for the double obstacle problem on metric spaces

Let X be a complete metric space equipped with a doubling Borel measure supporting a p-Poincaré inequality. We obtain various convergence results for solutions of double obstacle problems on open subsets of X. In particular, we consider a sequence of double obstacle problems with converging obstacles and show that the corresponding solutions converge as well. We use the convergence properties to define and study a generalized solution of the double obstacle problem.     

Monotonicity of solutions of Fully nonlinear uniformly elliptic equations in the half-plane

In this paper we study the monotonicity of positive (or non-negative) viscosity solutions to uniformly elliptic equations F(∇u,D²u)=f(u) in the half plane, where f is locally Lipschitz continuous (with f(0)?0) and zero Dirichlet boundary conditions are imposed. The result is obtained without assuming the u or |∇u| are bounded.     

Boundary estimates for solutions to operators of p-Laplace type with lower order terms

In this paper we study the boundary behavior of solutions to equations of the form

∇⋅A(x,∇u)+B(x,∇u)=0,     

Continuity in two dimensions for a very degenerate elliptic equation

An elliptic equation ∇⋅(F(∇u))=f whose ellipticity strongly degenerates for small values of ∇u (say, F=0 on B(0,1)) is considered. The aim is to prove regularity for F(∇u). The paper proves a continuity result in dimension 2 and presents some applications.     

Verified computation of solutions for obstacle problems with guaranteed L∞ error bound

In this paper, we consider a numerical enclosure method with guaranteed L^∞ error bound for the solutions of obstacle problems. Using the finite-element approximations and the explicit a priori error estimates for obstacle problems, we present an effective verification procedure that automatically generates on a computer a set which includes the exact solution. A particular emphasis is that our method needs no assumption of the existence of the solution of the original obstacle problems, but it follows as the result of computation itself. A numerical example for an obstacle problem is presented.     

Existence and asymptotic behavior of solutions to a nonlinear parabolic equation of fourth order

This paper is devoted to studying the existence and asymptotic behavior of solutions to a nonlinear parabolic equation of fourth order: ut+∇⋅(|∇Δu|^p−2∇Δu)=f(u) in Ω⊂RN with boundary condition u=Δu=0 and initial data u₀. The substantial difficulty is that the general maximum principle does not hold for it. The solutions are obtained for both the steady-state case and the developing case by the fixed point theorem and the semi-discretization method. Unlike the general procedures used in the previous papers on the subject, we introduce two families of approximate solutions with determining the uniform bounds of derivatives with respect to the time and space variables, respectively. By a compactness argument with necessary estimates, we show that the two approximation sequences converge to the same limit, i.e., the solution to be determined. In addition, the decays of solutions towards the constant steady states are established via the entropy method. Finally, it is interesting to observe that the solutions just tend to the initial data u₀ as p→∞.     

A priori estimate for a quasilinear problem depending on the gradient

The main purpose of this paper is to establish a priori estimate for positive solutions of some superlinear, quasilinear elliptic equations where the nonlinearity depends on x, u, and ∇u. Our argument does not need a non-existence result for the limit problem obtained by the usual blow-up procedure. This work is related to a previous one by Ruiz (2004) [9].     

Elliptic systems with measurable coefficients of the type of Lamé system in three dimensions

We study the 3×3 elliptic systems ∇(a(x)∇×u)−∇(b(x)∇⋅u)=f, where the coefficients a(x) and b(x) are positive scalar functions that are measurable and bounded away from zero and infinity. We prove that weak solutions of the above system are Hölder continuous under some minimal conditions on the inhomogeneous term f. We also present some applications and discuss several related topics including estimates of the Green?s functions and the heat kernels of the above systems.     

Hardy spaces of the conjugate Beltrami equation

We study Hardy spaces of solutions to the conjugate Beltrami equation with Lipschitz coefficient on Dini-smooth simply connected planar domains, in the range of exponents 1<p<∞. We analyse their boundary behaviour and certain density properties of their traces. We derive on the way an analog of the Fatou theorem for the Dirichlet and Neumann problems associated with the equation div(σ∇u)=0 with Lp boundary data.     

Study of weak solutions for parabolic equations with nonstandard growth conditions

The authors of this paper study the existence and uniqueness of weak solutions of the initial and boundary value problem for ut=div((uσ+d₀)|∇u|^p(x,t)−2∇u)+f(x,t). Localization property of weak solutions is also discussed.     

Some properties of the operators of potential theory and their application to the investigation of the basic equation of electrostatics and magnetostatics

Some new properties are proved for the operatorB ^* of the direct value of the potential of a double layer on a closed surfaceS=?ω, in particular the existence inH ^1/2(S) of a basis of eigenfunctions. On the basis of these properties it is proved that the vector integral equation $$\alpha {\rm M}(x) + \nabla \int\limits_\Omega {M(y)} \nabla _y |x - y|dy = H(x), \alpha \geqslant 0,\Omega \subset R^3 ,$$ which is encountered in classical problems of electro- and magnetostatics, is equivalent to the well-known scalar equation with operatorB ^*. The properties of the operator on the left-hand side and of the solutions of the vector equation are investigated.     

Positive solutions of quasilinear elliptic inequalities on noncompact Riemannian manifolds

In this paper, we consider the generalized solutions of the inequality $$ - div(A(x,u,\nabla u)\nabla u) \geqslant F(x,u,\nabla u)u^q , q > 1,$$ on noncompact Riemannian manifolds. We obtain sufficient conditions for the validity of Liouville’s theorem on the triviality of the positive solutions of the inequality under consideration. We also obtain sharp conditions for the existence of a positive solution of the inequality ? Δu ≥ u ^q, q > 1, on spherically symmetric noncompact Riemannian manifolds.     

双障碍问题中梯度的局部和全局可积性

本文研究形如△·Ap(x,u,△u)=0的二阶拟线性椭圆方程的双障碍问题,获得了双障碍问题中解的梯度的局部和全局可积性,这些结果可用于证明双障碍问题解的稳定性.     

Asymptotic spreading in heterogeneous diffusive excitable media

We establish propagation and spreading properties for nonnegative solutions of nonhomogeneous reaction-diffusion equations of the type:

t_∂u−∇⋅(A(t,x)∇u)+q(t,x)⋅∇u=f(t,x,u)     

Similarity stabilizes blow up

The blow-up of solutions to the PDE ψ(x)u_t=[∇·A(x)∇+b(x)]u^m is studied via energy methods. The key step is a similarity transformation of the original unstable equation to a nonlocal stable one.     

Existence of entire explosive positive radial solutions for a class of quasilinear elliptic systems

We show the existence of entire explosive positive radial solutions for quasilinear elliptic systems div(|∇u|^m−2∇u)=p(|x|)g(v), div(|∇v|ⁿ⁻²∇v)=q(|x|)f(u) on , where f and g are positive and non-decreasing functions on (0,∞) satisfying the Keller-Osserman condition.     

A note on the regularity criteria for the Navier-Stokes equations

We consider the regularity problem for 3D Navier-Stokes equations in a bounded domain with smooth boundary. A new sufficient condition which guarantees the regularity of weak solutions on the quotient ∇p/(1+|u|^δ₁+|∇u|^δ₂) for the Navier-Stokes equations is established.     

Holomorphic spectral geometry of magnetic Schrödinger operators on Riemann surfaces

We study magnetic Schrödinger operators on line bundles over Riemann surfaces endowed with metrics of constant curvature. We show that for harmonic magnetic fields the spectral geometry of these operators is completely determined by the Bochner Laplacians of the line bundles. Therefore we are led to examine the spectral problem for the Bochner Laplacian ∇^∗∇ of a Hermitian line bundle L with connection ∇ over a Riemann surface S. This spectral problem is analyzed in terms of the natural holomorphic structure on L defined by the Cauchy-Riemann operator associated with ∇. By means of an elliptic chain of line bundles obtained by twisting L with the powers of the canonical bundle we prove that there exists a certain subset of the spectrum σhol(∇^∗∇) such that the eigensections associated with λ∈σhol(∇^∗∇) are given by the holomorphic sections of a certain line bundle of the elliptic chain. For genus p=0,1 we prove that σhol(∇^∗∇) is the whole spectrum, whereas for genus p>1 we get a finite number of eigenvalues.     

Regularity results for a class of obstacle problems in Heisenberg groups

We study regularity results for solutions u ∈ HW ^1,p (Ω) to the obstacle problem $$\int_\Omega \mathcal{A} \left( {x,\nabla _{\mathbb{H}^u } } \right)\nabla _\mathbb{H} \left( {v - u} \right)dx \geqslant 0 \forall v \in \mathcal{K}_{\psi ,u} \left( \Omega \right)$$ such that u ? ψ a.e. in Ω, where $xxx$ , in Heisenberg groups ? ⁿ . In particular, we obtain weak differentiability in the T-direction and horizontal estimates of Calderon-Zygmund type, i.e. $$\begin{gathered} T\psi \in HW_{loc}^{1,p} \left( \Omega \right) \Rightarrow Tu \in L_{loc}^p \left( \Omega \right), \hfill \\ \left| {\nabla _{\mathbb{H}\psi } } \right|^p \in L_{loc}^q \left( \Omega \right) \Rightarrow \left| {\nabla _{\mathbb{H}^u } } \right|^p \in L_{loc}^q \left( \Omega \right), \hfill \\ \end{gathered}$$ where 2 < p < 4, q > 1.