Well-posedness and sharp uniform decay rates at the L 2(Ω)-Level of the Schrödinger equation with nonlinear boundary dissipation

We prove that the Schr?dinger equation defined on a bounded open domain of and subject to a certain attractive, nonlinear, dissipative boundary feedback is (semigroup) well-posed on L₂(Ω) for any n = 1, 2, 3, ..., and, moreover, stable on L₂(Ω) for n = 2, 3, with sharp (optimal) uniform rates of decay. Uniformity is with respect to all initial conditions contained in a given L₂(Ω)-ball. This result generalizes the corresponding linear case which was proved recently in [L-T-Z.2]. Both results critically rely—at the outset—on a far general result of interest in its own right: an energy estimate at the L₂(Ω)-level for a fully general Schr?dinger equation with gradient and potential terms. The latter requires a heavy use of pseudo-differential/micro-local machinery [L-T-Z.2, Section 10], to shift down the more natural H¹(Ω)-level energy estimate to the L₂(Ω)-level. In the present nonlinear boundary dissipation case, the resulting energy estimate is then shown to fit into the general uniform stabilization strategy, first proposed in [La-Ta.1] in the case of wave equations with nonlinear (interior and) boundary dissipation.     

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

Small oscillations of a viscous incompressible fluid with a large number of small interacting particles in the case of their surface distribution

We study the asymptotic behavior of solutions of the problem that describes small motions of a viscous incompressible fluid filling a domain Ω with a large number of suspended small solid interacting particles concentrated in a small neighborhood of a certain smooth surface Γ ⊂ Ω. We prove that, under certain conditions, the limit of these solutions satisfies the original equations in the domain Ω\Γ and some averaged boundary conditions (conjugation conditions) on Γ.     

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.     

Potential type operators and transmission problems for strongly elliptic second-order systems in Lipschitz domains

We consider a strongly elliptic second-order system in a bounded n-dimensional domain Ω⁺ with Lipschitz boundary Γ, n ≥ 2. The smoothness assumptions on the coefficients are minimized. For convenience, we assume that the domain is contained in the standard torus $ \mathbb{T}^n $ \mathbb{T}^n . In previous papers, we obtained results on the unique solvability of the Dirichlet and Neumann problems in the spaces H _p ^σ and B _p ^σ without use of surface potentials. In the present paper, using the approach proposed by Costabel and McLean, we define surface potentials and discuss their properties assuming that the Dirichlet and Neumann problems in Ω⁺ and the complementing domain Ω⁻ are uniquely solvable. In particular, we prove the invertibility of the integral single layer operator and the hypersingular operator in Besov spaces on Γ. We describe some of their spectral properties as well as those of the corresponding transmission problems.     

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

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.     

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

Asymptotic behaviour of equicoercive diffusion energies in dimension two

In this paper, we study the asymptotic behaviour of a given equicoercive sequence of diffusion energies F _n , , defined in L ²(Ω), for a bounded open subset Ω of . We prove that, contrary to the dimension three (or greater), the Γ-limit of any convergent subsequence of F _n is still a diffusion energy. We also provide an explicit representation formula of the Γ-limit when its domains contains the regular functions with compact support in Ω. This compactness result is based on the uniform convergence satisfied by some minimizers of the equicoercive sequence F _n , which is specific to the dimension two. The compactness result is applied to the period framework, when the energy density is a highly oscillating sequence of equicoercive matrix-valued functions. So, we give a definitive answer to the question of the asymptotic behaviour of periodic conduction problems under the only assumption of equicoerciveness for the two-dimensional conductivity.     

The Asymptotics of the Heat Semigroup for a General Bounded Domain with Mixed Boundary Conditions

Abstract Small-time asymptotics of the trace of the heat semigroup where {μ _ν } are the eigenvalues of the negative Laplacian in the (x ¹, x ²)-plane, is studied for a general bunded domain Ω with a smooth boundary ∂Ω, where a finite number of Dirichlet, Neumann and Robin boundary conditions, on the piecewise smooth parts Γ _i (i = 1, ..., n) of ∂Ω such that , are considered. Some geometrical properties associated with Ω are determined.     

Recovering of Damping Coefficients for a System of Coupled Wave Equations with Neumann Boundary Conditions: Uniqueness and Stability

The authors study the inverse problem of recovering damping coefficients for two coupled hyperbolic PDEs with Neumann boundary conditions by means of an additional measurement of Dirichlet boundary traces of the two solutions on a suitable, explicit subportion Γ1 of the boundary Γ, and over a computable time interval T > 0. Under sharp conditions on Γ0 = ΓnΓ1, T > 0, the uniqueness and stability of the damping coefficients are established. The proof uses critically the Carleman estimate due to Lasiecka et al. in 2000, together with a convenient tactical route “post-Carleman estimates” suggested by Isakov in 2006.     

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      

Free group representations from vector-valued multiplicative functions,I

Let Γ denote a noncommutative free group and let Ω stand for its boundary. We construct a large class of unitary representations of Γ. This class contains many previously studied representations, and is closed under several natural operations. Each of the constructed representations is in fact a representation of Γ ⋉_λ C(Ω). We prove here that each of them is irreducible as a representation of Γ ⋉_λ C(Ω). Actually, as will be shown in further work, each of them is irreducible as a representation of Γ, or is the direct sum of exactly two irreducible, inequivalent Γ-representations. This research was supported by the Italian CNR.     

Convergence of Distributed Optimal Controls on the Internal Energy in Mixed Elliptic Problems when the Heat Transfer Coefficient Goes to Infinity

We consider a steady-state heat conduction problem P _α with mixed boundary conditions for the Poisson equation depending on a positive parameter α , which represents the heat transfer coefficient on a portion Γ ₁ of the boundary of a given bounded domain in R ⁿ . We formulate distributed optimal control problems over the internal energy g for each α . We prove that the optimal control g_ op _α and its corresponding system u_ g_ op _α α and adjoint p_ g_ op _α α states for each α are strongly convergent to g _op , u_ g _op and p _ g _op , respectively, in adequate functional spaces. We also prove that these limit functions are respectively the optimal control, and the system and adjoint states corresponding to another distributed optimal control problem for the same Poisson equation with a different boundary condition on the portion Γ ₁ . We use the fixed point and elliptic variational inequality theories.     

Convergence of Distributed Optimal Controls on the Internal Energy in Mixed Elliptic Problems when the Heat Transfer Coefficient Goes to Infinity

We consider a steady-state heat conduction problem P _α with mixed boundary conditions for the Poisson equation depending on a positive parameter α , which represents the heat transfer coefficient on a portion Γ ₁ of the boundary of a given bounded domain in R ⁿ . We formulate distributed optimal control problems over the internal energy g for each α . We prove that the optimal control g_ op _α and its corresponding system u_ g_ op _α α and adjoint p_ g_ op _α α states for each α are strongly convergent to g _op , u_ g _op and p _ g _op , respectively, in adequate functional spaces. We also prove that these limit functions are respectively the optimal control, and the system and adjoint states corresponding to another distributed optimal control problem for the same Poisson equation with a different boundary condition on the portion Γ ₁ . We use the fixed point and elliptic variational inequality theories.     

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.     

On a wave equation with supercritical interior and boundary sources and damping terms

This article addresses nonlinear wave equations with supercritical interior and boundary sources, and subject to interior and boundary damping. The presence of a nonlinear boundary source alone is known to pose a significant difficulty since the linear Neumann problem for the wave equation is not, in general, well‐posed in the finite‐energy space H¹(Ω) × L₂(?Ω) with boundary data in L₂ due to the failure of the uniform Lopatinskii condition. Further challenges stem from the fact that both sources are non‐dissipative and are not locally Lipschitz operators from H¹(Ω) into L₂(Ω), or L₂(?Ω). With some restrictions on the parameters in the model and with careful analysis involving the Nehari Manifold, we obtain global existence of a unique weak solution, and establish exponential and algebraic uniform decay rates of the finite energy (depending on the behavior of the dissipation terms). Moreover, we prove a blow up result for weak solutions with nonnegative initial energy.     

Evolution equations for shapes and geometries

The first object of this paper is to introduce a new evolution equation for the characteristic function of the boundary Γ of a Lipschitzian domain Ω in the N-dimensional Euclidean space under the influence of a smooth time-dependent velocity field. The originality of this equation is that the evolution takes place in an L^p-space with respect to the (N − 1)-Hausdorff measure. A second more speculative objective is to discuss how that equation can be relaxed to rougher velocity fields via some weak formulation. A candidate is presented and some of the technical difficulties and open issues are discussed. Continuity results in several metric topologies are also presented. The paper also specializes the results on the evolution of the oriented distance function to initial sets with zero N-dimensional Lebesgue measure.     

Sharp regularity estimates for solutions of the wave equation and their traces with prescribed neumann data

In this paper the regularity properties of second-order hyperbolic equations defined over a rectangular domain Θ with boundary Γ under the action of a Neumann boundary forcing term inL ² (0,T;H ^1/4 (Γ)) are investigated. With this given boundary input, we prove by a cosine operator/functional analytical approach that not only is the solution of the wave equation and its derivatives continuous in time, with their pointwise values in a basic energy space (in the interior of Ω), but also that a trace regularity thereof can be assigned for the solution’s time derivative in an appropriate (negative) Sobolev space. This new-found information on the solution and its traces is crucial in handling a mathematical model derived for a particular fluid/structure interaction system.