The complex Busemann-Petty problem for arbitrary measures

The complex Busemann-Petty problem asks whether origin symmetric convex bodies in with smaller central hyperplane sections necessarily have smaller volume. The answer is affirmative if and negative if . In this article we show that the answer remains the same if the volume is replaced by an “almost” arbitrary measure. This result is the complex analogue of Zvavitch’s generalization to arbitrary measures of the original real Busemann-Petty problem. Received: 6 May 2008     

A generalized affine isoperimetric inequality

A purely analytic proof is given for an inequality that has as a direct consequence the two most important affine isoperimetric inequalities of plane convex geometry: The Blaschke-Santaló inequality and the affine isoperimetric inequality of affine differential geometry.     

The one-phase Hele-Shaw problem with singularities

In this article we analyze viscosity solutions of the one phase Hele-Shaw problem in the plane and the corresponding free boundaries near a singularity. We find, up to order of magnitude, the speed at which the free boundary moves starting from a wedge, cusp, or finger-type singularity. Maximum principle-type arguments play a key role in the analysis.     

The local part and the strong type for operators related to the Gaussian measure

In this work we present several theorems which imply the weak type 1 with respect to the Gaussian measure for the so-called local part of certain operators associated with the Ornstein-Uhlenbeck semigroup. Particular cases of these operators are the Riesz transforms of any order and the Littlewood-Paley square function. Also, we study general results based on the “size” of the operator which ensure the strong type 1 <p < ∞of both the local and global parts.     

Applications of Bruhat decompositions to complex hyperbolic geometry

The double coset space AΛ (n, ℂ) / U (n − 1, 1) is studied, where A consists of the diagonal matrices in GL (n, ℂ). This space naturally arises in the harmonic analysis on the hermitian symmetric space GL (n, ℂ) / U (n − 1, 1). It is shown here that these double cosets also represent a class of basic invariants related to complex hyperbolic geometry. An algebraic parametrization for the double cosets is given and it is shown how this may be used to conveniently compute the geometric invariants.     

A multidirectional Dirichlet problem

B.E.J. Dahlberg’s theorems on the mutual absolute continuity of harmonic and surface measures, and on the unique solvability of the Dirichlet problem for Laplace’s equation with data taken in L^p spaces p > 2 ? δ are extended to compact polyhedral domains of ?ⁿ. Consequently, for q < 2 + δ, Dahlberg’s reverse Hölder inequality for the density of harmonic measure is established for compact polyhedra that additionally satisfy the Harnack chain condition. It is proved that a compact polyhedral domain satisfies the Harnack chain condition if its boundary is a topological manifold. The double suspension of the Mazur manifold is invoked to indicate that perhaps such a polyhedron need not itself be a manifold with boundary; see the footnote in Section 9. A theorem on approximating compact polyhedra by Lipschitz domains in a certain weak sense is proved, along with other geometric lemmas.     

Mean curvature one surfaces in hyperbolic space, and their relationship to minimal surfaces in Euclidean space

We describe local similarities and global differences between minimal surfaces in Euclidean 3-space and constant mean curvature 1 surfaces in hyperbolic 3-space. We also describe how to solve global period problems for constant mean curvature 1 surfaces in hyperbolic 3-space, and we give an overview of recent results on these surfaces. We include computer graphics of a number of examples.     

A Hardy space for Fourier integral operators

We introduce a new function space, denoted by H _FIO ¹ (ℝⁿ), which is preserved by the algebra of Fourier integral operators of order 0 associated to canonical transformations. A subspace of L¹ (ℝ_n), this space in many aspects resembles the real Hardy space of Fefferman-Stein. In particular, we obtain an atomic characterization of H _FIO ¹ (ℝ_n). In contrast to the standard Hardy space, these atoms are localized in frequency space as well as in real space.     

The Whitney problem of existence of a linear extension operator

We prove that a linear bounded extension operator exists for the trace of C ^1·ω (R ⁿ )to an arbitrary closed subset of R ⁿ .The similar result is obtained for some other spaces of multivariate smooth functions. We also show that unlike the one-dimensional case treated by Whitney, for some trace spaces of multivariate smooth functions a linear bounded extension operator does not exist. The proofs are based on a relation between the problem under consideration and a similar problem for Lipschitz spaces defined on hyperbolic Riemannian manifolds.     

On the number of singularities for the obstacle problem in two dimensions

We study the obstacle problem in two dimensions. On the one hand we improve a result of L.A. Caffarelli and N.M. Rivière: we state that every connected component of the interior of the coincidence set has at most N ₀ singular points, where N ₀ is only dependent on some geometric constants. Moreover, if the component is small enough, then this component has at most two singular points. On the other hand, we prove in a simple case a conjecture of D.G. Schaeffer on the generic regularity of the free boundary: for a family of obstacle problems in two dimensions continuously indexed by a parameter λ, the free boundary of the solution u_λ is analytic for almost every λ. Finally we present a new monotonicity formula for singular points. Dedicated to Henri Berestycki and Alexis Bonnet.     

A geometrical problem arising in a signal restoration algorithm

Let ℤ_2N={0, ..., 2N-1} denote the group of integers modulo 2N, and let L be the space of all real functions of ℤ_2N which are supported on {0,...N−1}. The spectral phase of a function f:ℤ_2N→ℝ is given by φ_f(k)=arg for k ∈ ℤ_2N, where denotes the discrete Fourier transforms of f. For a fixed s∈L let K_s denote the cone of all f:ℤ_2N→ℝ which satisfy φ_f ≡ φ_s and let M_s be its linear span. The angle α_s between M_s and L determines the convergence rate of the signal restoration from phase algorithm of Levi and Stark [3]. Here we prove the following conjectures of Urieli et al. [7] who verified them for the N≤3 case:

Reflection Ideals and mappings between generic submanifolds in complex space

Results on finite determination and convergence of formal mappings between smooth generic submanifolds in ℂ ^N are established in this article. The finite determination result gibes sufficient conditions to guarantee that a formal map is uniquely determined by its jet, of a preassigned order, at a point. Convergence of formal mappings for real-analytic generic submanifolds under appropriate assumptions is proved, and natural geometric conditions are given to assure that if two germs of such submanifolds are formally equivalent, then, they are necessarily biholomorphically equivalent. It is also shown that if two real-algebraic hypersurfaces in ℂ ^N are biholomorphically equivalent, then, they are algebraically equivalent. All the results are first proved in the more general context of “reflection ideals” associated to formal mappings between formal as well as real-analytic and real-algebraic manifolds.     

On inverse problems in electromagnetic field in classical mechanics at fixed energy

In this article, we consider inverse scattering and inverse boundary value problems at sufficiently large and fixed energy for the multidimensional relativistic and nonrelativistic Newton equations in a static external electromagnetic field (V, B), V∈C², B∈C¹ in classical mechanics. Developing the approach going back to Gerver-Nadinashvili 1983's work on an inverse problem of mechanics, we obtain, in particular, theorems of uniqueness.     

The isoperimetric problem in complete surfaces of nonnegative curvature

We show that in a complete plane with nonnegative curvature there is a perimeter minimizing set of any given area. This set is a disc whose boundary is a closed embedded curve with constant geodesic curvature.     

On the gluing problem for Dirac operators on manifolds with cylindrical ends

Combining elements of the b-calculus and the theory of elliptic boundary value problems, we solve the gluing problem for b-determinants of Dirac type operators on manifolds with cylindrical ends. As a corollary of our proof, we derive a gluing formula for the b-eta invariant and also a relative invariant formula relating the b-spectral invariants on a manifold with cylindrical end to the spectral invariants with the augmented APS boundary condition on the corresponding compact manifold with boundary.     

The fundamental solution on manifolds with time-dependent metrics

In this article we prove the existence of a fundamental solution for the linear parabolic operator L(u) = (Δ − ∂/∂t − h)u, on a compact n-dimensional manifold M with a time-parameterized family of smooth Riemannian metrics g(t). Δ is the time-dependent Laplacian based on g(t), and h(x, t) is smooth. Uniqueness, positivity, the adjoint property, and the semigroup property hold. We further derive a Harnack inequality for positive solutions of L(u) = 0 on (M, g(t) on a time interval depending on curvature bounds and the dimension of M, and in the special case of Ricci flow, use it to find lower bounds on the fundamental solution of the heat operator in terms of geometric data and an explicit Euclidean type heat kernel.     

Distributional estimates for the bilinear Hilbert transform

We obtain size estimates for the distribution function of the bilinear Hilbert transform acting on a pair of characteristic functions of sets of finite measure, that yield exponential decay at infinity and blowup near zero to the power −2/3 (modulo some logarithmic factors). These results yield all known L^p bounds for the bilinear Hilbert transform and provide new restricted weak type endpoint estimates on L^p1 × L^p2 when either 1/p₁ + 1/p₂ = 3/2 or one of p₁, p₂ is equal to 1. As a consequence of this work we also obtain that the square root of the bilinear Hilbert transform of two characteristic functions is exponentially integrable over any compact set.     

Singular integral and maximal operators associated to hypersurfaces:L p theory

We consider singular integral and maximal operators associated to hypersurfaces given by the graph of a function whose level sets are defined by a convex function of finite type. We investigate the L^p theory for these operators which depend on geometric properties of the hypersurface.     

Boundary regularity for the\bar \partial _b - Neumann problem, part 1problem, part 1

We establish sharp regularity and Fredholm theorems for the operator on domains satisfying some nongeneric geometric conditions. We use these domains to construct explicit examples of bad behavior of the Kohn Laplacian: It is not always hypoelliptic up to the boundary, its partial inverse is not compact and it is not globally subelliptic.     

Extension of smooth functions from finitely connected planar domains

Consider the Sobolev space W _∞ ^k (Ω) of functions with bounded kth derivatives defined in a planar domain. We study the problem of extendability of functions from W _∞ ^k (Ω) to the whole ℝ² with preservation of class, i.e., surjectivity of the restriction operator W _∞ ^k (ℝ²) → W _∞ ^k (Ω).