Existence of solutions to nonlinear, subcritical higher order elliptic Dirichlet problems

We consider the 2m-th order elliptic boundary value problem Lu=f(x,u) on a bounded smooth domain Ω⊂RN with Dirichlet boundary conditions on ∂Ω. The operator L is a uniformly elliptic linear operator of order 2m whose principle part is of the form . We assume that f is superlinear at the origin and satisfies , , where are positive functions and q>1 is subcritical. By combining degree theory with new and recently established a priori estimates, we prove the existence of a nontrivial solution.     

A remark on Ricceri's conjecture for a class of nonlinear eigenvalue problems

Consider the eigenvalue problem : −Δu=λf(x,u) in Ω, u=0 on ∂Ω, where Ω is a bounded smooth domain in RN. Denote by the set of all Carathéodory functions f:Ω×R→R such that for a.e. x∈Ω, f(x,⋅) is Lipschitzian with Lipschitz constant L, f(x,0)=0 and , and denote by (resp. ) the set of λ>0 such that has at least one nonzero classical (resp. weak) solution. Let λ₁ be the first eigenvalue for the Laplacian-Dirichlet problem. We prove that and . Our result is a positive answer to Ricceri's conjecture if use f(x,u) instead of f(u) in the conjecture.     

Boundary behavior of large solutions to semilinear elliptic equations with nonlinear gradient terms

In this paper, we study the boundary behavior of solutions to boundary blow-up elliptic problems , where Ω is a bounded domain with smooth boundary in R^N, q>0, , which is positive in Ω and may be vanishing on the boundary and rapidly varying near the boundary, and f is rapidly varying or normalized regularly varying at infinity.     

Some properties of sharp Hessenberg pairs

Let F denote a field and let V denote a vector space over F with finite positive dimension. We consider an ordered pair of F-linear transformations A:V→V and A^∗:V→V that satisfy the following conditions: (i) each of A,A^∗ is diagonalizable on V; (ii) there exists an ordering of the eigenspaces of A such that A^∗V_i⊆V₀+V₁+?+V_i+1 for 0?i?d, where V_-1:=0 and V_d+1:=0; (iii) there exists an ordering of the eigenspaces of A^∗ such that for 0?i?δ, where and . We call such a pair a Hessenberg pair on V. It is known that if the Hessenberg pair A,A^∗ on V is irreducible then d=δ and for 0?i?d the dimensions of V_i and coincide. We say a Hessenberg pair A,A^∗ on V is sharp whenever it is irreducible and .In this paper, we give the definitions of a Hessenberg system and a sharp Hessenberg system. We discuss the connection between a Hessenberg pair and a Hessenberg system. We also define a finite sequence of scalars called the parameter array for a sharp Hessenberg system, which consists of the eigenvalue sequence, the dual eigenvalue sequence and the split sequence. We calculate the split sequence of a sharp Hessenberg system. We show that a sharp Hessenberg pair is a tridiagonal pair if and only if there exists a nonzero nondegenerate bilinear form on V that satisfies 〈Au,v〉=〈u,Av〉 and 〈A^∗u,v〉=〈u,A^∗v〉 for all u,v∈V.     

The Liouville equation in a half-plane

We classify the solutions of the equation Δu+aeu=0 in the half-plane that satisfy the Neumann boundary condition ∂u/∂t=ceu/2 on . An analogous problem in the once punctured disc D^∗⊂R² is also solved.     

The Brezis-Nirenberg problem near criticality in dimension 3

We consider the problem of finding positive solutions of Δu+λu+u^q=0 in a bounded, smooth domain Ω in , under zero Dirichlet boundary conditions. Here q is a number close to the critical exponent 5 and 0<λ<λ₁. We analyze the role of Green's function of Δ+λ in the presence of solutions exhibiting single and multiple bubbling behavior at one point of the domain when either q or λ are regarded as parameters. As a special case of our results, we find that if , where λ∗ is the Brezis-Nirenberg number, i.e., the smallest value of λ for which least energy solutions for q=5 exist, then this problem is solvable if q>5 and q−5 is sufficiently small.     

Adams' inequalities for bi-Laplacian and extremal functions in dimension four

Let Ω⊂R⁴ be a smooth oriented bounded domain, be the Sobolev space, and be the first eigenvalue of the bi-Laplacian operator Δ². Then for any α: 0?α<λ(Ω), we have

     

Pullback attractors for a class of non-autonomous nonclassical diffusion equations

We consider the first initial boundary value problem for the non-autonomous nonclassical diffusion equation u_t−εΔu_t−Δu+f(u)=g(t), ε∈[0,1], in a bounded domain in R^N. Under a Sobolev growth rate of the nonlinearity f and a suitable exponential growth of the external force g, using the asymptotic a priori estimate method, we prove the existence of pullback D-attractors in the space and the upper semicontinuity of at ε=0.     

A minimum problem with free boundary in Orlicz spaces

We consider the optimization problem of minimizing in the class of functions W1,G(Ω) with , for a given φ₀?0 and bounded. W1,G(Ω) is the class of weakly differentiable functions with . The conditions on the function G allow for a different behavior at 0 and at ∞. We prove that every solution u is locally Lipschitz continuous, that it is a solution to a free boundary problem and that the free boundary, Ω∩∂{u>0}, is a regular surface. Also, we introduce the notion of weak solution to the free boundary problem solved by the minimizers and prove the Lipschitz regularity of the weak solutions and the C1,α regularity of their free boundaries near “flat” free boundary points.     

Global branch from the second eigenvalue for a semilinear Neumann problem in a ball

Let (n?3) be a ball, and let f∈C³. We are concerned with the Neumann problem

     

On the existence of local strong solutions for the Navier-Stokes equations in completely general domains

There are only very few results on the existence of unique local in time strong solutions of the Navier-Stokes equations for completely general domains Ω⊆R³, although domains with edges and corners, bounded or unbounded, are very important in applications. The reason is that the L^q-theory for the Stokes operator A is available in general only in the Hilbert space setting, i.e., with q=2. Our main result for a general domain Ω is optimal in a certain sense: Consider an initial value and a zero external force. Then the condition is sufficient and necessary for the existence of a unique local strong solution u∈L⁸(0,T;L⁴(Ω)) in some interval [0,T), 0<T≤∞, with u(0)=u₀, satisfying Serrin’s condition . Note that Fujita-Kato’s sufficient condition u₀∈D(A^1/4) is strictly stronger and therefore not optimal.     

An elliptic system with bifurcation parameters on the boundary conditions

In this paper we consider the elliptic system Δu=a(x)upvq, Δv=b(x)urvs in Ω, a smooth bounded domain, with boundary conditions , on ∂Ω. Here λ and μ are regarded as parameters and p,s>1, q,r>0 verify (p−1)(s−1)>qr. We consider the case where a(x)?0 in Ω and a(x) is allowed to vanish in an interior subdomain Ω₀, while b(x)>0 in . Our main results include existence of nonnegative nontrivial solutions in the range 0<λ<λ₁?∞, μ>0, where λ₁ is characterized by means of an eigenvalue problem, and the uniqueness of such solutions. We also study their asymptotic behavior in all possible cases: as both λ,μ→0, as λ→λ₁<∞ for fixed μ (respectively μ→∞ for fixed λ) and when both λ,μ→∞ in case λ₁=∞.     

On the critical dimension of a fourth order elliptic problem with negative exponent

We study the regularity of the extremal solution of the semilinear biharmonic equation on a ball B⊂RN, under Navier boundary conditions u=Δu=0 on ∂B, where λ>0 is a parameter, while τ>0, β>0 are fixed constants. It is known that there exists λ^∗ such that for λ>λ^∗ there is no solution while for λ<λ^∗ there is a branch of minimal solutions. Our main result asserts that the extremal solution u^∗ is regular (supBu^∗<1) for N?8 and β,τ>0 and it is singular (supBu^∗=1) for N?9, β>0, and τ>0 with small. Our proof for the singularity of extremal solutions in dimensions N?9 is based on certain improved Hardy-Rellich inequalities.     

On an eigenvalue problem involving variable exponent growth conditions

We study the problem in Ω, u=0 on ∂Ω, where Ω is a bounded domain in R^N, is a continuous function and λ and ε are two positive constants. We prove that for any ε>0 each λ∈(0,λ₁) is an eigenvalue of the above problem, where λ₁ is the principal eigenvalue of the Laplace operator on Ω. Moreover, for each eigenvalue λ∈(0,λ₁) it corresponds a unique eigenfunction. The proofs will be based on the Banach fixed point theorem combined with adequate variational techniques.     

On an inhomogeneous slip-inflow boundary value problem for a steady flow of a viscous compressible fluid in a cylindrical domain

We investigate a steady flow of a viscous compressible fluid with inflow boundary condition on the density and inhomogeneous slip boundary conditions on the velocity in a cylindrical domain Ω=Ω₀×(0,L)∈R³. We show existence of a solution , p>3, where v is the velocity of the fluid and ρ is the density, that is a small perturbation of a constant flow (, ). We also show that this solution is unique in a class of small perturbations of . The term u⋅∇w in the continuity equation makes it impossible to show the existence applying directly a fixed point method. Thus in order to show existence of the solution we construct a sequence (vn,ρn) that is bounded in and satisfies the Cauchy condition in a larger space L_∞(0,L;L₂(Ω₀)) what enables us to deduce that the weak limit of a subsequence of (vn,ρn) is in fact a strong solution to our problem.     

The exact asymptotic behaviour of the unique solution to a singular nonlinear Dirichlet problem

By Karamata regular varying theory, a perturbed argument and constructing comparison functions, we show the exact asymptotic behaviour of the unique solution near the boundary to a singular Dirichlet problem −Δu=b(x)g(u)+λf(u), u>0, x∈Ω, u_|∂Ω=0, which is independent on λf(u), and we also show the existence and uniqueness of solutions to the problem, where Ω is a bounded domain with smooth boundary in RN, λ>0, g∈C¹((0,∞),(0,∞)) and there exists γ>1 such that , ∀ξ>0, , the function is decreasing on (0,∞) for some s₀>0, and b is nonnegative nontrivial on Ω, which may be vanishing on the boundary.