Heat Content Asymptotics with Inhomogeneous Neumann and Dirichlet Boundary Conditions

Let M be a compact manifold with smooth boundary. We establish the existence of an asymptotic expansion for the heat content asymptotics of M with inhomogeneous Neumann and Dirichlet boundary conditions. We prove all the coefficients are locally determined and determine the first several terms in the asymptotic expansion.     

A Morse complex on manifolds with boundary

Given a compact smooth manifold M with non-empty boundary and a Morse function, a pseudo-gradient Morse-Smale vector field adapted to the boundary allows one to build a Morse complex whose homology is isomorphic to the (absolute or relative to the boundary) homology of M with integer coefficients. Our approach simplifies other methods which have been discussed in more specific geometric settings.     

An Integral Geometry Problem in a Nonconvex Domain

We consider the problem of recovering the solenoidal part of a symmetric tensor field f on a compact Riemannian manifold (M,g) with boundary from the integrals of f over all geodesics joining boundary points. All previous results on the problem are obtained under the assumption that the boundary M is convex. This assumption is related to the fact that the family of maximal geodesics has the structure of a smooth manifold if M is convex and there is no geodesic of infinite length in M. This implies that the ray transform of a smooth field is a smooth function and so we may use analytic techniques. Instead of convexity of M we assume that M is a smooth domain in a larger Riemannian manifold with convex boundary and the problem under consideration admits a stability estimate. We then prove uniqueness of a solution to the problem for     

Hyperbolic manifolds with convex boundary

Let (M,∂M) be a 3-manifold, which carries a hyperbolic metric with convex boundary. We consider the hyperbolic metrics on M such that the boundary is smooth and strictly convex. We show that the induced metrics on the boundary are exactly the metrics with curvature K>-1, and that the third fundamental forms of ∂M are exactly the metrics with curvature K<1, for which the closed geodesics which are contractible in M have length L>2π. Each is obtained exactly once. Other related results describe existence and uniqueness properties for other boundary conditions, when the metric which is achieved on ∂M is a linear combination of the first, second and third fundamental forms.     

A new Lichnerowicz–Obata estimate in the presence of a parallel p-form

 Let (M ⁿ ,g) be a compact Riemannian manifold with a smooth boundary. In this paper, we give a Lichnerowicz-Obata type lower bound for the first eigenvalue of the Laplacian of (M ⁿ ,g) when M has a parallel p-form (2 ≤p≤n/2). This result follows from a new Bochner-Reilly's formula. Moreover, we give a characterization of the equality case when (M ⁿ ,g) is simply connected. Received: 1 June 2001     

TRACE EXPANSIONS FOR THE ZAREMBA PROBLEM

ABSTRACT

We consider a Laplace operator for sections of a vector bundle on a manifold M, with mixed boundary conditions, the so-called Zaremba problem. The boundary consists of three disjoint parts, ?M_D , ?M_N , together with Σ, their common boundary relative to ?M. Dirichlet conditions are imposed along ?M_D and Neumann conditions along ?M_N . It turns out that a condition must be imposed along Σ as well. In order to apply earlier work [Bruening and Seeley, Journal of Functional Analysis 1991, 95, 255–290], we impose Dirichlet conditions along Σ, giving the Friedrichs extension of the operator with the given conditions along ?M_D and ?M_N . We obtain a complete asymptotic expansion of the trace of an appropriate power of the resolvent, and hence also the heat trace, with the usual powers of t. The coefficients are given as integrals over M, over ?M, and over Σ. The logarithmic terms which might be expected are absent in this case; this is the main new result. Similar results are suggested for other conditions along Σ, and for the case of mixed absolute and relative conditions on differential forms. The expansion for these cases requires an extension of the paper cited above.     

Well-posed infinite horizon variational problems on a compact manifold

We give an effective sufficient condition for a variational problem with infinite horizon on a compact Riemannian manifold M to admit a smooth optimal synthesis, i.e., a smooth dynamical system on M whose positive semi-trajectories are solutions to the problem. To realize the synthesis, we construct an invariant Lagrangian submanifold (well-projected to M) of the flow of extremals in the cotangent bundle T*M. The construction uses the curvature of the flow in the cotangent bundle and some ideas of hyperbolic dynamics.     

The de-Rham theorem and Shapiro lemma for Schwartz functions on Nash manifolds

In this paper we continue our work on Schwartz functions and generalized Schwartz functions on Nash (i.e. smooth semi-algebraic) manifolds. Our first goal is to prove analogs of the de-Rham theorem for de-Rham complexes with coefficients in Schwartz functions and generalized Schwartz functions. Using that we compute the cohomologies of the Lie algebra g of an algebraic group G with coefficients in the space of generalized Schwartz sections of G-equivariant bundle over a G-transitive variety M. We do it under some assumptions on topological properties of G and M. This computation for the classical case is known as the Shapiro lemma.     

The X-Ray Transform for a Generic Family of Curves and Weights

We study the weighted integral transform on a compact manifold with boundary over a smooth family of curves Γ. We prove generic injectivity and a stability estimate under the condition that the conormal bundle of Γ covers T ^* M. Second author was partly supported by NSF Grant DMS-0400869; third author was partly supported by NSF and a Walker Family Endowed Professorship.     

Inverse Problems of Boundary Value Problems for Annular Vibrating Membranes with Piecewise Smooth Positive Functions in the Boundary Conditions

The asymptotic expansions of the trace of the heat kernel for small positive t, where λ_ν are the eigenvalues of the negative Laplacian in Rⁿ (n=2 or 3), are studied for a general annular bounded domain Ω with a smooth inner boundary ?Ω₁ and a smooth outer boundary ?Ω₂ where a finite number of piecewise smooth Dirichlet, Neumann and Robin boundary conditions on the components Γ _j (j=1,…,m) of ?Ω₁ and on the components of ?Ω₂ are considered such that and and where the coefficients in the Robin boundary conditions are piecewise smooth positive functions. Some applications of Θ (t) for an ideal gas enclosed in the general annular bounded domain Ω are given.     

Fast direct solvers for Poisson equation on 2D polar and spherical geometries

A simple and efficient class of FFT‐based fast direct solvers for Poisson equation on 2D polar and spherical geometries is presented. These solvers rely on the truncated Fourier series expansion, where the differential equations of the Fourier coefficients are solved by the second‐ and fourth‐order finite difference discretizations. Using a grid by shifting half mesh away from the origin/poles, and incorporating with the symmetry constraint of Fourier coefficients, the coordinate singularities can be easily handled without pole condition. By manipulating the radial mesh width, three different boundary conditions for polar geometry including Dirichlet, Neumann, and Robin conditions can be treated equally well. The new method only needs O(MN log₂ N) arithmetic operations for M × N grid points. © 2002 John Wiley & Sons, Inc. Numer Methods Partial Differential Eq 18: 56–68, 2002     

Automatic Smoothing Spline Projection Pursuit

Abstract

A highly flexible nonparametric regression model for predicting a response y given covariates {x_k}^d _k=1 is the projection pursuit regression (PPR) model ? = h(x) = β₀ + Σ_jβ_jf_j(α^T _jx) where the f_j , are general smooth functions with mean 0 and norm 1, and Σ^d _k=1α² _kj=1. The standard PPR algorithm of Friedman and Stuetzle (1981) estimates the smooth functions f_j using the supersmoother nonparametric scatterplot smoother. Friedman's algorithm constructs a model with M _max linear combinations, then prunes back to a simpler model of size M ≤ M _max, where M and M _max are specified by the user. This article discusses an alternative algorithm in which the smooth functions are estimated using smoothing splines. The direction coefficients α_j, the amount of smoothing in each direction, and the number of terms M and M _max are determined to optimize a single generalized cross-validation measure.     

On a motivic interpretation of primitive,variable and fixed cohomology

If M is a smooth projective variety whose motive is Kimura finite‐dimensional and for which the standard Lefschetz Conjecture B holds, then the motive of M splits off a primitive motive whose cohomology is the primitive cohomology. Under the same hypotheses on M, let X be a smooth complete intersection of ample divisors within M. Then the motive of X is the sum of a variable and a fixed motive inducing the corresponding splitting in cohomology. I also give variants with group actions.     

Uniform Morse lemma and isotopy criterion for Morse functions on surfaces

Let M be a smooth compact (orientable or not) surface with or without a boundary. Let $ \mathcal{D}_0 $ \mathcal{D}_0 ⊂ Diff(M) be the group of diffeomorphisms homotopic to id _M . Two smooth functions f, g: M → ℝ are called isotopic if f = h ₂ ℴ g ℴ h ₁ for some diffeomorphisms h ₁ ∈ $ \mathcal{D}_0 $ \mathcal{D}_0 and h ₂ ∈ Diff⁺(ℝ). Let F be the space of Morse functions on M which are constant on each boundary component and have no critical points on the boundary. A criterion for two Morse functions from F to be isotopic is proved. For each Morse function f ∈ F, a collection of Morse local coordinates in disjoint circular neighborhoods of its critical points is constructed, which continuously and Diff(M)-equivariantly depends on f in C ^∞-topology on F (“uniform Morse lemma”). Applications of these results to the problem of describing the homotopy type of the space F are formulated.     

Relative k-cycles and local elliptic boundary conditions

In this paper, we discuss the following conjecture raised by Baum and Douglas: For any first order elliptic differential operator D on a smooth manifold M with boundary ?M D possesses a (local) elliptic boundary condition if and only if ?[D]=0 in K₁(?M), where [D] is the relative K-cycle in K_o(M,?M) corresponding to D. We prove the “if” part of this conjecture for dim(M)≠4,5,6,7 and the “only if” part of the conjecture for arbitrary dimension.     

Circularm-functions

Circularm-functions are introduced on smooth manifolds with boundary. We study the distribution of their critical circles and construct an example of a four-dimensional manifoldM ⁴ with boundary ∂M ⁴ that satisfies the condition ξ(∂M ⁴)=ξ(M ⁴,∂M ⁴)=0 but does not contain any circularm-function. We prove that a manifold with boundaryM ⁿ (n≥5) such that ξ(∂M ⁿ , ∂M ⁿ )=0 always contains a circularm-function without critical points in the interior manifold. Sukhumi Branch of the Tbilisi University, Sukhumi. Translated from Ukrainskii Matermaticheskii Zhurnal, Vol. 46, No. 6, pp. 776–781, June, 1994.     

Inverse Obstacle Problem for the Non-Stationary Wave Equation with an Unknown Background

We consider boundary measurements for the wave equation on a bounded domain M ? ?² or on a compact Riemannian surface, and introduce a method to locate a discontinuity in the wave speed. Assuming that the wave speed consist of an inclusion in a known smooth background, the method can determine the distance from any boundary point to the inclusion. In the case of a known constant background wave speed, the method reconstructs a set contained in the convex hull of the inclusion and containing the inclusion. Even if the background wave speed is unknown, the method can reconstruct the distance from each boundary point to the inclusion assuming that the Riemannian metric tensor determined by the wave speed gives simple geometry in M. The method is based on reconstruction of volumes of domains of influence by solving a sequence of linear equations. For τ ∈C(?M) the domain of influence M(τ) is the set of those points on the manifold from which the distance to some boundary point x is less than τ(x).     

Linear Elliptic Boundary Value Problems with Non‐Smooth Data: Campanato Spaces of Functionals

In this paper linear elliptic boundary value problems of second order with non‐smooth data L^∞‐coefficients, sets with Lipschitz boundary, regular sets, non‐homogeneous mixed boundary conditions) are considered. It will be shown that such boundary value problems generate isomorphisms between certain Sobolev‐Campanato spaces of functions and functionals, respectively.     

Generalized polynomial approximations in Markovian decision processes

Fitting the value function in a Markovian decision process by a linear superposition of M basis functions reduces the problem dimensionality from the number of states down to M, with good accuracy retained if the value function is a smooth function of its argument, the state vector. This paper provides, for both the discounted and undiscounted cases, three algorithms for computing the coefficients in the linear superposition: linear programming, policy iteration, and least squares.     

The harmonic dirichlet problem for a cracked domain with jump conditions on cracks

The harmonic problem in a cracked domain is studied in R ^m , m?>?2. The boundary of the domain is assumed to be nonsmooth, while cracks are smooth. The Dirichlet condition is specified on the boundary of the domain. Jumps of the unknown function and its normal derivative are specified on the cracks. Uniqueness and solvability results are obtained. The problem is reduced to the uniquely solvable integral equation, its solution is given explicitely in the form of a series. The estimates of the solution of the problem depending on the boundary data are obtained.