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)     

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.     

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.     

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.     

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.     

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.     

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 ?.     

Evolution equations with a free boundary condition

In this paper we consider the heat flow of harmonic maps between two compact Riemannian Manifolds M and N (without boundary) with a free boundary condition. That is, the following initial boundary value problem ∂₁,u −Δu = Γ(u)(∇u, ∇u) [tT T_{u u}N, on M × [0, ∞), u(t, x) ∈ Σ, for x ∈ ∂M, t > 0, ∂u/t6n(t, x) ⊥_u T_u(t,x) Σ, for x ∈ ∂M, t > 0, u(o,x) = u_o(x), on M, where Σ is a smooth submanifold without boundary in N and n is a unit normal vector field of M along ∂M. Due to the higher nonlinearity of the boundary condition, the estimate near the boundary poses considerable difficulties, even for the case N = ℝⁿ, in which the nonlinear equation reduces to ∂_tu-Δu = 0. We proved the local existence and the uniqueness of the regular solution by a localized reflection method and the Leray-Schauder fixed point theorem. We then established the energy monotonicity formula and small energy regularity theorem for the regular solutions. These facts are used in this paper to construct various examples to show that the regular solutions may develop singularities in a finite time. A general blow-up theorem is also proven. Moreover, various a priori estimates are discussed to obtain a lower bound of the blow-up time. We also proved a global existence theorem of regular solutions under some geometrical conditions on N and Σ which are weaker than K_N <-0 and Σ is totally geodesic in N.     

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.     

Polynomial particular solutions for certain partial differential operators

In this article, we consider a variant of the Dual Reciprocity Method (DRM) for solving boundary value problems based on approximating source terms by polynomials other than the traditional basis functions. The use of pseudo‐spectral approximations and symbolic methods enables us to obtain highly accurate results without solving the often ill‐conditioned equations that occur when radial basis function approximations are used. When the given partial differential equation is either Poisson's equation or an inhomogeneous Helmholtz‐type equation, we are able to obtain either closed form particular solutions or efficient recursive algorithms. Using the particular solutions, we convert the inhomogeneous equations to homogeneous. The resulting homogeneous equations are then amenable to solution by boundary‐type methods such as the Boundary Element Method (BEM) or the Method of Fundamental Solutions (MFS). Using the MFS, we provide numerical solutions to a variety of boundary value problems in R² and R³ . Using this approach, we can achieve high accuracy with a modest number of interpolation and collocation points. © 2002 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 19: 112–133, 2003     

On a nonlinear elliptic problem with critical potential in ?2

Consider the existence of nontrivial solutions of homogeneous Dirichlet problem for a nonlinear elliptic equation with the critical potential in ℝ². By establishing a weighted inequality with the best constant, determine the critical potential in ℝ², and study the eigenvalues of Laplace equation with the critical potential. By the Pohozaev identity of a solution with a singular point and the Cauchy-Kovalevskaya theorem, obtain the nonexistence result of solutions with singular points to the nonlinear elliptic equation. Moreover, for the same problem, the existence results of multiple solutions are proved by the mountain pass theorem.     

Second Order Elliptic Differential-Operator Equations with Unbounded Operator Boundary Conditions in <Emphasis Type="Italic">UMD</Emphasis> Banach Spaces

In a UMD Banach space E, we consider a boundary value problem for a second order elliptic differential-operator equation with a spectral parameter when one of the boundary conditions, in the principal part, contains a linear unbounded operator in E. A theorem on an isomorphism is proved and an appropriate estimate of the solution with respect to the space variable and the spectral parameter is obtained. In this way, Fredholm property of the problem is shown. Moreover, discreteness of the spectrum and completeness of a system of root functions corresponding to the homogeneous problem are established. Finally, applications of obtained abstract results to nonlocal boundary value problems for elliptic differential equations with a parameter in non-smooth domains are given.     

关于齐次四元Monge-Ampère方程的一些注记北大核心CSCD

本文考虑了四元数空间Hn中齐次四元Monge-Ampère方程的狄利克雷问题解的正则性.首先,当区域是边界为C1,1的强拟凸域时,作者给出了解的Lipschitz估计.其次,考虑了四元MongeAmpère算子的收敛性.最后,讨论了齐次四元Monge-Ampère方程的粘性次解与F-次调和函数之间的关系.     

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.     

Study of weak solutions for a fourth-order parabolic equation with variable exponent of nonlinearity

The aim of this paper is to study the existence and uniqueness of weak solutions for an initial boundary problem of a fourth-order parabolic equation with variable exponent of nonlinearity. First, the authors of this paper apply Leray-Schauder’s fixed point theorem to prove the existence of solutions of the corresponding nonlinear elliptic problem and then obtain the existence of weak solutions of nonlinear parabolic problem by combining the results of the elliptic problem with Rothe’s method. In addition, the authors also discuss the regularity of weak solutions in the case of space dimension one.     

Some remarks on Zienkiewicz-Zhu estimator

In this article, Zienkiewicz-Zhu estimator is analyzed for the piecewise linear finite element approximate solution of an elliptic problem. The estimator is proved to be equivalent to the error for the Poisson equation with a homogeneous Dirichlet boundary condition for any triangular regular mesh. No assumptions are needed about the regularity of the solution (i.e., solutions with corner singularities are not excluded). The estimator is also proved to be asymptotically exact on subdomains where the solution is smooth when parallel meshes are used. Therefore, its behavior is similar to that of other well-known estimators. © 1994 John Wiley & Sons, Inc.     

Convergence analysis of a hp-finite element approximation of the time-harmonic Maxwell equations with impedance boundary conditions in domains with an analytic boundary

We consider a nonconforming hp -finite element approximation of a variational formulation of the time-harmonic Maxwell equations with impedance boundary conditions proposed by Costabel et al. The advantages of this formulation is that the variational space is embedded in H¹ as soon as the boundary is smooth enough (in particular it holds for domains with an analytic boundary) and standard shift theorem can be applied since the associated boundary value problem is elliptic. Finally in order to perform a wavenumber explicit error analysis of our problem, a splitting lemma and an estimation of the adjoint approximation quantity are proved by adapting to our system the results from Melenk and Sauter obtained for the Helmholtz equation. Some numerical tests that illustrate our theoretical results are also presented. Analytic regularity results with bounds explicit in the wavenumber of the solution of a general elliptic system with lower order terms depending on the wavenumber are needed and hence proved.