A note on the behavior of blow-up solutions for one-phase Stefan problems

ＡＮＯＴＥＯＮＴＨＥＢＥＨＡＶＩＯＲＯＦＢＬＯＷ┐ＵＰＳＯＬＵＴＩＯＮＳＦＯＲＯＮＥ┐ＰＨＡＳＥＳＴＥＦＡＮＰＲＯＢＬＥＭＳＺＨＵＮＩＮＧＡｂｓｔｒａｃｔ．Ｉｎｔｈｉｓｐａｐｅｒ,ｔｈｅｆｏｌｏｗｉｎｇｏｎｅ－ｐｈａｓｅＳｔｅｆａｎｐｒｏｂｌｅｍｉｓ...     

Universal self-similarity of porous media equation with absorption: the critical exponent case

In this paper we study the large time behavior of non-negative solutions to the Cauchy problem of u_t=Δu^m−u^q in R^N×(0,∞), where m>1 and q=q_c≡m+2/N is a critical exponent. For non-negative initial value u(x,0)=u₀(x)∈L¹(R^N), we show that the solution converges, if u₀(x)(1+|x|)^k is bounded for some k>N, to a unique fundamental solution of u_t=Δu^m, independent of the initial value, with additional logarithmic anomalous decay exponent in time as t→∞.     

Local existence of solutions to some degenerate parabolic equation associated with the p-Laplacian

The existence of local (in time) solutions of the initial-boundary value problem for the following degenerate parabolic equation: ut(x,t)−Δpu(x,t)−|u|^q−2u(x,t)=f(x,t), (x,t)∈Ω×(0,T), where 2?p<q<+∞, Ω is a bounded domain in RN, is given and Δp denotes the so-called p-Laplacian defined by Δpu:=∇⋅(|∇u|^p−2∇u), with initial data u₀∈Lr(Ω) is proved under r>N(q−p)/p without imposing any smallness on u₀ and f. To this end, the above problem is reduced into the Cauchy problem for an evolution equation governed by the difference of two subdifferential operators in a reflexive Banach space, and the theory of subdifferential operators and potential well method are employed to establish energy estimates. Particularly, Lr-estimates of solutions play a crucial role to construct a time-local solution and reveal the dependence of the time interval [0,T₀] in which the problem admits a solution. More precisely, T₀ depends only on Lr|u₀| and f.     

带非局部源的退化半线性抛物方程的解的爆破性质

This paper deals with the blow-up properties of the positive solutions to the nonlocal degenerate semilinear parabolic equation u _t − (x ^a u _x ) _x =∫ ₀ ^a f(u)dx in (0,a) × (0,T) under homogeneous Dirichlet conditions. The local existence and uniqueness of classical solution are established. Under appropriate hypotheses, the global existence and blow-up in finite time of positve solutions are obtained. It is also proved that the blow-up set is almost the whole domain. This differs from the local case. Furthermore, the blow-up rate is precisely determined for the special case: f(u)=u ^p , p>1.     

The singular limit of the Allen-Cahn equation and the FitzHugh-Nagumo system

We consider an Allen-Cahn type equation of the form ut=Δu+ε⁻²fε(x,t,u), where ε is a small parameter and fε(x,t,u)=f(u)−εgε(x,t,u) a bistable nonlinearity associated with a double-well potential whose well-depths can be slightly unbalanced. Given a rather general initial data u₀ that is independent of ε, we perform a rigorous analysis of both the generation and the motion of interface. More precisely we show that the solution develops a steep transition layer within the time scale of order ε²|lnε|, and that the layer obeys the law of motion that coincides with the formal asymptotic limit within an error margin of order ε. This is an optimal estimate that has not been known before for solutions with general initial data, even in the case where gε≡0.Next we consider systems of reaction-diffusion equations of the form

     

A fractional porous medium equation

We develop a theory of existence, uniqueness and regularity for the following porous medium equation with fractional diffusion, with m>m_?=(N−1)/N, N?1 and f∈L¹(RN). An L¹-contraction semigroup is constructed and the continuous dependence on data and exponent is established. Nonnegative solutions are proved to be continuous and strictly positive for all x∈RN, t>0.     

Quenching for nonlinear degenerate parabolic problems

For the problem given by u_τ=(ξ^ru^mu_ξ)_ξ/ξ^r+f(u) for 0<ξ<a, 0<τ<Λ≤∞, u(ξ,0)=u₀(ξ) for 0≤ξ≤a, and u(0,τ)=0=u(a,τ) for 0<τ<Λ, where a and m are positive constants, r is a constant less than 1, f(u) is a positive function such that lim_u→c⁻f(u)=∞ for some positive constant c, and u₀(ξ) is a given function satisfying u₀(0)=0=u₀(a), this paper studies quenching of the solution u.     

Blow-up results for a class of first-order nonlinear evolution inequalities

We investigate the non-existence of solutions to a class of evolution inequalities; in this case, as it happens in a relatively small number of blow-up studies, nonlinearities depend also on time-variable t and spatial derivatives of the unknown. The present results, which in great part do not require any assumption on the regularity of data, are completely new and shown with various applications. Some of these results referring to the problem u_t=Δu+a(x)|u|^p+λf(x) in R^N, t>0 include the non-existence results of positive global solutions obtained by Fujita and others when a≡1 and f≡0, Bandle-Levine and Levine-Meier when a≡|x|^m and f≡0, Pinsky when either f≡0 or f?0 and λ>0, Zhang and Bandle-Levine-Zhang when a≡1 and λ=1.     

Semigroup approach for identification of the unknown diffusion coefficient in a quasi‐linear parabolic equation

This article presents a semigroup approach for the mathematical analysis of the inverse coefficient problems of identifying the unknown coefficient k(u(x,t)) in the quasi‐linear parabolic equation u_t(x,t)=(k(u(x,t))u_x(x,t))_x, with Dirichlet boundary conditions u(0,t)=ψ₀, u(1,t)=ψ₁. The main purpose of this paper is to investigate the distinguishability of the input–output mappings Φ[?]:?? →C¹[0,T], Ψ[?]:??→C¹[0,T] via semigroup theory. In this paper, it is shown that if the null space of the semigroup T(t) consists of only zero function, then the input–output mappings Φ[?] and Ψ[?] have the distinguishability property. It is also shown that the types of the boundary conditions and the region on which the problem is defined play an important role in the distinguishability property of these mappings. Moreover, under the light of measured output data (boundary observations) f(t):=k(u(0,t))u_x(0,t) or/and h(t):=k(u(1,t))u_x(1,t), the values k(ψ₀) and k(ψ₁) of the unknown diffusion coefficient k(u(x,t)) at (x,t)=(0,0) and (x,t)=(1,0), respectively, can be determined explicitly. In addition to these, the values k_u(ψ₀) and k_u(ψ₁) of the unknown coefficient k(u(x,t)) at (x,t)=(0,0) and (x,t)=(1,0), respectively, are also determined via the input data. Furthermore, it is shown that measured output data f(t) and h(t) can be determined analytically by an integral representation. Hence the input–output mappings Φ[?]:??→ C¹[0,T], Ψ[?]:??→C¹[0,T] are given explicitly in terms of the semigroup. Copyright © 2007 John Wiley & Sons, Ltd.     

Uniqueness and stability of regional blow-up in a porous-medium equation

We study the blow-up phenomenon for the porous-medium equation in R^N, N1, u_t=Δu^m+u^m, m>1, for nonnegative, compactly supported initial data. A solution u(x,t) to this problem blows-up at a finite time . Our main result asserts that there is a finite number of points x₁,…,x_kR^N, with |x_i−x_j|2R^* for i≠j, such that Here w_*(|x|) is the unique nontrivial, nonnegative compactly supported, radially symmetric solution of the equation in R^N and R^* is the radius of its support. Moreover u(x,t) remains uniformly bounded up to its blow-up time on compact subsets of . The question becomes reduced to that of proving that the ω-limit set in the problem consists of a single point when its initial condition is nonnegative and compactly supported.     

Global existence and L ∞ estimates of solutions for a quasilinear parabolic system

In this paper, we study the global existence, L^∞ estimates and decay estimates of solutions for the quasilinear parabolic system u_t = div (|∇ u|^m ∇ u) + f(u, v), v_t = div (|∇ v|^m ∇ v) + g(u,v) with zero Dirichlet boundary condition in a bounded domain Ω ⊂ R^N. In particular, we find a critical value for the existence and nonexistence of global solutions to the equation u_t = div (|∇ u|^m ∇ u) + λ |u|^{α - 1} u.     

Blowup stability of solutions of the nonlinear heat equation with a large life span

We study the Cauchy problem for the nonlinear heat equation u_t-?u=|u|^p-1u in R^N. The initial data is of the form u₀=λ?, where ?∈C₀(R^N) is fixed and λ>0. We first take 1<p<p_f, where p_f is the Fujita critical exponent, and ?∈C₀(R^N)∩L¹(R^N) with nonzero mean. We show that u(t) blows up for λ small, extending the H. Fujita blowup result for sign-changing solutions. Next, we consider 1<p<p_s, where p_s is the Sobolev critical exponent, and ?(x) decaying as |x|^-σ at infinity, where p<1+2/σ. We also prove that u(t) blows up when λ is small, extending a result of T. Lee and W. Ni. For both cases, the solution enjoys some stable blowup properties. For example, there is single point blowup even if ? is not radial.     

A direct numerical procedure for the Cauchy problem for the heat equation

For the Cauchy problem, u_t = u_xx, 0 < x < 1, 0 < t ? T, u(0, t) = f(t), 0 < t ? T, u_x(0, t) = g(t), 0 < t ? T, a direct numerical procedure involving the elementary solution of υ_t = υ_xx, 0 < x, 0 < t ? T, υ_x(0, t) = g(t), 0 < t ? T, υ(x, 0) = 0, 0 < x and a Taylor's series computed from f(t) ? υ(0, t) is studied. Continuous dependence better than any power of logarithmic is obtained. Some numerical results are presented.     

Positivity, local smoothing, and Harnack inequalities for very fast diffusion equations

We investigate qualitative properties of local solutions u(t,x)?0 to the fast diffusion equation, t_∂u=Δ(um)/m with m<1, corresponding to general nonnegative initial data. Our main results are quantitative positivity and boundedness estimates for locally defined solutions in domains of the form [0,T]×Ω, with Ω⊆Rd. They combine into forms of new Harnack inequalities that are typical of fast diffusion equations. Such results are new for low m in the so-called very fast diffusion range, precisely for all m?mc=(d−2)/d. The boundedness statements are true even for m?0, while the positivity ones cannot be true in that range.     

Mathematical and numerical study of a system of conservation laws

The system of equations (f (u))_t − (a(u)v + b(u))_x = 0 and u_t − (c(u)v + d(u))_x = 0, where the unknowns u and v are functions depending on , arises within the study of some physical model of the flow of miscible fluids in a porous medium. We give a definition for a weak entropy solution (u, v), inspired by the Liu condition for admissible shocks and by Krushkov entropy pairs. We then prove, in the case of a natural generalization of the Riemann problem, the existence of a weak entropy solution only depending on x/t. This property results from the proof of the existence, by passing to the limit on some approximations, of a function g such that u is the classical entropy solution of u_t − ((cg + d)(u))_x = 0 and simultaneously w = f (u) is the entropy solution of w_t − ((ag + b)(f⁽⁻¹⁾(w)))_x = 0. We then take v = g(u), and the proof that (u, v) is a weak entropy solution of the coupled problem follows from a linear combination of the weak entropy inequalities satisfied by u and f (u). We then show the existence of an entropy weak solution for a general class of data, thanks to the convergence proof of a coupled finite volume scheme. The principle of this scheme is to compute the Godunov numerical flux with some interface functions ensuring the symmetry of the finite volume scheme with respect to both conservation equations.     

The initial boundary value problem for the nonlinear parabolic equation in unbounded domain

In this paper we consider the mixed problem for the equation u _tt  + A ₁ u + A ₂(u _t ) + g(u _t ) = f(x, t) in unbounded domain, where A ₁ is a linear elliptic operator of the fourth order and A ₂ is a nonlinear elliptic operator of the second order. Under natural assumptions on the equation coefficients and f we proof existence of a solution. This result contains, as a special case, some of known before theorems of existence. Essentially, in difference up to previous results we prove theorems of existence without the additional assumption on behavior of solution at infinity.      

The integrable nonlinear degenerate diffusion equationu t=[f(u)u x −1 x and its relatives

The nonlinear diffusion equationu _t=[f(u)g(u _x )] arises in recent models of turbulent transport and of stress dissipation in rock blasting. A Lie point symmetry analysis produces many similarity reductions of exponential and power-law forms, and reveals that for all choices off the equation is always integrable wheng(u _x )=1/u _x . We identify the functionsf(u) which guarantee equivalence to the linear heat equation. For all other choices off, the linear canonical form leads to a self-adjoint differential equation by separation of variablesx andt. We construct a number of explicit solutions with simple boundary conditions, which illustrate behavior in the vicinity of the degenerate region withu _x =. If zero flux and constant concentration are maintained on free boundaries, then steep concentration gradients may evolve from smooth initial conditions. For other boundary conditions, unlike the examples of strong degeneracy, smoothing will occur at initial step discontinuities.     

Critical exponents and blow-up rate for a nonlinear diffusion equation with logarithmic boundary flux

In this paper, we establish the critical global existence exponent and the critical Fujita exponent for the nonlinear diffusion equation u_t=(log^σ(1+u)u_x)_x, in R₊×(0,+∞), subject to a logarithmic boundary flux , furthermore give the blow-up rate for the nonglobal solutions.     

Heat flow, Brownian motion and Newtonian capacity

Let K be a compact, non-polar set in Rm(m?3) and let u be the unique weak solution of on Rm\K×(0,∞),u(x;0)=0 on Rm\K and u(x;t)=1 for all x on the boundary of K and for all t>0. The asymptotic behaviour of u(x;t) as t tends to infinity is obtained up to order O(t−m/2).