Reduced measures associated with parabolic problems

We study the existence and the properties of reduced measures for the parabolic equations ∂ _t u − Δu + g(u) = 0 in Ω × (0, ∞) subject to the conditions (P): u = 0 on ∂Ω × (0, ∞), u(x, 0) = μ and (P′): u = μ′ on ∂Ω × (0, ∞), u(x, 0) = 0, where μ and μ′ are positive Radon measures and g is a continuous nondecreasing function.     

A variational approach in weighted Sobolev spaces to the operator −Δ+∂/∂x 1 in exterior domains of ℝ3

Consider the Dirichlet problem −vΔu+k∂ ₁ u = f withv, k>0 in ℝ³ or in an exterior domain of ℝ³ where the skew-symmetric differential operator −₁=∂/∂x₁ is a singular perturbation of the Laplacian. Because of the inhomogeneity of the fundamental solution we study existence, uniqueness and regularity in Sobolev spaces with anisotropic weights. In these spaces the operator ∂₁ yields an additional positive definite term giving better results than in Sobolev spaces with radial weights. The elliptic equation −vΔu +k∂₁ u=f can be taken as a model problem for the Oseen equations, a linearized form of the Navier-Stokes equations. Supported by the Sonderforschungsbereich 256 of the Deutsche Forschungsgemeinschaft at the University of Bonn     

Controllability in a filled domain for the multidimensional wave equation with a singular boundary control

In accordance with the demands of the so-called local approach to inverse problems, the set of “waves” u^f (·, T) is studied, where u^f (x,t) is the solution of the initial boundary-value problem u_tt−Δu=0 in Ω×(0,T), u|_t<0=0, u|_∂Ω×(0,T)=f, and the (singular) control f runs over the class L²((0,T); H^−m (∂Ω)) (m>0). The following result is established. Let Ω^T={x ∈ Ω : dist(x, ∂Ω)<T)} be a subdomain of Ω ⊂ ℝⁿ (diam Ω<∞) filled with waves by a final instant of time t=T, let T_*=inf{T : Ω^T=Ω} be the time of filling the whole domain Ω. We introduce the notation D_m=Dom((−Δ)^m/2), where (−Δ) is the Laplace operator, Dom(−Δ)=H²(Ω)∩H ₀ ¹ (Ω);D_−m=(D_m)′;D_−m(Ω^T)={y∈D_−m:supp y ⋐ Ω^T. If T<T., then the reachable set R _m ^T ={u^t(·, T): f ∈ L₂((0,T), H^−m (∂Ω))} (∀m>0), which is dense in D_−m(Ω^T), does not contain the class C ₀ ^∞ (Ω^T). Examples of a ∈ C ₀ ^∞ , a ∈ R _m ^T , are presented. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 210, 1994, pp. 7–21. Translated by T. N. Surkova.     

Degenerate triply nonlinear problems with nonhomogeneous boundary conditions

The paper addresses the existence and uniqueness of entropy solutions for the degenerate triply nonlinear problem: b(v) _t − div α(v, ▽g(v)) = f on Q:= (0, T) × Ω with the initial condition b(v(0, ·)) = b(v ₀) on Ω and the nonhomogeneous boundary condition “v = u” on some part of the boundary (0, T) × ∂Ω”. The function g is continuous locally Lipschitz continuous and has a flat region [A ₁, A ₂,] with A ₁ ≤ 0 ≤ A ₂ so that the problem is of parabolic-hyperbolic type.     

Maximal solutions of semilinear elliptic equations with locally integrable forcing term

We study the existence of a maximal solution of −Δu+g(u)=f(x) in a domain Ω ∈ ℝ ^N with compact boundary, assuming thatf ∈ (L _loc ¹ (Ω))₊ and thatg is nondecreasing,g(0)≥0 andg satisfies the Keller-Osserman condition. We show that if the boundary satisfies the classicalC _1,2 Wiener criterion, then the maximal solution is a large solution, i.e., it blows up everywhere on the boundary. In addition, we discuss the question of uniqueness of large solutions. This research was partially supported by an EC Grant through the RTN Program “Front-Singularities”, HPRN-CT-2002-00274.     

Inertial manifold for a hyperbolic equation with dissipation

Sufficient conditions for the existence of an inertial manifold are found for the equation u _tt + 2γu _t − Δu = f(u, u _t ), u = u(x, t), x ∈ Ω ⋐ ℝ ^N , u| _∂Ω = 0, t > 0 under the assumption that the function f satisfies the Lipschitz condition.     

Precise asymptotic formulas for variational eigencurves of semilinear two-parameter elliptic eigenvalue problems

We consider the two-parameter nonlinear eigenvalue problem?−Δu = μu − λ(u + u ^p + f(u)), u > 0 in Ω, u = 0 on ∂Ω,?where p>1 is a constant and μ,λ>0 are parameters. We establish the asymptotic formulas for the variational eigencurves λ=λ(μ,α) as μ→∞, where α>0 is a normalizing parameter. We emphasize that the critical case from a viewpoint of the two-term asymptotics of the eigencurve is p=3. Moreover, it is shown that p=5/3 is also a critical exponent from a view point of the three-term asymptotics when Ω is a ball or an annulus. This sort of criticality for two-parameter problems seems to be new. Received: February 9, 2002; in final form: April 3, 2002?Published online: April 14, 2003     

Global Existence and Nonexistence for a Strongly Coupled Parabolic System with Nonlinear Boundary Conditions

This paper deals with the strongly coupled parabolic system ut = v^m△u, vt = u^n△v, （x, t） ∈Ω × （0,T） subject to nonlinear boundary conditions 偏du/偏dη = u^αv^p, 偏du/偏dη= u^qv^β, （x, t） ∈ 偏dΩ × （0, T）, where Ω 包含 RN is a bounded domain, m, n are positive constants and α,β, p, q are nonnegative constants. Global existence and nonexistence of the positive solution of the above problem are studied and a new criterion is established. It is proved that the positive solution of the above problem exists globally if and only if α 〈 1,β 〈 1 and （m ＋p）（n ＋ q） ≤ （1 - α）（1 -β）.     

Cluster sets for sobolev functions and quasiminimizers

In this paper, we study cluster sets and essential cluster sets for Sobolev functions and quasiharmonic functions (i.e., continuous quasiminimizers). We develop their basic theory with a particular emphasis on when they coincide and when they are connected. As a main result, we obtain that if a Sobolev function u on an open set Ω has boundary values f in Sobolev sense and f |_∂Ω is continuous at x ₀ ∈ ∂Ω, then the essential cluster set (u, x ₀,Ω) is connected. We characterize precisely in which metric spaces this result holds. Further, we provide some new boundary regularity results for quasiharmonic functions. Most of the results are new also in the Euclidean case.     

Large solutions of elliptic equations with a weakly superlinear nonlinearity

This paper studies the asymptotic behavior near the boundary for large solutions of the semilinear equation Δu + au = b(x)f(u) in a smooth bounded domain Ω of ℝ^N with N ≥ 2, where a is a real parameter and b is a nonnegative smooth function on . We assume that f(u) behaves like u(ln u)^α as u → ∞, for some α > 2. It turns out that this case is more difficult to handle than those where f(u) grows like u ^p (p > 1) or faster at infinity. Under suitable conditions on the weight function b(x), which may vanish on ∂Ω, we obtain the first order expansion of the large solutions near the boundary. We also obtain some uniqueness results. Research of both authors supported by the Australian Research Council.     

Very weak solutions to elliptic equations with nonlinear Neumann boundary conditions

Consider the equation −Δu = 0 in a bounded smooth domain , complemented by the nonlinear Neumann boundary condition ∂_ν u = f(x, u) − u on ∂Ω. We show that any very weak solution of this problem belongs to L ^∞(Ω) provided f satisfies the growth condition |f(x, s)| ≤ C(1 + |s| ^p ) for some p ∈ (1, p*), where . If, in addition, f(x, s) ≥ −C + λs for some λ > 1, then all positive very weak solutions are uniformly a priori bounded. We also show by means of examples that p* is a sharp critical exponent. In particular, using variational methods we prove the following multiplicity result: if N ∈ {3, 4} and f(x, s) =  s ^p then there exists a domain Ω and such that our problem possesses at least two positive, unbounded, very weak solutions blowing up at a prescribed point of ∂Ω provided . Our regularity results and a priori bounds for positive very weak solutions remain true if the right-hand side in the differential equation is of the form h(x, u) with h satisfying suitable growth conditions.     

A Fully Nonlinear Nonhomogeneous Neumann Problem

Let Ω be an open bounded set in ℝ^N, N≥3, with connected Lipschitz boundary ∂Ω and let a(x,ξ) be an operator of Leray–Lions type (a(⋅,∇u) is of the same type as the operator |∇u|^p−2∇u, 1<p<N). If τ is the trace operator on ∂Ω, [φ] the jump across ∂Ω of a function φ defined on both sides of ∂Ω, the normal derivative ∂/∂ν_a related to the operator a is defined in some sense as 〈a(⋅,∇u),ν〉, the inner product in ℝ^N, of the trace of a(⋅,∇u) on ∂Ω with the outward normal vector field ν on ∂Ω. If β and γ are two nondecreasing continuous real functions everywhere defined in ℝ, with β(0)=γ(0)=0, f∈L¹(ℝ^N), g∈L¹(∂Ω), we prove the existence and the uniqueness of an entropy solution u for the following problem,

Three-term asymptotics for the boundary layers of semilinear elliptic eigenvalue problems

We consider the nonlinear eigenvalue problem −Δu=λ f(u) in Ω u=0 on ∂Ω, where Ω is a ball or an annulus in R^N (N ≥ 2) and λ > 0 is a parameter. It is known that if λ >> 1, then the corresponding positive solution u_λ develops boundary layers under some conditions on f. We establish the asymptotic formulas for the slope of the boundary layers of u_λ with the exact second term and the ‘optimal’ estimate of the third term.     

Solution to the boundary blowup problem for k-curvature equation

We consider the boundary blowup problem for k-curvature equation, i.e., H _k [u] = f(u) g(|Du|) in an n-dimensional domain Ω, with the boundary condition u(x) → ∞ as dist (x,∂Ω) → 0. We prove the existence result under some hypotheses. We also establish the asymptotic behavior of a solution near the boundary ∂Ω. Mathematics Subject Classification (2000) 35J65, 35B40, 53C21     

An Application of a Mountain Pass Theorem

We are concerned with the following Dirichlet problem: −Δu(x) = f(x, u), x∈Ω, u∈H ¹ ₀(Ω), (P) where f(x, t) ∈C (×ℝ), f(x, t)/t is nondecreasing in t∈ℝ and tends to an L ^∞-function q(x) uniformly in x∈Ω as t→ + ∞ (i.e., f(x, t) is asymptotically linear in t at infinity). In this case, an Ambrosetti-Rabinowitz-type condition, that is, for some θ > 2, M > 0, 0 > θF(x, s) ≤f(x, s)s, for all |s|≥M and x∈Ω, (AR) is no longer true, where F(x, s) = ∫ ^s ₀ f(x, t)dt. As is well known, (AR) is an important technical condition in applying Mountain Pass Theorem. In this paper, without assuming (AR) we prove, by using a variant version of Mountain Pass Theorem, that problem (P) has a positive solution under suitable conditions on f(x, t) and q(x). Our methods also work for the case where f(x, t) is superlinear in t at infinity, i.e., q(x) ≡ +∞. Received June 24, 1998, Accepted January 14, 2000.     

Correlation structure of intermittency in the parabolic Anderson model

Consider the Cauchy problem ∂u(x, t)/∂t = ℋu(x, t) (x∈ℤ^d, t≥ 0) with initial condition u(x, 0) ≡ 1 and with ℋ the Anderson Hamiltonian ℋ = κΔ + ξ. Here Δ is the discrete Laplacian, κ∈ (0, ∞) is a diffusion constant, and ξ = {ξ(x): x∈ℤ ^d } is an i.i.d.random field taking values in ℝ. G?rtner and Molchanov (1990) have shown that if the law of ξ(0) is nondegenerate, then the solution u is asymptotically intermittent. In the present paper we study the structure of the intermittent peaks for the special case where the law of ξ(0) is (in the vicinity of) the double exponential Prob(ξ(0) > s) = exp[−e ^{s /θ}] (s∈ℝ). Here θ∈ (0, ∞) is a parameter that can be thought of as measuring the degree of disorder in the ξ-field. Our main result is that, for fixed x, y∈ℤ ^d and t→∈, the correlation coefficient of u(x, t) and u(y, t) converges to ∥w _ρ∥⁻² _ℓ2Σ_{z ∈ℤd} w _ρ(x+z)w _ρ(y+z). In this expression, ρ = θ/κ while w _ρ:ℤ^d→ℝ⁺ is given by w _ρ = (v _ρ)^{⊗ d} with v _ρ: ℤ→ℝ⁺ the unique centered ground state (i.e., the solution in ℓ²(ℤ) with minimal l ²-norm) of the 1-dimensional nonlinear equation Δv + 2ρv log v = 0. The uniqueness of the ground state is actually proved only for large ρ, but is conjectured to hold for any ρ∈ (0, ∞). empty It turns out that if the right tail of the law of ξ(0) is thicker (or thinner) than the double exponential, then the correlation coefficient of u(x, t) and u(y, t) converges to δ _{x, y} (resp.the constant function 1). Thus, the double exponential family is the critical class exhibiting a nondegenerate correlation structure. Received: 5 March 1997 / Revised version: 21 September 1998     

On the behavior of solutions of a semilinear parabolic or elliptic equation satisfying a nonlinear boundary condition in a cylindrical domain

One considers a semilinear parabolic equation u _t = Lu − a(x)f(u) or an elliptic equation u _tt + Lu − a(x)f(u) = 0 in a semi-infinite cylinder Ω × ℝ₊ with the nonlinear boundary condition , where L is a uniformly elliptic divergent operator in a bounded domain Ω ∈ ℝⁿ; a(x) and b(x) are nonnegative measurable functions in Ω. One studies the asymptotic behavior of solutions of such boundary-value problems for t → ∞. __________ Translated from Trudy Seminara imeni I. G. Petrovskogo, No. 26, pp. 368–389, 2007.     

Convergence of Ricci Flow on ℝ2 to Flat Space

We prove that, starting at an initial metric g(0)=e^2u₀(dx²+dy²)g(0)=e^{2u_{0}}(dx^{2}+dy^{2}) on ℝ² with bounded scalar curvature and bounded u ₀, the Ricci flow ∂ _t g(t)=−R _g(t) g(t) converges to a flat metric on ℝ².     

Exact controllability for the wave equation with variable coefficients

We consider in this paper the evolution systemy″−Ay=0, whereA =∂ _i(a_ij∂_j) anda _ij ∈C ¹ (ℝ⁺;W ^1,∞ (Ω)) ∩W ^1,∞ (Ω × ℝ⁺), with initial data given by (y ₀,y ₁) ∈L ²(Ω) ×H ⁻¹ (Ω) and the nonhomogeneous conditiony=v on Γ ×]0,T[. Exact controllability means that there exist a timeT>0 and a controlv such thaty(T, v)=y′(T, v)=0. The main result of this paper is to prove that the above system is exactly controllable whenT is “sufficiently large”. Moreover, we obtain sharper estimates onT.     

Nonnegative solutions to an elliptic problem with nonlinear absorption and a nonlinear incoming flux on the boundary

In this paper we perform an extensive study of the existence, uniqueness (or multiplicity) and stability of nonnegative solutions to the semilinear elliptic equation − Δu = λ u − u ^p in Ω, with the nonlinear boundary condition ∂u/∂ν = u ^r on ∂Ω. Here Ω is a smooth bounded domain of with outward unit normal ν, λ is a real parameter and p, r > 0. We also give the precise behavior of solutions for large |λ| in the cases where they exist. The proofs are mainly based on bifurcation techniques, sub-supersolutions and variational methods.