Multiscale stochastic homogenization of convection-diffusion equations

Multiscale stochastic homogenization is studied for convection-diffusion problems. More specifically, we consider the asymptotic behaviour of a sequence of realizations of the form ∂u _ɛ ^ω / ∂t+1 / ɛ ₃ C(T ₃(x/ɛ ₃)ω ₃) · ∇u _ɛ ^ω − div(α(T ₂(x/ɛ ₂)ω ₂, t) ∇u _ɛ ^ω ) = f. It is shown, under certain structure assumptions on the random vector field C(ω ₃) and the random map α(ω ₁, ω ₂, t), that the sequence {u _ɛ ^ω } of solutions converges in the sense of G-convergence of parabolic operators to the solution u of the homogenized problem ∂u/∂t − div (B(t)∇u= f).     

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.      

Existence principles for higher-order nonlocal boundary-value problems and their applications to singular Sturm-Liouville problems

We present existence principles for the nonlocal boundary-value problem (φ(u^(p−1)))′=g(t,u,...,u^(p−1), α_k(u)=0, 1≤k≤p−1, where p ≥ 2, π: ℝ → ℝ is an increasing and odd homeomorphism, g is a Carathéodory function that is either regular or has singularities in its space variables, and α _k: C ^p−1[0, T] → ℝ is a continuous functional. An application of the existence principles to singular Sturm-Liouville problems (−1)ⁿ(φ(u⁽²ⁿ⁻⁾))′=f(t,u,...,u⁽²ⁿ⁻¹⁾), u^(2k)(0)=0, α_ku^(2k)(T)+b_ku^(2k=1)(T)=0, 0≤k≤n−1, is given. Published in Ukrains’kyi Matematychnyi Zhurnal, Vol. 60, No. 2, pp. 240–259, February, 2008.     

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.     

A finite difference scheme of improved accuracy on a priori adapted grids for a singularly perturbed parabolic convection-diffusion equation

In the case of the Dirichlet problem for a singularly perturbed parabolic convection-diffusion equation with a small parameter ɛ multiplying the higher order derivative, a finite difference scheme of improved order of accuracy that converges almost ɛ-uniformly (that is, the convergence rate of this scheme weakly depends on ɛ) is constructed. When ɛ is not very small, this scheme converges with an order of accuracy close to two. For the construction of the scheme, we use the classical monotone (of the first order of accuracy) approximations of the differential equation on a priori adapted locally uniform grids that are uniform in the domains where the solution is improved. The boundaries of such domains are determined using a majorant of the singular component of the grid solution. The accuracy of the scheme is improved using the Richardson technique based on two embedded grids. The resulting scheme converges at the rate of O((ɛ⁻¹ N ^−K ln² N)² + N ⁻²ln⁴ N + N ₀⁻²) as N, N ₀ → ∞, where N and N ₀ determine the number of points in the meshes in x and in t, respectively, and K is a prescribed number of iteration steps used to improve the grid solution. Outside the σ-neighborhood of the lateral boundary near which the boundary layer arises, the scheme converges with the second order in t and with the second order up to a logarithmic factor in x; here, σ = O(N ^{−(K − 1)}ln² N). The almost ɛ-uniformly convergent finite difference scheme converges with the defect of ɛ-uniform convergence ν, namely, under the condition N ⁻¹ ≪ ɛ^ν, where ν determining the required number of iteration steps K (K = K(ν)) can be chosen sufficiently small in the interval (0, 1]. When ɛ⁻¹ = O(N ^{K − 1}), the scheme converges at the rate of O(N ⁻²ln⁴ N + N ₀⁻²).     

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.     

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     

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.     

Semilinear elliptic equations with uniform blow-up on the boundary

We prove the existence and the uniqueness of a solutionu of−Lu+h|u| ^α-1u=f in some open domain ℝ^d, whereL is a strongly elliptic operator,f a nonnegative function, and α>1, under the assumption that ∂G is aC ² compact hypersurface, lim _x→∂G (dist(x, ∂G))^2α/(α-1) f(x)=0, and lim _x→∂G u(x)=∞.     

Almost-sure central limit theorem for a Markov model of random walk in dynamical random environment

Summary We consider a model of random walk on ℤ^ν, ν≥2, in a dynamical random environment described by a field ξ={ξ _t (x): (t,x)∈ℤ^ν+1}. The random walk transition probabilities are taken as P(X _{t +1}= y|X _t = x,ξ _t =η) =P ₀( y−x)+ c(y−x;η(x)). We assume that the variables {ξ _t (x):(t,x) ∈ℤ^ν+1} are i.i.d., that both P ₀(u) and c(u;s) are finite range in u, and that the random term c(u;·) is small and with zero average. We prove that the C.L.T. holds almost-surely, with the same parameters as for P ₀, for all ν≥2. For ν≥3 there is a finite random (i.e., dependent on ξ) correction to the average of X _t , and there is a corresponding random correction of order to the C.L.T.. For ν≥5 there is a finite random correction to the covariance matrix of X _t and a corresponding correction of order to the C.L.T.. Proofs are based on some new L ^p estimates for a class of functionals of the field. Received: 4 January 1996/In revised form: 26 May 1997     

Singularly perturbed elliptic boundary value problems

Summary The paper treats elliptic operators of the form L(ɛ∂₁, ..., ɛ∂_n), where L is a polynomial in a variables of order 2m₁, and ɛ is a small parameter. Solutionsu _ɛ of Lu=0 in a half space satisfyng conditions B_j(ɛ∂₁, ɛ∂₂, ..., ɛ∂_n)u=ɛγ_jϕ_j(x)(j=1, ..., m₁) on the boundary are constructed and estimated using H?lder norms, Poisson kernels, and an elaborate potential theory. Properties of the interior limit u₀=u _ɛ(κ) are studied. The paper is preparatory to a detailed investigation of Schauder estimates for such problems with variables coefficients. Supported in part by N. S. F. Grant GP-11660. Entrata in Redazione il 9 gennaio 1971.     

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).     

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     

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     

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

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.     

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.     

Construction of Rank 2 Semistable Torsion Free Sheaves Which Are Not Limit of Vector Bundles

We show the following theorem of compensated compactness type: Ifu _n ⇁u weakly in the spaceH ^1,p (Ω, ℝ ^k ) and if also in the sense of distributions then ∂_α(∣∇u∣ ^p-2∂_α u)=0. This result has applications in the partial regularity theory ofp-stationary mappings Ω→S ^k −1.     

Asymptotic behavior on the Hénon equation with supercritical exponent

The main purpose of this paper is to analyze the asymptotic behavior of the radial solution of Hénon equation −Δu = |x| ^α u ^p−1, u > 0, x ∈ B _R (0) ⊂ ℝ ⁿ (n ⩾ 3), u = 0, x ∈ ∂B _R (0), where $ p \to p(\alpha ) = \frac{{2(n + \alpha )}} {{n - 2}} $ p \to p(\alpha ) = \frac{{2(n + \alpha )}} {{n - 2}} from left side, α > 0.     

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