Optimization of the first Steklov eigenvalue in domains with holes: a shape derivative approach

The best Sobolev trace constant is given by the first eigenvalue of a Steklov-like problem. We deal with minimizers of the Rayleigh quotient ‖u‖² _H ¹ _(Ω) ²/‖u‖² _L ² _(∂Ω) for functions that vanish in a subset A⊂ Ω, which we call the hole. We look for holes that minimize the best Sobolev trace constant among subsets of Ω with prescribed volume. First, we find a formula for the first variation of the first eigenvalue with respect to the hole. As a consequence of this formula, we prove that when Ω is a ball the symmetric hole (a centered ball) is critical when we consider deformations that preserves volume but is not optimal. Finally, we prove that by the Finite Element Method we can approximate the optimal configuration and, by means of the shape derivative, we design an algorithm to compute the discrete optimal holes. Mathematics Subject Classification (2000) 35P15, 49K20, 49M25, 49Q10     

Small into-isomorphism from L∞(A,μ) into L∞(B,υ)

In this paper we shall assert that if T is an isomorphism of L_∞(Ω₁, A, μ) into L_∞(Ω₂, B, υ) satisfying the condition ‖T‖·‖T ⁻¹‖⩽1+ɛ for ɛ∈ , then is close to an isometry with an error less than 6ε in some conditions.     

On coerciveness and semiboundedness of general boundary problems

The paper treats coerciveness inequalities (of the form Re(Au, u)≧c ‖u‖ _s ² −λ ‖u‖ ₀ ² ,c>0,λ ∈ R) and semiboundedness inequalities (of the form Re (Au, u)≧−λ ‖u‖²) for the general boundary problems associated with an elliptic 2m-order differential operatorA in a compactn-dimensional manifold with boundary. In particular, we study the normal pseudo-differential boundary conditions, for which we determine necessary and sufficient conditions for coerciveness withs=m, and for semiboundedness with ‖u‖ = ‖u‖_m, in explicit form.     

A Note on the Optimal L 2-Estimate of the Finite Volume Element Method

In this note, the optimal L ²-error estimate of the finite volume element method (FVE) for elliptic boundary value problem is discussed. It is shown that u–u _{h 0}Ch ²|ln h|^1/2f_1,1 and u–u _{h 0}Ch ²f_1,p , p>1, where u is the solution of the variational problem of the second order elliptic partial differential equation, u _h is the solution of the FVE scheme for solving the problem, and f is the given function in the right-hand side of the equation.     

Best monotone approximation and the Hardy-Littlewood maximal function

If f∈L₂[0, 1] and g^*∈L₂[0, 1] is the best non-decreasing approximation to f, then it's shown that ‖f−g^*‖₂=‖f−θ(f)‖₂, where θ(f) denotes the Hardy-Littlewood maximal function of f.     

Global behavior of the branch of positive solutions for nonlinear Sturm–Liouville problems

We consider the nonlinear Sturm–Liouville problem

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

Sharp estimates for\bar \partial on convex domains of finite typeon convex domains of finite type

Let Ω be a bounded convex domain in C _n , with smooth boundary of finite typem. The equation is solved in Ω with sharp estimates: iff has bounded coefficients, the coefficients of our solutionu are in the Lipschitz space Λ. Optimal estimates are also given when data have coefficients belonging toL ^p(Ω),p≥1. We solve the -equation by means of integral operators whose kernels are not based on the choice of a “good” support function. Weighted kernels are used; in order to reflect the geometry ofbΩ, we introduce a weight expressed in terms of the Bergman kernel of Ω.     

On the topology of a compact submanifold of a sphere with bounded second fundamental form

Leth be the second fundamental form of a compact submanifold of a unit sphere. We show that if ‖h(u, u)‖²<1/3 holds for any unit tangent vectoru at any point on the submanifold then it is a homotopy sphere.     

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.     

A sup+inf inequality for Liouville type equations with weights

We generalize a result by H. Brezis, Y. Y. Li and I. Shafrir [6] and obtain an Harnack type inequality for solutions of −Δu = |x|^2α Ve ^u in Ω for Ω ⊂ ℝ² open, α ∈ (−1, 0) and V any Lipschitz continuous function satisfying 0 < a ≤ V ≤ b < ∞ and ‖∇V‖_∞ ≤ A.     

Asymptotiques d’un systeme dynamique conservatif associe a une equation elliptique non lineaire

LetM be a compact riemannian manifold,h an odd function such thath(r)/r is non-decreasing with limit 0 at 0. Letf(r)=h(r)-γr and assume there exist non-negative constantsA andB and a realp>1 such thatf(r)>Ar ^P-B. We prove that any non-negative solutionu ofu _tt+Δ_gu=f(u) onM x ℝ⁺ satisfying Dirichlet or Neumann boundary conditions on ϖM converges to a (stationary) solution of Δ _g Φ=f(Φ) onM with exponential decay of ‖u-Φ‖C ²(M). For solutions with non-constant sign, we prove an homogenisation result for sufficiently small λ; further, we show that for every λ the map (u(0,·),u _t(0,·))→(u(t,·), u _t(t,·)) defines a dynamical system onW ^1/2(M)⊂C(M)×L ²(M) which possesses a compact maximal attractor.      

Large deviations of theL p-norm of a wiener process with drift

In this paper we calculate the exact asymptotics of the probability P{‖w(t)+uct‖ _p >u},u→∞, wherew(t) is the standard Wiener process and ‖x‖ _p is the ordinary norm in the spaceL ^p[0,1],p≥2. The result is obtained on the basis of a general theorem due to the author on the asymptotics of the Gaussian measureP(uD),u→∞, for a Borel setD belonging to a separable Banach space. Translated fromMatematicheskie Zametki, Vol. 65, No. 3, pp. 429–436, March, 1999.     

Sharp stability results for almost conformal maps in even dimensions

Let Ω, ⊂R ⁿ and n ≥ 4 be even. We show that if a sequence {u^j} in W^1,n/2(Ω;R ⁿ) is almost conformal in the sense that dist (∇u^j,R ⁺SO(n)) converges strongly to 0 in L^n/2 and if u^j converges weakly to u in W^1,n/2, then u is conformal and ∇u^j → ∇u strongly in L _loc ^q for all 1 < -q < n/2. It is known that this conclusion fails if n/2 is replaced by any smaller exponent p. We also prove the existence of a quasiconvex function f(A) that satisfies 0 ≤ f(A) ≤ C (1 + |A|^n/2) and vanishes exactly onR ⁺ SO(n). The proof of these results involves the Iwaniec-Martin characterization of conformal maps, the weak continuity and biting convergence of Jacobians, and the weak-L¹ estimates for Hodge decompositions.     

Analyticity of the sine family with L p -maximal regularity for second order Cauchy problems

If the second order problem u（t） ＋ Bu（t） ＋ Au（t） = f（t）, u（0） =u（0） = 0 has L^p-maximal regularity, 1 〈 p 〈 ∞, the analyticity of the corresponding propagator of the sine type is shown by obtaining the estimates of ‖λ（λ^2 ＋ λB ＋ A）^-1‖ and ‖B（λ^2 ＋ λB ＋ A）^-1‖ for λ∈ C with Reλ 〉 ω, where the constant ω≥ 0.     

On order preserving contractions

Let (Ω,Σ,μ) be a measure space and letP be an operator onL ₂(Ω,Σ,μ) with ‖P‖≦1,Pf≧0 a.e. wheneverf≧0. If the subspaceK is defined byK={x| ||P ⁿ x||=||P ^*n x||=||x||,n=1,2,...} thenK=L ₂(Ω,Σ₁,μ), where Σ₁ ⊂ Σ and onK the operatorP is “essentially” a measure preserving transformation. Thus the eigenvalues ofP of modulus one, form a group under multiplication. This last result was proved by Rota for finiteμ here finiteness is not assumed) and is a generalization of a theorem of Frobenius and Perron on positive matrices. The research reported in this document has been sponsored in part by Air Force Office of Scientific Research, OAR through the European Office, Aerospace Research, United States Air Force.     

Controlled stability

Summary A rest solution, p, of a control system is said to possess controlled stability if for each t _1>0 a full nbd. of points of p can be steered to p in time t ₁ by solutions of the system. Equivalently, if the system acts in a linear space and p is the origin, this states the domain of ? null controllability ? is open. We consider systems of the form with either each u_i measurable with |u_i(t)| ⩽1, or |u_i| ≤1 inL ₁ or ‖u_i‖ ≤1 in the space of regular countably additive measures, and X, Y ² , …, Y^m analytic vector fields on an analytic n-manifold. If X(p)=0 a necessary condition that the rest solution p possess controlled stability is that the dimension, at p, of the Lie algebra generated by X, Y ² , …, Y^m be n. First order sufficient conditions are well known and can be stated in terms of subsets of the elements of this Lie algebra. This paper provides two higher order sufficiency tests, together with examples of their applications. Entrata in Redazione il 14 giugno 1976. This research was supported by the National Science Foundation under grant MCS76-04419.     

Non variational basic elliptic systems of second order

Denoting byu a vector in R ^N defined on a bounded open set Ω ⊂ R ⁿ , we setH(u)={Dij u} and consider a basic differential operator of second ordera(H(u)) wherea(ξ) is a vector in R ^N , which is elliptic in the sense that it satisfies the condition (A). After a rapid comparison between this condition (A) and the classical definition of ellipticity, we shall prove that, if seu∈H ² (Ω) is a solution of the elliptic systema(H(u))=0 in Ω thenH(u)∈H _loc ^{2, q} for someq>2. We then deduce from this the so called fundamental internal estimates for the matrixH(u) and for the vectorsDu andu. We shall then present a first risult on h?lder regularity for the solutions of the system withf h?lder continuous in Ω, and a partial h?lder continuity risult for solutionsu∈H ² (Ω) of a differential systema (x, u, Du, H (u))=b(x, u, Du)     

On the Cauchy problem for elliptic equations in a disk

Letφ, ψ be smooth functions on the boundary of the unit diskB ₁. A second order uniformly elliptic operatorL and a functionu with second order derivatives inL ^p (1<p<2) are constructed with the following properties:u solvesLu=0 inB ₁ and satisfies the Cauchy dataφ, ψ on∂B ₁.     

Harmonic maps from manifolds of <Emphasis Type="Italic">L</Emphasis><Superscript>∞</Superscript>-Riemannian metrics

For a bounded domain Ω ⊂ R ⁿ endowed with L ^∞-metric g, and a C ⁵-Riemannian manifold (N, h) ⊂ R ^k without boundary, let u ∈ W ^1,2(Ω, N) be a weakly harmonic map, we prove that (1) u ∈ C ^α (Ω, N) for n = 2, and (2) for n ≥ 3, if, in additions, g ∈ VMO(Ω) and u satisfies the quasi-monotonicity inequality (1.5), then there exists a closed set Σ ⊂ Ω, with H ^n-2(Σ) = 0, such that for some α ∈ (0, 1). C. Y. Wang Partially supported by NSF.