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.     

On the outradius of the teichmüller space

Let Γ be a fuchsian group which preserves the unit disc Δ and hence also its complement Δ^* in the Riemann sphere . The Bers embedding represents the Teichm=:uller space T(Γ) of Γ in the space (B (Δ^*, Γ) of bounded quadratic differentials for Γ in Δ^*. Then, T(Γ) is included in the closed ball centred at the origin of radius 6 inB(Δ^*, Γ) with respect to the norm employed in a paper by Nehari [The Schwarzian derivative and Schlicht functions; Bull. Amer. Math. Soc. 55 (1949), 545–551]. In other words the outradiuso(Γ) ofT(Γ) is not greater than 6. The purpose of this paper is to give a complete characterization of a fuchsian group Γ for which the outradiuso(Γ) ofT(Γ) attains this extremal value 6. The main theorem is: Let Γ be a fuchsian group preserving Δ^*. Then the outradiuso(Γ) of the Teichmüller spaceT(Γ) equals 6 if and only if for any positive numberd, either (i) there exists a hyperbolic disc of radiusd precisely invariant under the trivial subgroup, or (ii) there exists the collar of widthd about the axis of a hyperbolic element of Γ. Dedicated to Professor K?taro Oikawa on his 60th birthday     

Space-time discontinuos Galerkin method for solving nonstationary convection-diffusion-reaction problems

The paper presents the theory of the discontinuous Galerkin finite element method for the space-time discretization of a linear nonstationary convection-diffusion-reaction initial-boundary value problem. The discontinuous Galerkin method is applied separately in space and time using, in general, different nonconforming space grids on different time levels and different polynomial degrees p and q in space and time discretization, respectively. In the space discretization the nonsymmetric interior and boundary penalty approximation of diffusion terms is used. The paper is concerned with the proof of error estimates in “L ²(L ²)”-and “ ”-norms, where ɛ ⩾ 0 is the diffusion coefficient. Using special interpolation theorems for the space as well as time discretization, we find that under some assumptions on the shape regularity of the meshes and a certain regularity of the exact solution, the errors are of order O(h ^p + τ ^q ). The estimates hold true even in the hyperbolic case when ɛ = 0.     

Average bending of convex pleated planes in hyperbolic three-space

If P is a pleated plane in 3-dimensional hyperbolic space H ³ and α a geodesic in its intrinsic metric we define B(P,α), the average bending of P in the direction α. We show that if P is a convex pleated plane embedded in H ³ then B(P,α)≤K for some universal K. Furthermore if P_Γ is a boundary component of the convex hull of a quasi-Fuchsian group Γ then B(P_Γ,α)=B(Γ) almost everywhere, where B(Γ) is a constant times the length of the bending lamination β_Γ of the pleated surface X _Γ=P_Γ/Γ. We use these to prove a number of results about quasi-Fuchsian groups including a universal bound on the Lipschitz constant for the map to infinity and a bound on the length of β_Γ by a constant times the Euler characteristic of X _Γ. Oblatum 10-X-1996 & 23-V-1997     

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.     

Criteria for monogenicity of Clifford algebra-valued functions on fractal domains

Suppose that Ω is a bounded domain with fractal boundary Γ in ${\mathbb R^{n+1}}Suppose that Ω is a bounded domain with fractal boundary Γ in \mathbb Rⁿ⁺¹{\mathbb R^{n+1}} and let \mathbb R_0,n{\mathbb R_{0,n}} be the real Clifford algebra constructed over the quadratic space \mathbb Rⁿ{\mathbb R^{n}}. Furthermore, let U be a \mathbb R_0,n{\mathbb R_{0,n}}-valued function harmonic in Ω and H?lder-continuous up to Γ. By using a new Clifford Cauchy transform for Jordan domains in \mathbb Rⁿ⁺¹{\mathbb R^{n+1}} with fractal boundaries, we give necessary and sufficient conditions for the monogenicity of U in terms of its boundary value u = U|_Γ. As a consequence, the results of Abreu Blaya et al. (Proceedings of the 6th International ISAAC Congress Ankara, 167–174, World Scientific) are extended, which require Γ to be Ahlfors-David regular.     

Harmonicity of Quasiconformal Measures and Poisson Boundaries of Hyperbolic Spaces

We consider a group Γ of isometries acting on a proper (not necessarily geodesic) δ -hyperbolic space X. For any continuous α-quasiconformal measure ν on ∂X assigning full measure to Λ _r , the radial limit set of Γ, we produce a (nontrivial) measure μ on Γ for which ν is stationary. This means that the limit set together with ν forms a μ-boundary and ν is harmonic with respect to the random walk induced by μ. As a basic example, take and Γ to be any geometrically finite Kleinian group with ν a Patterson-Sullivan measure for Γ. In the case when X is a CAT(−1) space and Γ is discrete with quasiconvex action, we show that (Λ _r , ν) is the Poisson boundary for μ. In the course of the proofs, we establish sufficient conditions for a set of continuous functions to form a positive basis, either in the L ¹ or L ^∞ norm, for the space of uniformly positive lower-semicontinuous functions on a general metric measure space. The first author was supported in part by an NSF postdoctoral fellowship and DMS-0420432. The second author was supported in part by an NSF postdoctoral fellowship.     

Spectral Solutions of Self-adjoint Elliptic Problems with Immersed Interfaces

This paper describes a spectral representation of solutions of self-adjoint elliptic problems with immersed interfaces. The interface is assumed to be a simple non-self-intersecting closed curve that obeys some weak regularity conditions. The problem is decomposed into two problems, one with zero interface data and the other with zero exterior boundary data. The problem with zero interface data is solved by standard spectral methods. The problem with non-zero interface data is solved by introducing an interface space H _Γ(Ω) and constructing an orthonormal basis of this space. This basis is constructed using a special class of orthogonal eigenfunctions analogously to the methods used for standard trace spaces by Auchmuty (SIAM J. Math. Anal. 38, 894–915, 2006). Analytical and numerical approximations of these eigenfunctions are described and some simulations are presented.     

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.     

Optimal Regularity of Lower-Dimensional Obstacle Problems

In this paper, we prove that solutions to the “boundary obstacle problem” have the optimal regularity, C^1,1/2, in any space dimension. This bound depends only on the local L²-norm of the solution. Main ingredients in the proof are the quasiconvexity of the solution and a monotonicity formula for an appropriate weighted average of the local energy of the normal derivative of the solution. Bibliography: 8 titles. Dedicated to Nina Nikolaevna Uraltseva on the occasion of her 70th birthday __________ Published in Zapiski Nauchnykh Seminarov POMI, Vol. 310, 2004, pp. 49–66.     

Representation of a solution of the dirichlet problem in a planar cusp domain as a logarithmic single-layer potential

The problem of representing the solution of the Dirichlet problem for the Laplace equation as a single-layer potential V _ϱ with unknown density ϱ is known to lead to the equation V _ϱ = f for density ϱ, where f is the Dirichlet boundary data. Let Γ be the boundary of a bounded planar domain with an outward or inward peak and T(Γ) be the space of the traces on Γ of functions with finite Dirichlet integral over R ². It is shown that the operator $ L_2 \left( \Gamma \right) \ominus 1 \mathrel\backepsilon \varrho \to V\left. \varrho \right|\Gamma \in T\left( \Gamma \right) $ L_2 \left( \Gamma \right) \ominus 1 \mathrel\backepsilon \varrho \to V\left. \varrho \right|\Gamma \in T\left( \Gamma \right) is continuous, and the operator $ \varrho \to V\varrho - \overline {V\varrho } $ \varrho \to V\varrho - \overline {V\varrho } (where $ \bar u $ \bar u denotes u averaged over Γ) can be uniquely extended to the isomorphism      

A free boundary problem of type-I superconductivity

1.IntroductionSuperconductorsofTypeIarematerialswhicharecapableofchangingfromthephaseofbeingnormalconductorstoaphasewherethereisnoresistancetothemotionoffreeelections.InnormalconductorphasethenormalizedMaxwellequations(neglectingdisplacementcurrents)aretogetherwithOhm'slawj~acEwhereuistheelectricconductivity.InasuperconductingphaseOhm'slawisnolongervalidandMaxwell'sequationsaresupplemelltedbytheGinzburg-Landaufieldequationsll].Underisothermalconditions,thechangeofphasefromsuperconductingto…     

Compact Surfaces with Constant Gaussian Curvature in Product Spaces

We prove that the only compact surfaces of positive constant Gaussian curvature in \mathbbH²×\mathbbR{\mathbb{H}^{2}\times\mathbb{R}} (resp. positive constant Gaussian curvature greater than 1 in \mathbbS²×\mathbbR{\mathbb{S}^{2}\times\mathbb{R}}) whose boundary Γ is contained in a slice of the ambient space and such that the surface intersects this slice at a constant angle along Γ, are the pieces of a rotational complete surface. We also obtain some area estimates for surfaces of positive constant Gaussian curvature in \mathbbH²×\mathbbR{\mathbb{H}^{2}\times\mathbb{R}} and positive constant Gaussian curvature greater than 1 in \mathbbS²×\mathbbR{\mathbb{S}^{2}\times\mathbb{R}} whose boundary is contained in a slice of the ambient space. These estimates are optimal in the sense that if the bounds are attained, the surface is again a piece of a rotational complete surface.     

Un critère de rationalité provenant de la géométrie non commutative

We prove a conjecture of A. Connes, which gives a rationality criterion for elements of the closure of ℂΓ (Γ a free group) in the space of bounded operators in l ² (Γ). We show that this criterion applies also to the ring of Malcev–Neumann series on Γ.

---

---

Oblatum 2-VIII-1996 & 20-IX-1996     

Optimal Three Cylinder Inequality at the Boundary for Solutions to Parabolic Equations and Unique Continuation Properties

Let Γ be a portion of a C ^1,α boundary of an n-dimensional domain D. Let u be a solution to a second order parabolic equation in D × (–T, T) and assume that u = 0 on Γ × (–T, T), 0 ∈ Γ. We prove that u satis.es a three cylinder inequality near Γ × (–T, T) . As a consequence of the previous result we prove that if u (x, t) = O (|x|^k) for every t ∈ (–T, T) and every k ∈ ℕ, then u is identically equal to zero. This work is partially supported by MURST, Grant No. MM01111258     

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 Holmgren-John uniqueness theorem for the wave equation with piecewise analytic coefficients

In this paper a uniqueness theorem is proved for the wave equation in the domain Q^2T=Ω×(0,2T), where Ω is a piecewise analytic Riemannian manifold (Riemannian polyhedron). Initial data are assumed to be given on a part Γ₀ × (0, 2T) of the space-time boundary of the cylinder Q^2T, Γ₀. The uniqueness of a weak solution is proved “in the large,” in a domain formed by the corresponding characteristics of the wave equation. Bibliography:24 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 203, 1992, pp. 113–136. Translated by T. N. Surkova.     

On the homotopy of the stable mapping class group

By considering all surfaces and their mapping class groups at once, it is shown that the classifying space of the stable mapping class group after plus construction, BΓ_∞ ⁺, has the homotopy type of an infinite loop space. The main new tool is a generalized group completion theorem for simplicial categories. The first deloop of BΓ_∞ ⁺ coincides with that of Miller [M] induced by the pairs of pants multiplication. The classical representation of the mapping class group onto Siegel's modular group is shown to induce a map of infinite loop spaces from BΓ_∞ ⁺ to K-theory. It is then a direct consequence of a theorem by Charney and Cohen [CC] that there is a space Y such that BΓ_∞ ⁺≃Im J _(1/2)×Y, where Im J _(1/2) is the image of J localized away from the prime 2. Oblatum 23-X-1995 &19-XI-1996     

Torsion in Boundary Coinvariants and K -Theory for Affine Buildings

Let (G, I, N, S) be an affine topological Tits system, and let Γ be a torsion-free cocompact lattice in G. This article studies the coinvariants H ₀(Γ; C(Ω,Z)), where Ω is the Furstenberg boundary of G. It is shown that the class [1] of the identity function in H ₀(Γ; C(Ω, Z)) has finite order, with explicit bounds for the order. A similar statement applies to the K ₀ group of the boundary crossed product C ^*-algebra C(Ω)Γ. If the Tits system has type ? ₂, exact computations are given, both for the crossed product algebra and for the reduced group C ^*-algebra.