A Reflection Principle and an Orthogonal Decomposition in Clifford Algebras

In this article we investigate spaces of functions defined in a domain Ω ? R with values in the Clifford algebra R _n. According to an inner product an orthogonal decomposition is proved. By this decomposition, we obtain a subspace A ₂(Ω) of regular functions with respect to the Dirac operator. In the orthogonal complement the Dirac equation with homogeneous boundary values is solvable. The decomposition can be proved in two ways: by a reflection principle and by Sobolev's regularity theorem. It will turn out, that the existence of the orthogonal decomposition and Sobolev's theorem is equivalent. So also a reflection principle will be proved, which describes the jump behavior of a Cauchy type integral. By the reflection principle, a countable dense subset of A ₂(Ω) can be obtained. Further considerations lead to a minimal generating system, by which the Bergman kernel function can be obtained. As a conclusion we also obtain Runge's theorem.     

Navier–Stokes Equations and Weighted Convolution Inequalities in Groups

We obtain Gevrey regular mild solutions to the incompressible Navier–Stokes equations in R ⁿ with periodic boundary condition in a subset of the variables. The method is based on an extension of Young's convolution inequality in weighted Lebesgue spaces of measurable functions defined on locally compact abelian groups. This generalizes and provides a unified treatment of the Gevrey regularity result of Foias and Temam in the space periodic case and those of Le Jan and Sznitman and Lemarié–Rieusset in the whole space with no boundary.     

Representations of Solutions of Laplacian Boundary Value Problems on Exterior Regions

This paper treats the well-posedness and representation of solutions of Poisson’s equation on exterior regions $U\subsetneq{\mathbb{R}}^{N}$ with N≥3. Solutions are sought in a space E ¹(U) of finite energy functions that decay at infinity. This space contains H ¹(U) and existence-uniqueness theorems are proved for the Dirichlet, Robin and Neumann problems using variational methods with natural conditions on the data. A decomposition result is used to reduce the problem to the evaluation of a standard potential and the solution of a harmonic boundary value problem. The exterior Steklov eigenproblems for the Laplacian on U are described. The exterior Steklov eigenfunctions are proved to generate an orthogonal basis for the subspace of harmonic functions and also of certain boundary trace spaces. Representations of solutions of the harmonic boundary value problem in terms of these bases are found, and estimates for the solutions are derived. When U is the region exterior to a 3-d ball, these Steklov representations reduce to the classical multi-pole expansions familiar in physics and engineering analysis.     

Sobolev's inequality for Riesz potentials of functions in Morrey spaces of integral form

Morrey spaces have become a good tool for the study of existence and regularity of solutions of partial differential equations. Our aim in this paper is to give Sobolev's inequality for Riesz potentials of functions in Morrey spaces (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

A Nash Type Result for Divergence Parabolic Equation Related to Hörmander's Vector Fields

In this paper we consider the divergence parabolic equation with bounded and measurable coefficients related to Hörmander's vector fields and establish a Nash type result, i.e., the local Hölder regularity for weak solutions. After deriving the parabolic Sobolev inequality, (1,1) type Poincaré inequality of Hörmander's vector fields and a De Giorgi type Lemma, the Hölder regularity of weak solutions to the equation is proved based on the estimates of oscillations of solutions and the isomorphism between parabolic Campanato space and parabolic Hölder space. As a consequence, we give the Harnack inequality of weak solutions by showing an extension property of positivity for functions in the De Giorgi class.     

Local compactness for linear elasticity in irregular domains

For the theory of boundary value problems in linear elasticity, it is of crucial importance that the space of vector-valued L²-functions whose symmetrized Jacobians are square-integrable should be compactly embedded in L². For regions with the cone property this is usually achieved by combining Korn's inequalities and Rellich's selection theorem. We shall show that in a class of less regular regions Korn's second inequality fails whereas the desired compact embedding still holds true.     

Singularity functions at axisymmetric edges and their representation by Fourier series

The regularity of solutions of the Dirichlet problem for the Poisson equation in three-dimensional axisymmetric domains with reentrant edges is studied by means of Fourier series. The decomposition of the 3D problem into variational equations in 2D, a priori estimates of their solutions, a theorem of Riesz–Fischer type and two singularity functions (of tensor and non-tensor product type) are given.     

Morse homology for the heat flow – Linear theory

Consider the linear parabolic partial differential equation ${\mathcal {D}}_u\xi =0$ which arises by linearizing the heat flow on the loop space of a Riemannian manifold M. The solutions are vector fields along infinite cylinders u in M. For these solutions we establish regularity and a priori estimates. We show that for nondegenerate asymptotic boundary conditions the solutions decay exponentially in L² in forward and backward time. In this case ${\mathcal {D}}_u$ viewed as linear operator from the parabolic Sobolev space ${\mathcal {W}}^{1,p}$ to L^p is Fredholm whenever p > 1. We close with an L^p estimate for products of first order terms which is a crucial ingredient in the sequel 13 to prove regularity and the implicit function theorem. The results of the present text are the base to construct in 13 an algebraic chain complex whose homology represents the homology of the loop space.     

Traces of Sobolev functions on the Ahlfors sets of Carnot groups

We prove the converse of the trace theorem for the functions of the Sobolev spaces W _p ^l on a Carnot group on the regular closed subsets called Ahlfors d-sets (the direct trace theorem was obtained in one of our previous publications). The theorem generalizes Johnsson and Wallin’s results for Sobolev functions on the Euclidean space. As a consequence we give a theorem on the boundary values of Sobolev functions on a domain with smooth boundary in a two-step Carnot group. We consider an example of application of the theorems to solvability of the boundary value problem for one partial differential equation.     

Regularity of solutions to regular shock reflection for potential flow

The shock reflection problem is one of the most important problems in mathematical fluid dynamics, since this problem not only arises in many important physical situations but also is fundamental for the mathematical theory of multidimensional conservation laws that is still largely incomplete. However, most of the fundamental issues for shock reflection have not been understood, including the regularity and transition of different patterns of shock reflection configurations. Therefore, it is important to establish the regularity of solutions to shock reflection in order to understand fully the phenomena of shock reflection. On the other hand, for a regular reflection configuration, the potential flow governs the exact behavior of the solution in C ^1,1 across the pseudo-sonic circle even starting from the full Euler flow, that is, both of the nonlinear systems are actually the same in a physically significant region near the pseudo-sonic circle; thus, it becomes essential to understand the optimal regularity of solutions for the potential flow across the pseudo-sonic circle (the transonic boundary from the elliptic to hyperbolic region) and at the point where the pseudo-sonic circle (the degenerate elliptic curve) meets the reflected shock (a free boundary connecting the elliptic to hyperbolic region). In this paper, we study the regularity of solutions to regular shock reflection for potential flow. In particular, we prove that the C ^1,1-regularity is optimal for the solution across the pseudo-sonic circle and at the point where the pseudo-sonic circle meets the reflected shock. We also obtain the C ^2,α regularity of the solution up to the pseudo-sonic circle in the pseudo-subsonic region. The problem involves two types of transonic flow: one is a continuous transition through the pseudo-sonic circle from the pseudo-supersonic region to the pseudo-subsonic region; the other a jump transition through the transonic shock as a free boundary from another pseudo-supersonic region to the pseudo-subsonic region. The techniques and ideas developed in this paper will be useful to other regularity problems for nonlinear degenerate equations involving similar difficulties.     

Stokes and Navier–Stokes equations with nonhomogeneous boundary conditions

In this paper, we study the existence and regularity of solutions to the Stokes and Oseen equations with nonhomogeneous Dirichlet boundary conditions with low regularity. We consider boundary conditions for which the normal component is not equal to zero. We rewrite the Stokes and the Oseen equations in the form of a system of two equations. The first one is an evolution equation satisfied by Pu, the projection of the solution on the Stokes space – the space of divergence free vector fields with a normal trace equal to zero – and the second one is a quasi-stationary elliptic equation satisfied by (I−P)u, the projection of the solution on the orthogonal complement of the Stokes space. We establish optimal regularity results for Pu and (I−P)u. We also study the existence of weak solutions to the three-dimensional instationary Navier–Stokes equations for more regular data, but without any smallness assumption on the initial and boundary conditions.     

On the solution of Maxwell's equations in polygonal domains

This paper is concerned with the structure of the singular and regular parts of the solution of time‐harmonic Maxwell's equations in polygonal plane domains and their effective numerical treatment. The asymptotic behaviour of the solution near corner points of the domain is studied by means of discrete Fourier transformation and it is proved that the solution of the boundary value problem does not belong locally to H² when the boundary of the domain has non‐acute angles. A splitting of the solution into a regular part belonging to the space H², and an explicitly described singular part is presented. For the numerical treatment of the boundary value problem, we propose a finite element discretization which combines local mesh grading and the singular field methods and derive a priori error estimates that show optimal convergence as known for the classical finite element method for problems with regular solutions. Copyright © 2006 John Wiley & Sons, Ltd.     

Equations in a group with a length function

A simple counterexample to Lyndon's conjecture is given. There is defined a group of continuous functions with a regular Archimedean length function. Analogues of Wicks' theorem on the commutator and of Lyndon's theorem on the solutions of the equation a²b²=c² are proved for a wider class of groups with a regular Archimedean length function.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 43, Nos. 7 and 8, pp. 935–942, July–August, 1991.     

Regularity of weak solutions of Maxwell's equations with mixed boundary‐conditions

In this paper global H^s‐ and L^p‐regularity results for the stationary and transient Maxwell equations with mixed boundary conditions in a bounded spatial domain are proved. First it is shown that certain elements belonging to the fractional‐order domain of the Maxwell operator belong to H^s(Ω) for sufficiently small s > 0. It follows from this regularity result that H^s(Ω) is an invariant subspace of the unitary group corresponding to the homogeneous Maxwell equations with mixed boundary conditions. In the case that a possibly non‐linear conductivity is present a L^p‐regularity theorem for the transient equations is proved. Copyright © 1999 John Wiley & Sons, Ltd.     

On a wave map equation arising in general relativity

We consider a class of space‐times for which the essential part of Einstein's equations can be written as a wave map equation. The domain is not the standard one, but the target is hyperbolic space. One ends up with a 1 + 1 nonlinear wave equation, where the space variable belongs to the circle and the time variable belongs to the positive real numbers. The main objective of this paper is to analyze the asymptotics of solutions to these equations as t → ∞. For each point in time, the solution defines a loop in hyperbolic space, and the first result is that the length of this loop tends to 0 as t^?1/2 as t → ∞. In other words, the solution in some sense becomes spatially homogeneous. However, the asymptotic behavior need not be similar to that of spatially homogeneous solutions to the equations. The orbits of such solutions are either a point or a geodesic in the hyperbolic plane. In the nonhomogeneous case, one gets the following asymptotic behavior in the upper half‐plane (after applying an isometry of hyperbolic space if necessary):

• 1 The solution converges to a point.
• 2 The solution converges to the origin on the boundary along a straight line (which need not be perpendicular to the boundary).
• 3 The solution goes to infinity along a curve y = const.
• 4 The solution oscillates around a circle inside the upper half‐plane.

Thus, even though the solutions become spatially homogeneous in the sense that the spatial variations die out, the asymptotic behavior may be radically different from anything observed for spatially homogeneous solutions of the equations. This analysis can then be applied to draw conclusions concerning the associated class of space‐times. For instance, one obtains the leading‐order behavior of the functions appearing in the metric, and one can conclude future causal geodesic completeness. © 2004 Wiley Periodicals, Inc.     

Ergodic Properties for Regular A-Contractions

The current article pleads for the possibility to obtain an orthogonal decomposition of a Hilbert space which is induced by a regular A-contraction defined in [9, 10], A being a positive operator on . The decomposition generalizes the well-known decomposition related to a contraction T of , which gives the ergodic character of T. This decomposition is being used to prove certain versions for regular A-contractions of the mean ergodic theorem, as well as a version of Patil’s theorem from [8]. Also, we characterize the solutions of corresponding functional equations in the range of A^1/2, by analogy with the result of Lin-Sine in [7].     

La surjectivité de l'application moyenne pour les espaces préhomogènes

Let ? be an homogeneous polynomial on $\text{R}$ⁿ. First an analog of the Borel theorem is proved for the distributions which appear at the poles of the distribution |?|^s (s ∈ $\text{C}$). If ? is the relative invariant of an irreducible regular prehomogeneous vector space, the preceding result is used to characterize the functions which are obtained by integration on the fibers of ?.     

Homoclinic solutions for nonlinear general fourth‐order differential equations

This work provides sufficient conditions for the existence of homoclinic solutions of fourth‐order nonlinear ordinary differential equations. Using Green's functions, we formulate a new modified integral equation that is equivalent to the original nonlinear equation. In an adequate function space, the corresponding nonlinear integral operator is compact, and it is proved an existence result by Schauder's fixed point theorem. Copyright © 2017 John Wiley & Sons, Ltd.     

Local existence and uniqueness theorems for a free boundary problem

Free boundary problems are considered, where the tangential and normal components u_t and u_n of an otherwise unknown plane harmonic vector field are prescribed along the unknown boundary curve as a function of the coordinates x, y and the tangent angle θ. The vector field is required to exist either in the interior region G⁺ or in the exterior G^?. In each case the free boundary is characterized by a nonlinear integral equation. A linearised version of this equation is a one-dimensional singular integral equation. Under rather general hypotheses which are easy to check, the properties of the linear equation are described by Noether's theorems. The regularity of the solution is studied and the effect of the nonlinear terms is estimated. A variant of the Nash-Moser implicit-function theorem can be applied. This yields local existence and uniqueness theorems for the free boundary problem in Hölder-classes H^2+μ. The boundary curve depends continuously on the defining data. Finally some examples are given, where the linearised equation can be completely discussed.     

A highly accurate homogeneous scheme for solving the laplace equation on a rectangular parallelepiped with boundary values in C k, 1

In this paper, a homogeneous scheme with 26-point averaging operator for the solution of Dirichlet problem for Laplace??s equation on rectangular parallelepiped is analyzed. It is proved that the order of convergence is O(h ⁴), where h is the mesh step, when the boundary functions are from C ^{3, 1}, and the compatibility condition, which results from the Laplace equation, for the second order derivatives on the adjacent faces is satisfied on the edges. Futhermore, it is proved that the order of convergence is O(h ⁶(|lnh| + 1)), when the boundary functions are from C ^{5, 1}, and the compatibility condition for the fourth order derivatives is satisfied. These estimations can be used to justify different versions of domain decomposition methods.