Critical exponent for a quasilinear parabolic equation with inhomogeneous density in a cone

In this paper, we study the initial-boundary value problem of porous medium equation ρ(x)u _t  = Δu ^m  + V(x)h(t)u ^p in a cone D = (0, ∞) × Ω, where V(x)  ~  |x|^s, h(t)  ~  t^s{V(x)\,{\sim}\, |x|^\sigma, h(t)\,{\sim}\, t^s}. Let ω ₁ denote the smallest Dirichlet eigenvalue for the Laplace-Beltrami operator on Ω and let l denote the positive root of l ² + (n − 2)l = ω ₁. We prove that if m < p ￡ 1+(m-1)(1+s)+\frac2(s+1)+sn+l{m < p \leq 1+(m-1)(1+s)+\frac{2(s+1)+\sigma}{n+l}}, then the problem has no global nonnegative solutions for any nonnegative u ₀ unless u ₀ = 0; if ${p >1 +(m-1)(1+s)+\frac{2(s+1)+\sigma}{n+l}}${p >1 +(m-1)(1+s)+\frac{2(s+1)+\sigma}{n+l}}, then the problem has global solutions for some u ₀ ≥ 0.     

Lp convergence of Cesàro means on sphere

LetR ⁿ be n-dimensional Euclidean space with n>-3. Demote by Ω _n the unit sphere inR ⁿ. ForfɛL(Ω _n ) we denote by σ _N ^δ its Cesàro means of order σ for spherical harmonic expansions. The special value l = \tfracn - 22\lambda = \tfrac{{n - 2}}{2} of σ is known as the critical one. For 0<σ≤λ, we set p₀ = \tfrac2ld+ lp_0 = \tfrac{{2\lambda }}{{\delta + \lambda }} . This paper proves that

Large time behaviour of solutions of the porous media equation with absorption

We study the large time behaviour of nonnegative solutions of the Cauchy problemu _t=Δu ^m −u ^p,u(x, 0)=φ(x). Specifically we study the influence of the rate of decay ofφ(x) for large |x|, and the competition between the diffusion and the absorption term.     

Extreme Jensen measures

Let Ω be an open subset of R ^d , d≥2, and let x∈Ω. A Jensen measure for x on Ω is a Borel probability measure μ, supported on a compact subset of Ω, such that ∫u  dμ≤u(x) for every superharmonic function u on Ω. Denote by J _x (Ω) the family of Jensen measures for x on Ω. We present two characterizations of ext(J _x (Ω)), the set of extreme elements of J _x (Ω). The first is in terms of finely harmonic measures, and the second as limits of harmonic measures on decreasing sequences of domains. This allows us to relax the local boundedness condition in a previous result of B. Cole and T. Ransford, Jensen measures and harmonic measures, J. Reine Angew. Math. 541 (2001), 29–53. As an application, we give an improvement of a result by Khabibullin on the question of whether, given a complex sequence {α _n } _n=1 ^∞ and a continuous function , there exists an entire function f≢0 satisfying f(α _n )=0 for all n, and |f(z)|≤M(z) for all z∈C.     

Global classical solutions for reaction–diffusion systems with nonlinearities of exponential growth

The aim of this study is to prove global existence of classical solutions for systems of the form ${\frac{\partial u}{\partial t} -a \Delta u=-f(u,v)}The aim of this study is to prove global existence of classical solutions for systems of the form \frac?u?t -a Du=-f(u,v){\frac{\partial u}{\partial t} -a \Delta u=-f(u,v)} , \frac?v?t -b Dv=g(u,v){\frac{\partial v}{\partial t} -b \Delta v=g(u,v)} in (0, +∞) × Ω where Ω is an open bounded domain of class C ¹ in \mathbbRⁿ{\mathbb{R}^n}, a > 0, b > 0 and f, g are nonnegative continuously differentiable functions on [0, +∞) × [0, +∞) satisfying f (0, η) = 0, g(x,h) ￡ C j(x)e^ahb{g(\xi,\eta) \leq C \varphi(\xi)e^{\alpha {\eta^\beta}}} and g(ξ, η) ≤ ψ(η)f(ξ, η) for some constants C > 0, α > 0 and β ≥ 1 where j{\varphi} and ψ are any nonnegative continuously differentiable functions on [0, +∞) such that j(0)=0{\varphi(0)=0} and lim_{h? +￥}h^b-1y(h) = l{ \lim_{\eta \rightarrow +\infty}\eta^{\beta -1}\psi(\eta)= \ell} where ℓ is a nonnegative constant. The asymptotic behavior of the global solutions as t goes to +∞ is also studied. For this purpose, we use the appropriate techniques which are based on semigroups, energy estimates and Lyapunov functional methods.     

On critical Fujita exponents for heat equations with nonlinear flux conditions on the boundary

We consider nonnegative solutions of initial-boundary value problems for parabolic equationsu _t=u_xx, u_t=(u^m)_xxand (m>1) forx>0,t>0 with nonlinear boundary conditions−u _x=u^p,−(u ^m)_x=u^pand forx=0,t>0, wherep>0. The initial function is assumed to be bounded, smooth and to have, in the latter two cases, compact support. We prove that for each problem there exist positive critical valuesp ₀,p_c(withp ₀<p_c)such that forp∃(0,p ₀],all solutions are global while forp∃(p₀,p_c] any solutionu≢0 blows up in a finite time and forp>p _csmall data solutions exist globally in time while large data solutions are nonglobal. We havep _c=2,p _c=m+1 andp _c=2m for each problem, whilep ₀=1,p ₀=1/2(m+1) andp ₀=2m/(m+1) respectively. This work was done during visits of the first author to Iowa State University and the Institute for Mathematics and its Applications at the University of Minnesota. The second author was supported in part by NSF Grant DMS-9102210.     

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.     

Global solutions of the fast diffusion equation with gradient absorption terms

We investigate the existence of nonnegative weak solutions to the problem ut=Δ(um)−p|∇u| in Rn×(0,∞) with ⁺(1−2/n)<m<1. It will be proved that: (i) When 1<p<2, if the initial datum u₀∈D(Rn) then there exists a solution; (ii) When 1<p<(2+mn)/(n+1), if the initial datum u₀(x) is a bounded and nonnegative measure then the solution exists; (iii) When (2+mn)/(n+1)?p<2, if the initial datum is a Dirac mass then the solution does not exist. We also study the large time behavior of the L¹-norm of solutions for 1<p?(2+mn)/(n+1), and the large time behavior of t1/β‖u(⋅,t)−Ec(⋅,t)L^∞_‖ for (2+mn)/(n+1)<p<2.     

Large solutions for equations involving the p-Laplacian and singular weights

In this paper we consider the boundary blow-up problem Δ_pu = a(x)u^q in a smooth bounded domain Ω of \mathbbR^N{\mathbb{R}}^N, with u = +∞ on ∂Ω. Here D_pu = div(|?u|^p-2?u)\Delta_{p}u = {\rm div}(|\nabla u|^{p-2}\nabla u) is the well-known p-Laplacian operator with p > 1, q > p − 1, and a(x) is a nonnegative weight function which can be singular on ∂Ω. Our results include existence, uniqueness and exact boundary behavior of positive solutions.     

On a Delay Reaction-Diffusion Difference Equation of Neutral Type

In this paper, we first consider a delay difference equation of neutral type of the form: Δ(y _n + py _n−k + q _n y _n−l = 0 for n∈ℤ⁺(0) (1*) and give a different condition from that of Yu and Wang (Funkcial Ekvac, 1994, 37(2): 241–248) to guarantee that every non-oscillatory solution of (1*) with p = 1 tends to zero as n→∞. Moreover, we consider a delay reaction-diffusion difference equation of neutral type of the form: Δ₁(u _n,m + pu _n−k,m ) + q _n,m u _n−l,m = a ²Δ² ₂ u _{n +1, m−1} for (n,m) ∈ℤ⁺ (0) ×Ω, (2*) study various cases of p in the neutral term and obtain that if p≥−1 then every non-oscillatory solution of (2*) tends uniformly in m∈Ω to zero as n→∞; if p = −1 then every solution of (2*) oscillates and if p < −1 then every non-oscillatory solution of (2*) goes uniformly in m∈Ω to infinity or minus infinity as n→∞ under some hypotheses. Received July 14, 1999, Revised August 10, 2000, Accepted September 30, 2000     

On the number of y-smooth natural numbers ≤x representable as a sum of two integer squares

LetB(x,y) be the sum taken over alln, 1≤n≤x, such that n can be represented as a sum of two squares of integers andn has no prime factors exceedingy. It is shown foru smaller than about .5log logx/log log logx thatB(x,x ^1/u)≈cxlog^-1/2 xσ(u), where σ(u satisfies a delay differential equation similar to the one satisfied by the Dickman function andc is a positive constant.     

Anharmonic Oscillators in the Complex Plane, $\boldsymbol{\mathcal{PT}}$-symmetry,and Real Eigenvalues

For integers m ≥ 3 and 1 ≤ ℓ ≤ m − 1, we study the eigenvalue problems − u ^″(z) + [( − 1)^ℓ(iz) ^m  − P(iz)]u(z) = λu(z) with the boundary conditions that u(z) decays to zero as z tends to infinity along the rays argz=-\fracp2±\frac(l+1)pm+2\arg z=-\frac{\pi}{2}\pm \frac{(\ell+1)\pi}{m+2} in the complex plane, where P is a polynomial of degree at most m − 1. We provide asymptotic expansions of the eigenvalues λ _n . Then we show that if the eigenvalue problem is PT\mathcal{PT}-symmetric, then the eigenvalues are all real and positive with at most finitely many exceptions. Moreover, we show that when gcd(m,l)=1\gcd(m,\ell)=1, the eigenvalue problem has infinitely many real eigenvalues if and only if one of its translations or itself is PT\mathcal{PT}-symmetric. Also, we will prove some other interesting direct and inverse spectral results.     

Large solutions for equations involving the p-Laplacian and singular weights

In this paper we consider the boundary blow-up problem Δ_pu = a(x)u^q in a smooth bounded domain Ω of , with u = +∞ on ∂Ω. Here is the well-known p-Laplacian operator with p > 1, q > p − 1, and a(x) is a nonnegative weight function which can be singular on ∂Ω. Our results include existence, uniqueness and exact boundary behavior of positive solutions.      

On the growth of mass for a viscous Hamilton-Jacobi equation

We investigate the large time behavior of positive solutions with finite mass for the viscous Hamilton-Jacobi equationu _t = Δu + |Δu| ^p ,t>0,x ∈ ℝ ^N , wherep≥1 andu(0,.)=u ₀≥0,u ₀≢0,u ₀∈L ¹. DenotingI _∞=lim _t→∞‖u(t)‖₁≤∞, we show that the asymptotic behavior of the mass can be classified along three cases as follows:

Nonlocal initial-boundary-value problems for a degenerate hyperbolic equation

We consider the equation y ^m u _xx − u _yy − b ² y ^m u = 0 in the rectangular area {(x, y) | 0 < x < 1, 0 < y < T}, where m < 0, b ≥ 0, T > 0 are given real numbers. For this equation we study problems with initial conditions u(x, 0) = τ(x), u _y (x, 0) = ν(x), 0 ≤ x ≤ 1, and nonlocal boundary conditions u(0, y) = u(1, y), u _x (0, y) = 0 or u _x (0, y) = u _x (1, y), u(1, y) = 0 with 0≤y≤T. Using the method of spectral analysis, we prove the uniqueness and existence theorems for solutions to these problems     

Removable singularities and non-uniqueness of solutions of a singular diffusion equation

 We prove that the solution u of the equation u _t =Δlog u, u>0, in (Ω\{x ₀})×(0,T), Ω⊂ℝ², has removable singularities at {x ₀}×(0,T) if and only if for any 0<α<1, 0<a<b<T, there exist constants ρ₀, C ₁, C ₂>0, such that C ₁ |x−x ₀|^α≤u(x,t)≤C ₂|x−x ₀|^−α holds for all 0<|x−x ₀|≤ρ₀ and a≤t≤b. As a consequence we obtain a sufficient condition for removable singularities at {∞}×(0,T) for solutions of the above equation in ℝ²×(0,T) and we prove the existence of infinitely many finite mass solutions for the equation in ℝ²×(0,T) when 0≤u ₀∉L ¹ (ℝ²) is radially symmetric and u ₀L _loc ¹(ℝ²). Received: 16 December 2001 / Revised version: 20 May 2002 / Published online: 10 February 2003 Mathematics Subject Classification (1991): 35B40, 35B25, 35K55, 35K65     

The critical Fujita exponent for a diffusion equation with a potential term

We study the initial-boundary-value problem of the diffusion equation u _t = Δu ^m ? V (x)u ^m + u ^p in a conelike domain D = [1,∞) × Ω, where V (x) ~ ω ₂ |x| ^?2 with ω ₂ > 0. Let ω ₁ denote the smallest Dirichlet eigenvalue for the Laplace–Beltrami operator on Ω, and let l denote the positive root of l ² + (n ? 2)l = ω ₁ + ω ₂. We prove that if m < p ≤ m + 2/(n + l), then the problem has no global nonnegative solutions for any nonnegative u ₀ unless u ₀ = 0; if p > m + 2/(n + l), then the problem has global solutions for some \( {u_0}\gneq 0 \) .     

Critical exponent for a quasilinear parabolic equation with inhomogeneous density in a cone

In this paper, we study the initial-boundary value problem of porous medium equation ρ(x)u _t  = Δu ^m  + V(x)h(t)u ^p in a cone D = (0, ∞) × Ω, where \({V(x)\,{\sim}\, |x|^\sigma, h(t)\,{\sim}\, t^s}\). Let ω ₁ denote the smallest Dirichlet eigenvalue for the Laplace-Beltrami operator on Ω and let l denote the positive root of l ² + (n ? 2)l = ω ₁. We prove that if \({m < p \leq 1+(m-1)(1+s)+\frac{2(s+1)+\sigma}{n+l}}\), then the problem has no global nonnegative solutions for any nonnegative u ₀ unless u ₀ = 0; if \({p >1 +(m-1)(1+s)+\frac{2(s+1)+\sigma}{n+l}}\), then the problem has global solutions for some u ₀ ≥ 0.     

Surjective partial differential operators on real analytic functions defined on open convex sets

Let P(D) be a partial differential operator with constant coefficients which is surjective on the space A(Ω) of real analytic functions on a covex open set Ω⊂ℝ ⁿ . Let L(P _m ) denote the localizations at ∞ (in the sense of H?rmander) of the principal part P _m . Then Q(x+iτN)≠ 0 for (x,τ)∈ℝ ⁿ ×(ℝ\{ 0}) for any Q∈L(P _m ) if N is a normal to δΩ which is noncharacteristic for Q. Under additional assumptions this implies that P _m must be locally hyperbolic. Received: 24 January 2000     

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.