Boundary Asymptotic Analysis for an Incompressible Viscous Flow: Navier Wall Laws

We consider a new way of establishing Navier wall laws. Considering a bounded domain Ω of R ^N , N=2,3, surrounded by a thin layer Σ _ε , along a part Γ₂ of its boundary ∂Ω, we consider a Navier-Stokes flow in Ω∪∂Ω∪Σ _ε with Reynolds’ number of order 1/ε in Σ _ε . Using Γ-convergence arguments, we describe the asymptotic behaviour of the solution of this problem and get a general Navier law involving a matrix of Borel measures having the same support contained in the interface Γ₂. We then consider two special cases where we characterize this matrix of measures. As a further application, we consider an optimal control problem within this context.     

On the steady Navier–Stokes boundary value problem in an unbounded 2D domain with arbitrary fluxes through the components of the boundary

We prove the existence of a weak solution to the steady Navier–Stokes problem in a 2D domain Ω, whose boundary ∂Ω consists of two unbounded components Γ ₋ and Γ ₊. We impose an inhomogeneous Dirichlet—type boundary condition on ∂Ω. The condition implies no restriction on fluxes of the solution through the components Γ ₋ and Γ ₊.     

Convexes divisibles IV : Structure du bord en dimension 3

Divisible convex sets IV: Boundary structure in dimension 3 Let Ω be an indecomposable properly convex open subset of the real projective 3-space which is divisible i.e. for which there exists a torsion free discrete group Γ of projective transformations preserving Ω such that the quotient M := Γ\Ω is compact. We study the structure of M and of ∂Ω, when Ω is not strictly convex: The union of the properly embedded triangles in Ω projects in M onto an union of finitely many disjoint tori and Klein bottles which induces an atoroidal decomposition of M. Every non extremal point of ∂Ω is on an edge of a unique properly embedded triangle in Ω and the set of vertices of these triangles is dense in the boundary of Ω (see Figs. 1 to 4). Moreover, we construct examples of such divisible convex open sets Ω.      

W 2,p -a priori estimates for the emergent Poincaré Problem

We derive W ^2,p (Ω)-a priori estimates with arbitrary p ∈(1, ∞), for the solutions of a degenerate oblique derivative problem for linear uniformly elliptic operators with low regular coefficients. The boundary operator is given in terms of directional derivative with respect to a vector field ℓ that is tangent to ∂Ω at the points of a non-empty set ε ⊂ ∂Ω and is of emergent type on ∂Ω.      

On homogenization of the mixed boundary-value problem for the heat equation in a domain whose part contains channels arranged in a periodic way

In this paper, we study the asymptotic behavior of the solutionsu _ε (ε is a small parameter) of boundaryvalue problems for the heat equation in the domain Ω_ε=Ω⁻∪Ω _ε ⁺ ∪γ one part of which (Ω _ε ⁺ ) contains ε-periodically situated channels with diameters of order ε and the other part of which (Ω⁺) is a homogeneous medium; γ=∂Ω _ε ⁺ ∩∂Ω⁺. On the boundary of the channels the Neumann boundary condition is posed, and on ∂Ω_ε∩∂Ω the Dirichlet boundary condition is prescribed. The homogenized problem is the Dirichlet problem in Ω with the transmission condition on γ. The estimates for the difference betweenu _ε and the solution of the homogenized problem are obtained. Bibliography: 14 titles. Translated from Trudy Seminara imeni I. G. Petrovskogo, No. 20, pp. 27–47, 1997.     

A spectral method for elliptic equations: the Neumann problem

Let Ω be an open, simply connected, and bounded region in ℝ ^d , d ≥ 2, and assume its boundary ∂Ω is smooth. Consider solving the elliptic partial differential equation − Δu + γu = f over Ω with a Neumann boundary condition. The problem is converted to an equivalent elliptic problem over the unit ball B, and then a spectral method is given that uses a special polynomial basis. In the case the Neumann problem is uniquely solvable, and with sufficiently smooth problem parameters, the method is shown to have very rapid convergence. Numerical examples illustrate exponential convergence.     

On representation of the solution of the Neumann problem in a domain with peak by the harmonic simple layer potential

The problem of finding a solution of the Neumann problem for the Laplacian in the form of a simple layer potential Vρ with unknown density ρ is known to be reducible to a boundary integral equation of the second kind to be solved for density. The Neumann problem is examined in a bounded n-dimensional domain Ω⁺ (n > 2) with a cusp of an outward isolated peak either on its boundary or in its complement Ω⁻ = R ⁿ \Ω⁺. Let Γ be the common boundary of the domains Ω^±, Tr(Γ) be the space of traces on Γ of functions with finite Dirichlet integral over R ⁿ , and Tr(Γ)* be the dual space to Tr(Γ). We show that the solution of the Neumann problem for a domain Ω⁻ with a cusp of an inward peak may be represented as Vρ⁻, where ρ⁻ ∈ Tr(Γ)* is uniquely determined for all Ψ⁻ ∈ Tr(Γ)*. If Ω⁺ is a domain with an inward peak and if Ψ⁺ ∈ Tr(Γ)*, Ψ⁺ ⊥ 1, then the solution of the Neumann problem for Ω⁺ has the representation u ⁺ = Vρ⁺ for some ρ⁺ ∈ Tr(Γ)* which is unique up to an additive constant ρ₀, ρ₀ = V ⁻¹(1). These results do not hold for domains with outward peak.     

Remarks on the uniqueness of comparable renormalized solutions of elliptic equations with measure data

We give a partial uniqueness result concerning comparable renormalized solutions of the nonlinear elliptic problem -div(a(x,Du))=μ in Ω, u=0 on ∂Ω, where μ is a Radon measure with bounded variation on Ω. Received: December 27, 2000 Published online: December 19, 2001     

Embedding of hyperbolic groups into products of binary trees

We show that every Gromov hyperbolic group Γ admits a quasi-isometric embedding into the product of n+1 binary trees, where n=dim∂_∞Γ is the topological dimension of the boundary at infinity of Γ.     

Boundaries of random walks on graphs and groups with infinitely many ends

Consider an irreducible random walk {Z _n} on a locally finite graphG with infinitely many ends, and assume that its transition probabilities are invariant under a closed group Γ of automorphisms ofG which acts transitively on the vertex set. We study the limiting behaviour of {Z _n} on the spaceΩ of ends ofG. With the exception of a degenerate case,Ω always constitutes a boundary of Γ in the sense of Furstenberg, and {Z _n} converges a.s. to a random end. In this case, the Dirichlet problem for harmonic functions is solvable with respect toΩ. The degenerate case may arise when Γ is amenable; it then fixes a unique end, and it may happen that {Z _n} converges to this end. If {Z _n} is symmetric and has finite range, this may be excluded. A decomposition theorem forΩ, which may also be of some purely graph-theoretical interest, is derived and applied to show thatΩ can be identified with the Poisson boundary, if the random walk has finite range. Under this assumption, the ends with finite diameter constitute a dense subset in the minimal Martin boundary. These results are then applied to random walks on discrete groups with infinitely many ends.     

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     

A stability estimate for an elliptic problem

We investigate the Caucy problem for linear elliptic operators withC ^∞-coefficients at a regular domain ℝ ⊂ ℝ, which is a classical example of an ill-posed problem. The Cauchy data are given at the manifold Γ⊂∂Ω and our goal is to obtain a stability estimate inH ₄(Ω).     

Overdetermined problems with possibly degenerate ellipticity, a geometric approach

Given an open bounded connected subset Ω of ℝⁿ, we consider the overdetermined boundary value problem obtained by adding both zero Dirichlet and constant Neumann boundary data to the elliptic equation −div(A(|∇u|)∇u)=1 in Ω. We prove that, if this problem admits a solution in a suitable weak sense, then Ω is a ball. This is obtained under fairly general assumptions on Ω and A. In particular, A may be degenerate and no growth condition is required. Our method of proof is quite simple. It relies on a maximum principle for a suitable P-function, combined with some geometric arguments involving the mean curvature of ∂Ω.     

The Gleason''''s problem on mixed norm spaces in convex domains

Let Ω be a bounded convex domain with C2 boundary in C2 and for given 0 < p, q ≤∞ and normal weight function (r) let Hp,q, be the mixed norm space on Ω. In this paper we prove that the Gleason's problem (Ω, a, Hp,q,) is solvable for any fixed point a ∈ Ω. While solving the Gleason's problem we obtain the boundedness of certain integral operator on Hp,q,.     

Selfadjoint extensions of the operator of the Dirichlet problem in a 3-dimensional region with an edge

Taking various viewpoints, we study the selfadjoint extensions $ \mathcal{A} $ \mathcal{A} of the operator A of the Dirichlet problem in a 3-dimensional region Ω with an edge Γ. We identify the infinite dimensional nullspace def A with the Sobolev space H ^−ϰ(Γ) on Γ with variable smoothness exponent −ϰ ∈ (−1, 0); while the selfadjoint extensions, with selfadjoint operators $ \mathcal{T} $ \mathcal{T} on the subspaces of H ^−ϰ(Γ). To the boundary value problem in the region with a “smoothed” edge we associate a concrete extension, which yields a more precise approximate solution to the singularly perturbed problem.     

Solution of two-dimensional boundary value problems corresponding to initial-boundary value problems of diffusion on a right cylinder

We consider boundary value problems for the differential equations Δ₂ u + B u = 0 with operator coefficients B corresponding to initial-boundary value problems for the diffusion equation Δ₃ u − pu = ∂ _t u (p > 0) on a right cylinder with inhomogeneous boundary conditions on the lateral surface of the cylinder with zero boundary conditions on the bases of the cylinder and with zero initial condition. For their solution, we derive specific boundary integral equations in which the space integration is performed only over the lateral surface of the cylinder and the kernels are expressed via the fundamental solution of the two-dimensional heat equation and the Green function of corresponding one-dimensional initial-boundary value problems of diffusion. We prove uniqueness theorems and obtain sufficient existence conditions for such solutions in the class of functions with continuous L ₂-norm.     

The Upper Bounds of Arbitrary Eigenvalues for Uniformly Elliptic Operators with Higher Orders

Let Ωbelong to R^m （m≥ 2） be a bounded domain with piecewise smooth and Lipschitz boundary δΩ Let t and r be two nonnegative integers with t ≥ r ＋ 1. In this paper, we consider the variable-coefficient eigenvalue problems with uniformly elliptic differential operators on the left-hand side and （-Δ）^T on the right-hand side. Some upper bounds of the arbitrary eigenvalue are obtained, and several known results are generalized.     

Homogenization of a model spectral problem for the Laplace operator in a domain with many closely located “ heavy” and “intermediate heavy” concentrated masses

We study the asymptotic behavior of eigenelements of boundary value problems in a domain Ω ⊂ ℝ^d, d ⩾ 3, with rapidly alternating type of boundary conditions. The density is equal to 1 outside tiny domains and is equal to ε^−m inside them, where ε is a small parameter. These domains (concentrated masses) of diameter εa are located on the boundary at a positive distance of order O(ε) from each other, where a = const. The Dirichlet boundary condition is on parts of ∂Ω that are tangent to concentrated masses, and the Neumann boundary condition is stated outside concentrated masses. We construct the limit (homogenized) operator, prove the convergence of eigenelements of the original problem to the eigenelements of the limit (homogenized) problem in the case m ⩾ 2, and estimate the difference between the eigenelements. Bibliography: 79 titles. Illustrations: 4 figures. __________ Translated from Problemy Matematicheskogo Analiza, No. 32, 2006, pp. 45–75.     

A boundary-value problem for the biharmonic equation and the iterated Laplacian in a 3D-domain with an edge

Let Ω be a domain with piecewise smooth boundary. In general, it is impossible to obtain a generalized solution u ∈ W ₂ ² (Ω) of the equation Δ _x ² u = f with the boundary conditions u = Δ_xu = 0 by solving iteratively a system of two Poisson equations under homogeneous Dirichlet conditions. Such a system is obtained by setting v = −Δu. In the two-dimensional case, this fact is known as the Sapongyan paradox in the theory of simply supported polygonal plates. In the present paper, the three-dimensional problem is investigated for a domain with a smooth edge Γ. If the variable opening angle α ∈ C^∞(Γ) is less than π everywhere on the edge, then the boundary-value problem for the biharmonic equation is equivalent to the iterated Dirichlet problem, and its solution u inherits the positivity preserving property from these problems. In the case α ∈ (π 2π), the procedure of solving the two Dirichlet problems must be modified by permitting infinite-dimensional kernel and co-kernel of the operators and determining the solution u ∈ W ₂ ² (Ω) by inverting a certain integral operator on the contour Γ. If α(s) ∈ (3π/2,2π) for a point s ∈ Γ, then there exists a nonnegative function f ∈ L₂(Ω) for which the solution u changes sign inside the domain Ω. In the case of crack (α = 2π everywhere on Γ), one needs to introduce a special scale of weighted function spaces. In this case, the positivity preserving property fails. In some geometrical situations, the problems on well-posedness for the boundary-value problem for the biharmonic equation and the positivity property remain open. Bibliography: 46 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 336, 2006, pp. 153–198.