Homogenization of some parabolic operators with several time scales

The main focus in this paper is on homogenization of the parabolic problem ∂ _t uɛ − ∇ · (a(x/ɛ,t/ɛ,t/ɛ ^r )∇u ^ɛ ) = f. Under certain assumptions on a, there exists a G-limit b, which we characterize by means of multiscale techniques for r > 0, r ≠ 1. Also, an interpretation of asymptotic expansions in the context of two-scale convergence is made.     

Everywhere H?lder continuity of the spatial gradient of weak solutions to nonlinear parabolic systems

We consider weak solutions to the parabolic system ∂u ⁱ∂t−D _α A _i ^α (∇u)=B _i(∇u) in (i=1,...,) (Q=Ω×(0,T), R ⁿ a domain), where the functionsB _i may have a quadratic growth. Under the assumptionsn≤2 and ∇u ɛL _loc ^4+δ (Q; R ^nN ) (δ>0) we prove that ∇u is locally H?lder continuous inQ.     

Diffusion approximation for the convection-diffusion equation with random drift

We consider the asymptotic behavior of the solutions ofscaled convection-diffusion equations ∂ _t u _ɛ (t, x) = κΔ _x (t, x) + 1/ɛV(t/ɛ²,xɛ) ·∇ _x u _ɛ (t, x) with the initial condition u _ɛ(0,x) = u ₀(x) as the parameter ɛ↓ 0. Under the assumptions that κ > 0 and V(t, x), (t, x) ∈R ^d is a d-dimensional,stationary, zero mean, incompressible, Gaussian random field, Markovian and mixing in t we show that the laws of u _ɛ(t,·), t≥ 0 in an appropriate functional space converge weakly, as ɛ↓ 0, to a δ-type measureconcentrated on a solution of a certain constant coefficient heat equation. Received: 23 March 2000 / Revised version: 5 March 2001 / Published online: 9 October 2001     

<Emphasis Type="Italic">L</Emphasis><Superscript>∞</Superscript> Estimates of solution for <Emphasis Type="Italic">m</Emphasis>-Laplacian parabolic equation with a nonlocal term

In this paper, we consider the global existence, uniqueness and L ^∞ estimates of weak solutions to quasilinear parabolic equation of m-Laplacian type u _t − div(|∇u| ^m−2∇u) = u|u| ^β−1 ∫_Ω |u| ^α dx in Ω × (0,∞) with zero Dirichlet boundary condition in tdΩ. Further, we obtain the L ^∞ estimate of the solution u(t) and ∇u(t) for t > 0 with the initial data u ₀ ∈ L ^q (Ω) (q > 1), and the case α + β < m − 1.     

Asymptotic behavior of solutions to viscous conservation laws with slowly varying external forces

This paper considers the existence and large time behavior of solutions to the convection-diffusion equation u _t −Δu+b(x)·∇(u|u| ^{q −1})=f(x, t) in ℝ ⁿ ×[0,∞), where f(x, t) is slowly decaying and q≥1+1/n (or in some particular cases q≥1). The initial condition u ₀ is supposed to be in an appropriate L ^p space. Uniform and nonuniform decay of the solutions will be established depending on the data and the forcing term.This work is partially supported by an AMO Grant     

Multiscale convergence and reiterated homogenization of parabolic problems

Reiterated homogenization is studied for divergence structure parabolic problems of the form u /t–div (a(x,x/,x/²,t,t/ ^k)u )=f. It is shown that under standard assumptions on the function a(x, y ₁,y ₂,t,) the sequence {u } of solutions converges weakly in L ² (0,T; H ₀ ¹ ()) to the solution u of the homogenized problem u/t– div(b(x,t)u)=f.This revised version was published online in April 2005 with a corrected missing date string.     

Asymptotic behaviour of a Brownian motion on exterior domains

We study the asymptotic behaviour of the transition density of a Brownian motion in ?, killed at ∂?, where ? ^c is a compact non polar set. Our main result concern dimension d = 2, where we show that the transition density p ^? _t (x, y) behaves, for large t, as u(x)u(y)(t(log t)²)⁻¹ for x, y∈?, where u is the unique positive harmonic function vanishing on (∂?) ^r , such that u(x) ∼ log ∣x∣. Received: 29 January 1999 / Revised version: 11 May 1999     

Problem with periodicity conditions for a degenerating equation of mixed type

For the equation K(t)u _xx + u _tt − b ² K(t)u = 0 in the rectangular domain D = “(x, t)‖ 0 < x < 1, −α < t < β”, where K(t) = (sgnt)|t| ^m , m > 0, and b > 0, α > 0, and β > 0 are given real numbers, we use the spectral method to obtain necessary and sufficient conditions for the unique solvability of the boundary value problem u(0, t) = u(1, t), u _x (0, t) = u _x (1, t), −α ≤ t ≤ β, u(x, β) = φ(x), u(x,−α) = ψ(x), 0 ≤ x ≤ 1.     

Solution of the Transmission Problem

The solution of the following transmission problem for the Laplace equation is constructed: Δu ₊=0 in G ⁺, Δu ₋=0 in G ⁻, u ₊−u ₋=f in ∂ G ⁺, n⋅(∇ u ₊−a ∇ u ₋)+b τ⋅(∇ u ₊−∇ u ₋)+h ₊ u ₊+h ₋ u ₋=g in ∂ G ⁺.     

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     

Scale limit of a variational inequality modeling diffusive flux in a domain with small holes and strong adsorption in case of a critical scaling

In this paper we study the asymptotic behavior of solutions u _ɛ of the elliptic variational inequality for the Laplace operator in domains periodically perforated by balls with radius of size C ₀ɛ_α, C ₀ > 0, α = n/n−2, and distributed with period ɛ. On the boundary of balls, we have the following nonlinear restrictions u _ɛ ≥ 0, ∂_ν u _ɛ ≥ −ɛ^−ασ(x, u _ɛ), u _ɛ(∂_ν u _ɛ + ɛ^−ασ(x, u _ɛ)) = 0. The weak convergence of the solutions u _ɛ to the solution of an effective variational equality is proved. In this case, the effective equation contains a nonlinear term which has to be determined as solution of a functional equation. Furthermore, a corrector result with respect to the energy norm is given.     

Conservative finite difference scheme for a singularly perturbed elliptic reaction-diffusion equation: Approximation of solutions and derivatives

A boundary value problem for a singularly perturbed elliptic reaction-diffusion equation in a vertical strip is considered. The derivatives are written in divergent form. The derivatives in the differential equation are multiplied by a perturbation parameter ɛ², where ɛ takes arbitrary values in the interval (0, 1]. As ɛ → 0, a boundary layer appears in the solution of this problem. Using the integrointerpolational method and the condensing grid technique, conservative finite difference schemes on flux grids are constructed that converge ɛ-uniformly at a rate of O(N ₁⁻²ln² N ₁ + N ₂⁻²), where N ₁ + 1 and N ₂ + 1 are the number of mesh points on the x ₁-axis and the minimal number of mesh points on a unit interval of the x ₂-axis respectively. The normalized difference derivatives ɛ ^k (∂ ^k /∂x ₁ ^k )u(x) (k = 1, 2), which are ɛ-uniformly bounded and approximate the normalized derivatives in the direction across the boundary layer, and the derivatives along the boundary layer (∂ ^k /∂ x ₂ ^k )u(x) (k = 1, 2) converge ɛ-uniformly at the same rate.     

Quasilinear elliptic equations with Neumann boundary and singularity

Let Ω be a bounded domain with a smooth C2 boundary in RN（N ≥ 3）, 0 ∈Ω, and n denote the unit outward normal to ЭΩ.We are concerned with the Neumann boundary problems： -div（｜x｜α｜△u｜p-2△u）=｜x｜βup（α,β）-1-λ｜x｜γup-1,u（x）〉0,x∈Ω,Эu/Эn=0 on ЭΩ,where 1〈p〈N and α〈0,β〈0 such that p（α,β）△=p（N＋β）/N-p＋α〉p,y〉α-p.For various parameters α,βorγ,we establish certain existence results of the solutions in the case 0∈Ω or 0∈ЭΩ.     

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.     

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.     

Asymptotic separation for independent trajectories of Markov processes

We say that n independent trajectories ξ₁(t),…,ξ _n (t) of a stochastic process ξ(t)on a metric space are asymptotically separated if, for some ɛ > 0, the distance between ξ _i (t _i ) and ξ _j (t _j ) is at least ɛ, for some indices i, j and for all large enough t ₁,…,t _n , with probability 1. We prove sufficient conitions for asymptotic separationin terms of the Green function and the transition function, for a wide class of Markov processes. In particular,if ξ is the diffusion on a Riemannian manifold generated by the Laplace operator Δ, and the heat kernel p(t, x, y) satisfies the inequality p(t, x, x) ≤ Ct ^−ν/2 then n trajectories of ξ are asymptotically separated provided . Moreover, if for some α∈(0, 2)then n trajectories of ξ^(α) are asymptotically separated, where ξ^(α) is the α-process generated by −(−Δ)^α/2. Received: 10 June 1999 / Revised version: 20 April 2000 / Published online: 14 December 2000 RID="*" ID="*" Supported by the EPSRC Research Fellowship B/94/AF/1782 RID="**" ID="**" Partially supported by the EPSRC Visiting Fellowship GR/M61573     

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,

Global existence and time decay of small solutions to the landau-ginzburg type equations

We study the Cauchy problem for the nonlinear dissipative equations (0.1) uo∂u-αδu + Β|u|^2/n u = 0,x ∃ Rⁿ,t } 0,u(0,x) = u0(x),x ∃ Rⁿ, where α,Β ∃ C, ℜα 0. We are interested in the dissipative case ℜα 0, and ℜδ(α,Β)≥ 0, θ = |∫ u0(x)dx| ⊋ 0, where δ(α, Β) = ##|α|^n-1n^n/2 / ((n + 1)|α|² + α^{2 n/2}. Furthermore, we assume that the initial data u₀ ∃ L^p are such that (1 + |x|)^αu0 ∃ L¹, with sufficiently small norm ∃ = (1 + |x|)^α u₀ 1 + u₀ p, wherep 1, α ∃ (0,1). Then there exists a unique solution of the Cauchy problem (0.1)u(t, x) ∃ C ((0, ∞); L^∞) ∩ C ([0, ∞); L¹ ∩ L^p) satisfying the time decay estimates for allt0 u(t)||_∞ Cɛt^-n/2(1 + η log 〈t〉)^-n/2, if hg = θ^2/n 2_π ℜδ(α, Β) 0; u(t)||_∞ Cɛt^-n/2(1 + Μ log 〈t〉)^-n/4, if η = 0 and Μ = θ^4/n 4π)² (ℑδ(α, Β))² ℜ((1 + 1/n) υ1-1 υ2) 0; and u(t)||_∞ Cɛt^-n/2(1 + κ log 〈t〉)^-n/6, if η = 0, Μ = 0, κ 0, where υl,l = 1,2 are defined in (1.2), κ is a positive constant defined in (2.31).     

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 -β）.     

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.