The \bar \partial -problem on q-pseudoconvex domains with applications

For a q-pseudoconvex domain Ω in ? ⁿ , 1 ≤ q ≤ n, with Lipschitz boundary, we solve the $\bar \partial $ -problem with exact support in Ω. Moreover, we solve the $\bar \partial $ -problem with solutions smooth up to the boundary over Ω provided that it has smooth boundary. Applications are given to the solvability of the tangential Cauchy-Riemann equations on the boundary.     

Trace theorems for three-dimensional, time-dependent solenoidal vector fields and their applications

We study trace theorems for three-dimensional, time-dependent solenoidal vector fields. The interior function spaces we consider are natural for solving unsteady boundary value problems for the Navier-Stokes system and other systems of partial differential equations. We describe the space of restrictions of such vector fields to the boundary of the space-time cylinder and construct extension operators from this space of restrictions defined on the boundary into the interior. Only for two exceptional, but useful, values of the spatial smoothness index, the spaces for which we construct extension operators is narrower than the spaces in which we seek restrictions. The trace spaces are characterized by vector fields having different smoothnesses in directions tangential and normal to the boundary; this is a consequence of the solenoidal nature of the fields. These results are fundamental in the study of inhomogeneous boundary value problems for systems involving solenoidal vector fields. In particular, we use the trace theorems in a study of inhomogeneous boundary value problems for the Navier-Stokes system of viscous incompressible flows.

     

REGULARITY ESTIMATES FOR THE OBLIQUE DERIVATIVE PROBLEM ON NON-SMOOTH DOMAINS （I）

ＲＥＧＵＬＡＲＩＴＹＥＳＴＩＭＡＴＥＳＦＯＲＴＨＥＯＢＬＩＱＵＥＤＥＲＩＶＡＴＩＶＥＰＲＯＢＬＥＭＯＮＮＯＮ－ＳＭＯＯＴＨＤＯＭＡＩＮＳ（Ｉ）￥ＧＵＡＮＰＥＮＧＦＥＩ；Ｅ．ＳＡＷＹＥＲＡｂｓｔｒａｃｔ：Ｔｈｅａｕｔｈｏｒｓｃｏｎｓｉｄｅｒｔｈｅｅｘｉ...     

Generalization of tangential trace spaces of H(curl,Ω) for curvilinear Lipschitz polyhedral domains Ω

For curvilinear Lipschitz polyhedral domains Ω, explicit characterizations of the tangential trace spaces of H ¹(Ω) are presented. These extend the original characterizations given by Buffa and Ciarlet that hold on Lipschitz polyhedral domains with plane faces. The tangential trace spaces of H ¹(Ω) are fundamental for the definition, analysis and intuitive understanding of the trace spaces of H ( curl ,Ω) and therefore, more general characterizations of the latter are obtained at the same time. Copyright © 2013 John Wiley & Sons, Ltd.     

Hodge–Helmholtz decompositions of weighted Sobolev spaces in irregular exterior domains with inhomogeneous and anisotropic media

We study in detail Hodge–Helmholtz decompositions in nonsmooth exterior domains Ω??^N filled with inhomogeneous and anisotropic media. We show decompositions of alternating differential forms of rank q belonging to the weighted L²‐space L_s^{2, q}(Ω), s∈?, into irrotational and solenoidal q‐forms. These decompositions are essential tools, for example, in electro‐magnetic theory for exterior domains. To the best of our knowledge, these decompositions in exterior domains with nonsmooth boundaries and inhomogeneous and anisotropic media are fully new results. In the Appendix, we translate our results to the classical framework of vector analysis N=3 and q=1, 2. Copyright © 2008 John Wiley & Sons, Ltd.     

Nonlinear Hodge theory on manifolds with boundary

Summary The intent of this paper is first to provide a comprehensive and unifying development of Sobolev spaces of differential forms on Riemannian manifolds with boundary. Second, is the study of a particular class of nonlinear, first order, ellipticPDEs, called Hodge systems. The Hodge systems are far reaching extensions of the Cauchy-Riemann system and solutions are referred to as Hodge conjugate fields. We formulate and solve the Dirichlet and Neumann boundary value problems for the Hodge systems and establish the ℒ^p for such solutions. Among the many desirable properties of Hodge conjugate fields, we prove, in analogy with the case of holomorphic functions on the plane, the compactness principle and a strong theorem on the removability of singularities. Finally, some relevant examples and applications are indicated. Entrata in Redazione il 4 dicembre 1997. The first two authors were partially supported by NSF grants DMS-9401104 and DMS-9706611. Bianca Stroffolini was supported by CNR. This work started in 1993 when all authors were in Syracuse.     

Integral Equations for Electromagnetic Scattering at Multi-Screens

In (X. Claeys and R. Hiptmair, Integral equations on multi-screens. Integral Equ Oper Theory, 77(2):167–197, 2013) we developed a framework for the analysis of boundary integral equations for acoustic scattering at so-called multi-screens, which are arbitrary arrangements of thin panels made of impenetrable material. In this article we extend these considerations to boundary integral equations for electromagnetic scattering. We view tangential multi-traces of vector fields from the perspective of quotient spaces and introduce the notion of single-traces and spaces of jumps. We also derive representation formulas and establish key properties of the involved potentials and related boundary operators. Their coercivity will be proved using a splitting of jump fields. Another new aspect emerges in the form of surface differential operators linking various trace spaces.     

Potential Techniques and Regularity of Boundary Value Problems in Exterior Non-Smooth Domains

Via Potential Theory, we obtain optimal solvability results in weighted Sobolev spaces for the Poisson's Problem for the Laplacian, with Dirichlet and Neumann boundary conditions in the exterior W\Omega of a bounded Lipschitz domain. As an application, we present suitable Helmholtz decompositions of vector fields defined on W\Omega. Our methods can be used to study similar regularity issues for systems.     

Boundary Element Methods for Maxwell Transmission Problems in Lipschitz Domains

Summary. We consider the Maxwell equations in a domain with Lipschitz boundary and the boundary integral operator A occuring in the Calderón projector. We prove an inf-sup condition for A using a Hodge decomposition. We apply this to two types of boundary value problems: the exterior scattering problem by a perfectly conducting body, and the dielectric problem with two different materials in the interior and exterior domain. In both cases we obtain an equivalent boundary equation which has a unique solution. We then consider Galerkin discretizations with Raviart-Thomas spaces. We show that these spaces have discrete Hodge decompositions which are in some sense close to the continuous Hodge decomposition. This property allows us to prove quasioptimal convergence of the resulting boundary element methods. Mathematics Subject Classification (2000):65N30     

Weakly Convex Biharmonic Hypersurfaces in Nonpositive Curvature Space Forms are Minimal

A submanifold M ^m of a Euclidean space R ^m+p is said to have harmonic mean curvature vector field if ${\Delta \vec{H}=0}$ , where ${\vec{H}}$ is the mean curvature vector field of ${M\hookrightarrow R^{m+p}}$ and Δ is the rough Laplacian on M. There is a famous conjecture named after Bangyen Chen which states that submanifolds of Euclidean spaces with harmonic mean curvature vector fields are minimal. In this paper we prove that weakly convex hypersurfaces (i.e. hypersurfaces whose principle curvatures are nonnegative) with harmonic mean curvature vector fields in Euclidean spaces are minimal. Furthermore we prove that weakly convex biharmonic hypersurfaces in nonpositively curved space forms are minimal.     

Nonsingular star flows satisfy Axiom A and the no-cycle condition

We give an affirmative answer to a problem of Liao and Mañé which asks whether, for a nonsingular flow to loose the Ω-stability, it must go through a critical-element-bifurcation. More precisely, a vector field S on a compact boundaryless manifold is called a star system if S has a C ¹ neighborhood $\mathcal{U}We give an affirmative answer to a problem of Liao and Ma?é which asks whether, for a nonsingular flow to loose the Ω-stability, it must go through a critical-element-bifurcation. More precisely, a vector field S on a compact boundaryless manifold is called a star system if S has a C¹ neighborhood in the set of C¹ vector fields such that every singularity and every periodic orbit of every is hyperbolic. We prove that any nonsingular star flow satisfies Axiom A and the no cycle condition. Dedicated to Shaotao Liao and Ricardo Ma?é Mathematics Subject Classification (2000) 37D30     

On the representation of biharmonic functions with singularities in ℝ n

Biharmonic functions are defined on Euclidean spaces, Riemannian manifolds, infinite trees, and more generally on abstract harmonic spaces. In this note, we consider biharmonic functions b defined on annular sets Ω \ K and obtain Laurent-type decompositions for b in the Euclidean spaces and in infinite trees. Particular importance is given to the investigation when b extends as a distribution on Ω.     

Shape Derivatives of Boundary Integral Operators in Electromagnetic Scattering. Part II: Application to Scattering by a Homogeneous Dielectric Obstacle

We develop the shape derivative analysis of solutions to the problem of scattering of time-harmonic electromagnetic waves by a penetrable bounded obstacle. Since boundary integral equations are a classical tool to solve electromagnetic scattering problems, we study the shape differentiability properties of the standard electromagnetic boundary integral operators. The latter are typically bounded on the space of tangential vector fields of mixed regularity T H^-\frac12(div_G,G){\mathsf T \mathsf H^{-\frac{1}{2}}({\rm div}_{\Gamma},\Gamma)}. Using Helmholtz decomposition, we can base their analysis on the study of pseudo-differential integral operators in standard Sobolev spaces, but we then have to study the Gateaux differentiability of surface differential operators. We prove that the electromagnetic boundary integral operators are infinitely differentiable without loss of regularity. We also give a characterization of the first shape derivative of the solution of the dielectric scattering problem as a solution of a new electromagnetic scattering problem.     

Global regularity of the\overline \partial-neumann problem on an annulus between two pseudoconvex manifolds which satisfy property (P)problem on an annulus between two pseudoconvex manifolds which satisfy property (P)

LetX be a complex manifold of dimensionn≥3. Let Ω₁, Ω₂ be two open pseudoconvex submanifolds with smooth boundary such that Ω₁ ? Ω₂ ?X . Let Ω = Ω₂ \ $\overline \Omega_1 $ . Assume thatbΩ₁ andbΩ₁ satisfy Catlin's condition (P). Then the compactness estimate for (p, q)-forms with 0<q<n?1 holds for the $\overline \partial$ -Neumann problem on Ω. This result implies that given a $\overline \partial$ -closed (p, q)-form α with 0<q<n?1, which isC ^∞ on $\overline \Omega$ and which is cohomologous to zero on Ω, the canonical solutionu of the equation $\overline \partial$ u=α is smooth on $\overline \Omega$ .     

Fixed Points of Mappings Satisfying a Weakly Contractive Type Condition

In this paper, we discuss a fixed point theorem for mappings derived by a pair of mappings satisfying weak(k, k/) contractive type condition on the tensor product spaces. Let X and Y be Banach spaces and T_1 : X γ Y → X and T_2: X γ Y → Y be two operators which satisfy weak(k, k/) contractive type condition. Using T_1 and T_2, we construct an operator T on X γ Y and show that T has a unique fixed point in a closed and bounded subset of X γ Y.We derive an iteration scheme converging to this unique fixed point of T. Conversely, using a weakly contractive mapping T, we construct a pair of mappings(T_1, T_2) satisfying weak(k, k/)contractive type condition on X γ Y and from this pair, we also obtain two self mappings S_1 and S_2 on X and Y respectively with unique fixed points.     

A dual finite element complex on the barycentric refinement

Given a two dimensional oriented surface equipped with a simplicial mesh, the standard lowest order finite element spaces provide a complex centered on Raviart-Thomas divergence conforming vector fields. It can be seen as a realization of the simplicial cochain complex. We construct a new complex of finite element spaces on the barycentric refinement of the mesh which can be seen as a realization of the simplicial chain complex on the original (unrefined) mesh, such that the duality is non-degenerate on for each . In particular is a space of -conforming vector fields which is dual to Raviart-Thomas -conforming elements. When interpreted in terms of differential forms, these two complexes provide a finite-dimensional analogue of Hodge duality.

     

Bochner-Kodaira Techniques on K¨ahler Finsler Manifolds

A horizontal Hodge Laplacian operator $\square_{\mathcal {H}}$ is defined for Hermitian holomorphic vector bundles over PTM on K¨ahler Finsler manifold, and the expression of $\square_{\mathcal {H}}$ is obtained explicitly in terms of horizontal covariant derivatives of the Chern-Finsler connection. The vanishing theorem is obtained by using the $\partial_{\mathcal {H}}\ov{\partial}_{\mathcal {H}}$-method on K¨ahler Finsler manifolds.     

Differential calculus over general base fields and rings

We present an axiomatic approach to finite- and infinite-dimensional differential calculus over arbitrary infinite fields (and, more generally, suitable rings). The corresponding basic theory of manifolds and Lie groups is developed. Special attention is paid to the case of mappings between topological vector spaces over non-discrete topological fields, in particular ultrametric fields or the fields of real and complex numbers. In the latter case, a theory of differentiable mappings between general, not necessarily locally convex spaces is obtained, which in the locally convex case is equivalent to Keller's C^k_c-theory.     

The structures of Hausdorff metric in non-Archimedean spaces

For non-Archimedean spaces X and Y, let $\mathcal{M}_\flat \left( X \right)$ , $\mathfrak{M}\left( {V \to W} \right)$ and $\mathfrak{D}_\flat \left( {X,Y} \right)$ be the ballean of X (the family of the balls in X), the space of mappings from X to Y, and the space of mappings from the ballean of X to Y, respectively. By studying explicitly the Hausdorff metric structures related to these spaces, we construct several families of new metric structures (e.g., $\hat \rho _u$ , $\hat \beta _{X,Y}^\lambda$ , $\hat \beta _{X,Y}^{ * \lambda }$ ) on the corresponding spaces, and study their convergence, structural relation, law of variation in the variable λ, including some normed algebra structure. To some extent, the class $\hat \beta _{X,Y}^\lambda$ is a counterpart of the usual Levy-Prohorov metric in the probability measure spaces, but it behaves very differently, and is interesting in itself. Moreover, when X is compact and Y = K is a complete non-Archimedean field, we construct and study a Dudly type metric of the space of K-valued measures on X.     

Levi foliations in pseudoconvex boundaries and vector fields that commute approximately with

Boas and Straube proved a general sufficient condition for global regularity of the -Neumann problem in terms of families of vector fields that commute approximately with . In this paper, we study the existence of these vector fields on a compact subset of the boundary whose interior is foliated by complex manifolds. This question turns out to be closely related to properties of interest from the point of view of foliation theory.