Construction of Solutions and L^1-error Estimates of Viscous Methods for Scalar Conservation Laws with Boundary

This paper is concerned with an initial boundary value problem for strictly convex conservation laws whose weak entropy solution is in the piecewise smooth solution class consisting of finitely many discontinuities. By the structure of the weak entropy solution of the corresponding initial value problem and the boundary entropy condition developed by Bardos-Leroux Nedelec, we give a construction method to the weak entropy solution of the initial boundary value problem. Compared with the initial value problem, the weak entropy solution of the initial boundary value problem includes the following new interaction type： an expansion wave collides with the boundary and the boundary reflects a new shock wave which is tangent to the boundary. According to the structure and some global estimates of the weak entropy solution, we derive the global L^1-error estimate for viscous methods to this initial boundary value problem by using the matching travelling wave solutions method. If the inviscid solution includes the interaction that an expansion wave collides with the boundary and the boundary reflects a new shock wave which is tangent to the boundary, or the inviscid solution includes some shock wave which is tangent to the boundary, then the error of the viscosity solution to the inviscid solution is bounded by O（ε^1/2） in L^1-norm; otherwise, as in the initial value problem, the L^1-error bound is O（ε｜ In ε｜）.     

An anomaly formula for Ray–Singer metrics on manifolds with boundary

Using the heat kernel, we derive first a local Gauss–Bonnet–Chern theorem for manifolds with a non-product metric near the boundary. Then we establish an anomaly formula for Ray–Singer metrics defined by a Hermitian metric on a flat vector bundle over a Riemannian manifold with boundary, not assuming that the Hermitian metric on the flat vector bundle is flat nor that the Riemannian metric has product structure near the boundary. Received: January 2004; Revision: February 2005; Accepted: September 2005     

Boundary estimates for elliptic systems with L<Superscript>1</Superscript>–data

We obtain boundary estimates for the gradient of solutions to elliptic systems with Dirichlet or Neumann boundary conditions and L ¹–data, under some condition on the divergence of the data. Similar boundary estimates are obtained for div–curl and Hodge systems.     

A Poincar�� Inequality for Orlicz�CSobolev Functions with Zero Boundary Values on Metric Spaces

We prove a Poincaré inequality for Orlicz–Sobolev functions with zero boundary values in bounded open subsets of a metric measure space. This result generalizes the (p, p)-Poincaré inequality for Newtonian functions with zero boundary values in metric measure spaces, as well as a Poincaré inequality for Orlicz–Sobolev functions on a Euclidean space, proved by Fuchs and Osmolovski (J Anal Appl (Z.A.A.) 17(2):393–415, 1998). Using the Poincaré inequality for Orlicz–Sobolev functions with zero boundary values we prove the existence and uniqueness of a solution to an obstacle problem for a variational integral with nonstandard growth.     

Green function estimate for censored stable processes

 Sharp two-sided estimates for Green functions of censored α-stable process Y in a bounded C ^1,1 open set D are obtained, where α  (1, 2). It is shown that the Martin boundary and minimal Martin boundary of Y can all be identified with the Euclidean boundary of D. Sharp two-sided estimates for the Martin kernel of Y are also derived. Received: 27 January 2002 / Revised version: 10 June 2002 / Published online: 24 October 2002 This research is supported in part by NSF Grant DMS-0071486. Mathematics Subject Classification (2002): Primary: 60J45, 31C35; Secondary: 60G52, 31C15 Keywords or phrases: Censored stable process – Green function – Capacity – Martin boundary – Martin kernel – Harmonic function     

The initial boundary value problem with a free surface condition for the ɛ-approximations of the Navier-Stokes equations and some of their regularizations

We study the unique solvability in the large on the semiaxis ℝ⁺ of the initial boundary value problems (IBVP) with the boundary slipcondition (the natural boundary condition) for the ɛ-approximations (0.6)–(0.8), (0.20); (0.13)–(0.15), (0.21), and (0.16–0.18), (0.22) of the Navier-Stokes equations (NSE), of the NSE modified in the sense of O. A. Ladyzhenskaya, and the equations of motion of the Kelvin-Voight fluids. For the classical solutions of perturbed problems we prove certain estimates which are uniform with respect to ɛ, and show that as ɛ→0 the classical solutions of the perturbed IBVP respectively converge to the classical solutions of the IBVP with the boundary slip condition for the NSE, for the NSE (0.11) modified in the sense of Ladyzhenskaya, and for the equations (0.12) of motion of the Kelvin-Voight fluids. Bibliography: 40 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 205, 1993, pp. 38–70. Translated by A. P. Oskolkov.     

Energy asymptotics for Type II superconductors

We study the Ginzburg–Landau functional in the parameter regime describing ‘Type II superconductors’. In the exact regime considered minimizers are localized to the boundary — i.e. the sample is only superconducting in the boundary region. Depending on the relative size of different parameters we describe the concentration behavior and give leading order energy asymptotics. This generalizes previous results by Lu–Pan, Helffer–Pan, and Pan.     

Determining the internal boundary of a region in the two-dimensional initial–boundary-value problem for the heat equation

The article investigates the reconstruction of the internal boundary of a two-dimensional region in the two-dimensional initial–boundary-value problem for the homogeneous heat equation. The initial values for the determination of the internal boundary are provided by a boundary condition of second kind on the external boundary and the solution of the initial–boundary-value problem at finitely many points inside the region. The inverse problem is reduced to solving a system of integral equations nonlinear in the function describing the sought boundary. An iterative numerical procedure is proposed involving linearization of integral equations.     

Boundary Behavior of Functions in the de Branges–Rovnyak Spaces

This paper deals with the boundary behavior of functions in the de Branges–Rovnyak spaces. First, we give a criterion for the existence of radial limits for the derivatives of functions in the de Branges–Rovnyak spaces. This criterion generalizes a result of Ahern–Clark. Then we prove that the continuity of all functions in a de Branges–Rovnyak space on an open arc I of the boundary is enough to ensure the analyticity of these functions on I. We use this property in a question related to Bernstein’s inequality. Received: May 10, 2007. Revised: August 8, 2007. Accepted: August 8, 2007.     

Minkowski Dimension and Cauchy Transform in Clifford Analysis

In the present paper we provide some conditions of a geometrical character for continuous extendibility of the Clifford–Cauchy transform to the boundary of a domain in the Euclidean space of higher dimensions if its density satisfies a H?lder condition. The criterion obtained in this work is an extension to a very general class of domains of a result, which has already become classical, obtained by Viorel Iftimie, who proved in 1965, for the case of a domain with compact Liapunov boundary, that the Clifford–Cauchy transform has H?lder–continuous limit values for any H?lder–continuous density. Received: August 15, 2006. Accepted: November 2, 2006.     

The Sturm-Liouville problem with a nonlocal boundary condition

In this paper, we consider the Sturm-Liouville problem with one classical and another nonlocal boundary condition. We investigate general properties of the characteristic function and spectrum for such a problem in the complex case. In the second part, we investigate the case of real eigenvalues, analyze the dependence of the spectrum on parameters of the boundary condition, and describe the qualitative behavior of all eigenvalues subject to of the nonlocal boundary condition. Dedicated to N. S. Bakhvalov (1934–2005) Published in Lietuvos Matematikos Rinkinys, Vol. 47, No. 3, pp. 410–428, July–September, 2007.     

Finite element error estimates for 3D exterior incompressible flow with nonzero velocity at infinity

We consider a stationary incompressible Navier–Stokes flow in a 3D exterior domain, with nonzero velocity at infinity. In order to approximate this flow, we use the stabilized P1–P1 finite element method proposed by Rebollo (Numer Math 79:283–319, 1998). Following an approach by Guirguis and Gunzburger (Model Math Anal Numer 21:445–464, 1987), we apply this method to the Navier–Stokes system with Oseen term in a truncated exterior domain, under a pointwise boundary condition on the artificial boundary. This leads to a discrete problem whose solution approximates the exterior flow, as is shown by error estimates.     

The multiplicity of solutions in non-homogeneous boundary value problems

We use a method recently devised by Bolle to establish the existence of an infinite number of solutions for various non-homogeneous boundary value problems. In particular, we consider second order systems, Hamiltonian systems as well as semi-linear partial differential equations. The non-homogeneity can originate in the equation but also from the boundary conditions. The results are more satisfactory than those obtained by the standard “Perturbation from Symmetry” method that was developed – in various forms – in the early eighties by Bahri–Berestycki, Struwe and Rabinowitz. Received: 13 August 1998 / Revised version: 6 July 1999     

Weyl–Titchmarsh Function of an Abstract Boundary Value Problem, Operator Colligations, and Linear Systems with Boundary Control

The paper defines the Weyl–Titchmarsh function for an abstract boundary value problem and shows that it coincides with the transfer function of some explicitly described linear boundary control system. On the ground of obtained results we explore interplay among boundary value problems, operator colligations, and the linear systems theory that suggests an approach to the study of boundary value problems based on the open systems theory founded in works of M. S. Livšic. Examples of boundary value problems for partial differential equations and calculations of their Weyl–Titchmarsh functions are offered as illustration. In particular, we give an independent derivation of the Weyl–Titchmarsh function for the three dimensional Schr?dinger operator introduced by W.O. Amrein and D.B. Pearson. Relationships to the Schr?dinger operator with singular potential supported by the unit sphere are clarified and other possible applications of the developed approach in mathematical physics are noted. Received: May 21, 2007., Revised: October 8, 2007., Accepted: October 11, 2007     

Cobordism,Relative Indices and Stein Fillings

In this article we build on the framework developed in Ann. Math. 166, 183–214 ([2007]), 166, 723–777 ([2007]), 167, 1–67 ([2008]) to obtain a more complete understanding of the gluing properties for indices of boundary value problems for the Spin _ℂ-Dirac operator with sub-elliptic boundary conditions. We extend our analytic results for sub-elliptic boundary value problems for the Spin _ℂ-Dirac operator, and gluing results for the indices of these boundary problems to Spin _ℂ-manifolds with several pseudoconvex (pseudoconcave) boundary components. These results are applied to study Stein fillability for compact, 3-dimensional, contact manifolds. This material is based upon work supported by the National Science Foundation under Grant No. 0603973, and the Francis J. Carey term chair. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author and do not necessarily reflect the views of the National Science Foundation.     

The analytic torsion of a disc

In this article, we study the Reidemeister torsion and the analytic torsion of the m dimensional disc, with the Ray and Singer homology basis (Adv Math 7:145–210, 1971). We prove that the Reidemeister torsion coincides with a power of the volume of the disc. We study the additional terms arising in the analytic torsion due to the boundary, using generalizations of the Cheeger–Müller theorem. We use a formula proved by Brüning and Ma (GAFA 16:767–873, 2006) that predicts a new anomaly boundary term beside the known term proportional to the Euler characteristic of the boundary (Lück, J Diff Geom 37:263–322, 1993). Some of our results extend to the case of the cone over a sphere, in particular we evaluate directly the analytic torsion for a cone over the circle and over the two sphere. We compare the results obtained in the low dimensional cases. We also consider a different formula for the boundary term given by Dai and Fang (Asian J Math 4:695–714, 2000), and we compare the results. The results of these work were announced in the study of Hartmann et al. (BUMI 2:529–533, 2009).     

Crouzeix–Raviart boundary elements

This paper establishes a foundation of non-conforming boundary elements. We present a discrete weak formulation of hypersingular integral operator equations that uses Crouzeix–Raviart elements for the approximation. The cases of closed and open polyhedral surfaces are dealt with. We prove that, for shape regular elements, this non-conforming boundary element method converges and that the usual convergence rates of conforming elements are achieved. Key ingredient of the analysis is a discrete Poincaré–Friedrichs inequality in fractional order Sobolev spaces. A numerical experiment confirms the predicted convergence of Crouzeix–Raviart boundary elements. Norbert Heuer is supported by Fondecyt-Chile under grant no. 1080044. F.-J. Sayas is partially supported by MEC-FEDER Project MTM2007-63204 and Gobierno de Aragón (Grupo Consolidado PDIE).     

Transfinite Thin Plate Spline Interpolation

Duchon’s method of thin plate splines defines a polyharmonic interpolant to scattered data values as the minimizer of a certain integral functional. For transfinite interpolation, i.e., interpolation of continuous data prescribed on curves or hypersurfaces, Kounchev has developed the method of polysplines, which are piecewise polyharmonic functions of fixed smoothness across the given hypersurfaces and satisfy some boundary conditions. Recently, Bejancu has introduced boundary conditions of Beppo–Levi type to construct a semicardinal model for polyspline interpolation to data on an infinite set of parallel hyperplanes. The present paper proves that, for periodic data on a finite set of parallel hyperplanes, the polyspline interpolant satisfying Beppo–Levi boundary conditions is in fact a thin plate spline, i.e., it minimizes a Duchon type functional. The construction and variational characterization of the Beppo–Levi polysplines are based on the analysis of a new class of univariate exponential ℒ-splines satisfying adjoint natural end conditions.     

On partial regularity of suitable weak solutions to the Navier–Stokes equations in unbounded domains

Consider the nonstationary Navier–Stokes equations in Ω × (0, T), where Ω is a general unbounded domain with non-compact boundary in R ³. We prove the regularity of suitable weak solutions for large |x|. It should be noted that our result also holds near the boundary. Our result extends the previous ones by Caffarelli–Kohn–Nirenberg in R ³ and Sohr-von Wahl in exterior domains to general domains.     

Boussinesq–Cerruti problems for the hexagonally symmetric system of elasticity in n –dimensional half-space

The Poisson matrices of the analoga to the Boussinesq–Cerruti boundary value problems for the operator of transversely isotropic elastostatics in n–dimensional half-space are computed by Fourier transformation and given in explicit form.