Supercentralizing Superderivations on Prime Superalgebras

ABSTRACT

Let A = A ₀ ⊕ A ₁ be an associative superalgebra over a commutative associative ring F, and let Z _s (A) be its supercenter. An F-mapping f of A into itself is called supercentralizing on a subset S of A if [x, f(x)] _s  ∈ Z _s (A) for all x ∈ S. In this article, we prove a version of Posner's theorem for supercentralizing superderivations on prime superalgebras.     

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.     

Error Estimates for Finite Element Approximations of a Viscous Wave Equation

We consider a family of fully discrete finite element schemes for solving a viscous wave equation, where the time integration is based on the Newmark method. A rigorous stability analysis based on the energy method is developed. Optimal error estimates in both time and space are obtained. For sufficiently smooth solutions, it is demonstrated that the maximal error in the L ²-norm over a finite time interval converges optimally as O(h ^p+1 + Δt ^s ), where p denotes the polynomial degree, s = 1 or 2, h the mesh size, and Δt the time step.     

No TVD Fields for 1-D Isentropic Gas Flow

We prove that isentropic gas flow does not admit non-degenerate TVD fields on any invariant set ?(r ₀, s ₀) = {r ₀ < r < s < s ₀}, where r, s are Riemann coordinates. A TVD field refers to a scalar field whose spatial variation Var _X (?(τ(t, X), u(t, X))) is non-increasing in time along entropic solutions. The result is established under the assumption that the Riemann problem defined by an overtaking shock-rarefaction interaction gives the asymptotic states in the exact solution.

Little is known about global existence of large-variation solutions to hyperbolic systems of conservation laws u _t  + f(u) _x  = 0. In particular it is not known if isentropic gas flow admits a priori BV bounds which apply to all BV data.

In the few cases where such results are available (scalar case, Temple class, systems satisfying Bakhvalov's condition, isothermal gas dynamics) there are TVD fields which play a key role for existence. Our results show that the same approach cannot work for isentropic flow.     

On the Invariant Fields and Rings of Some Groups of Polynomial Automorphisms

Abstract

We consider the group G of C-automorphisms of C(x, y) (resp. C[x, y]) generated by s, t such that t(x) = y, t(y) = x and s(x) = x, s(y) = ? y + u(x) where u ∈ C[x] is of degree k ≥ 2. Using Galois's theory, we show that the invariant field and the invariant algebra of G are equal to C.     

Reducibility of Punctual Hilbert Schemes of Cone Varieties

In this short note we show that for any pair of positive integers (d, n) with n > 2 and d > 1 or n = 2 and d > 4, there always exist projective varieties X ? ? ^N of dimension n and degree d and an integer s ₀ such that Hilb ^s (X) is reducible for all s ≥ s ₀. X will be a projective cone in ? ^N over an arbitrary projective variety Y ? ? ^N?1. In particular, we show that, opposite to the case of smooth surfaces, there exist projective surfaces with a single isolated singularity which have reducible Hilbert scheme of points.     

Suboptimal Polynomial Meshes on Planar Lipschitz Domains

We construct norming meshes with cardinality 𝒪(n ^s ), s = 3, for polynomials of total degree at most n on the closure of bounded planar Lipschitz domains. Such cardinality is intermediate between optimality (s = 2), recently obtained by Kroó on multidimensional C ² star-like domains, and that arising from a general construction on Markov compact sets due to Calvi and Levenberg (s = 4).     

A Reflection Principle and an Orthogonal Decomposition Concernig Hypoelliptic Equations

A jump relation for a boundary integral representation of solutions of hypoelliptic equations is described by a reflection principle. An orthogonal decomposition of L² can be proved by the jump relation. In the orthogonal complement of the space of regular functions, i.e. the space of solutions of the homogeneous equation, the inhomogeneous adjoint equation has a solution with homogeneous boundary values. As a conclusion, one obtains Sobolev's regularity theorem. Furthermore it will be proved that the existence of the orthogonal decomposition and Sobolev's regularity theorem are equivalent. Theorems of Runge's type will be proved in order to determine countable dense subsets of the space of regular functions.     

Factoriality of Certain Threefolds Complete Intersection in P 5 with Ordinary Double Points

Abstract

Let V ? P ⁵ be a reduced and irreducible threefold of degree s, complete intersection on a smooth hypersurface of degree t, with s > t ² ? t. In this paper, we prove that if the singular locus of V consists of δ < 3s/8t ordinary double points, then any projective surface contained in V is a complete intersection on V. In particular, V is Q-factorial.     

On the Number of Galois Points for a Plane Curve in Positive Characteristic

We study Galois points for a plane smooth curve C ? P ² of degree d ≥ 4 in characteristic p > 2. We generalize Yoshihara's result on the number of inner (resp., outer) Galois points to positive characteristic under the assumption that d ? 1 (resp., d ? 0) modulo p. As an application, we also find the number of Galois points in the case that d = p.     

Supraconvergence and Supercloseness of a Scheme for Elliptic Equations on Nonuniform Grids

In this paper, we study the convergence of a finite difference scheme on nonuniform grids for the solution of second-order elliptic equations with mixed derivatives and variable coefficients in polygonal domains subjected to Dirichlet boundary conditions. We show that the scheme is equivalent to a fully discrete linear finite element approximation with quadrature. It exhibits the phenomenon of supraconvergence, more precisely, for s ∈ [1,2] order O(h ^s )-convergence of the finite difference solution, and its gradient is shown if the exact solution is in the Sobolev space H ^1+s (Ω). In the case of an equation with mixed derivatives in a domain containing oblique boundary sections, the convergence order is reduced to O(h ^3/2?ε) with ε > 0 if u ∈ H ³(Ω). The second-order accuracy of the finite difference gradient is in the finite element context nothing else than the supercloseness of the gradient. For s ∈ {1,2}, the given error estimates are strictly local.     

Existence and Numerical Solutions of Nonlinear Quadratic Integral Equations Defined on Unbounded Intervals

The first goal of this article is to discuss the existence of solutions of nonlinear quadratic integral equations. These equations are considered in the Banach space L ^p (?₊). The arguments used in the existence proofs are based on Schauder's and Darbo's fixed point theorems. In particular, to apply Schauder's fixed point theorem based method, a special care is devoted to the proof of the L ^p -compactness of the operators associated with our nonlinear quadratic integral equations. The second goal of this work is to study a numerical method for solving nonlinear Volterra integral equations of a fairly general type. Finally, we provide the reader with some examples that illustrate the different results of this work.     

On the Structure of ∞-Harmonic Maps

Let H ∈ C ²(? ^N×n ), H ≥ 0. The PDE system arises as the Euler-Lagrange PDE of vectorial variational problems for the functional E _∞(u, Ω) = ‖H(Du)‖ _{L ^∞(Ω)} defined on maps u: Ω ? ? ⁿ  → ? ^N . (1) first appeared in the author's recent work. The scalar case though has a long history initiated by Aronsson. Herein we study the solutions of (1) with emphasis on the case of n = 2 ≤ N with H the Euclidean norm on ? ^N×n , which we call the “∞-Laplacian”. By establishing a rigidity theorem for rank-one maps of independent interest, we analyse a phenomenon of separation of the solutions to phases with qualitatively different behaviour. As a corollary, we extend to N ≥ 2 the Aronsson-Evans-Yu theorem regarding non existence of zeros of |Du| and prove a maximum principle. We further characterise all H for which (1) is elliptic and also study the initial value problem for the ODE system arising for n = 1 but with H(·, u, u′) depending on all the arguments.     

Norm Inflation and Ill-Posedness for the Degasperis-Procesi Equation

For s < 3/2, it is shown that the Cauchy problem for the Degasperis-Procesi equation (DP) is ill-posed in Sobolev spaces H ^s . If 1/2 ≤ s < 3/2, then ill-posedness is due to norm inflation. This means that there exist DP solutions who are initially arbitrarily small and eventually arbitrarily large with respect to the H ^s norm, in an arbitrarily short time. Since DP solutions conserve a quantity equivalent to the L ²-norm, there is no norm inflation in H ⁰ for these solutions. In this case, ill-posedness is caused by failure of uniqueness. For all other s < 1/2, the situation is similar to H ⁰. Considering that DP is locally well-posed in H ^s for s > 3/2, this work establishes 3/2 as the critical index of well-posedness in Sobolev spaces.     

Multiple positive solutions of boundary value problems for second-order discrete equations on the half-line

In this paper, we study the existence of multiple positive solutions of boundary value problems for second-order discrete equations Δ² x(n ? 1) ? pΔx(n ? 1) ? qx(n ? 1)+f(n, x(n)) = 0, n ∈ {1,2,…}, αx(0) ? βΔx(0) = 0, x(∞) = 0. The proofs are based on the fixed point theorem in Fréchet space (see Agarwal and O'Regan, 2001, Cone compression and expansion and fixed point theorems in Fréchet spaces with application, Journal of Differential Equations, 171, 412–42).     

A THEOREM OF BÄCKLUND REVISITED

Abstract

Bäcklund's theorem states that the most general contact transformation is an extended point transformation whenever both the number of independent variables and the number of dependent variables exceed one. A partial circumvention of Bäcklund's theorem is obtained by assigning each dependent variable its own distinct manifold of independent variables. This gives rise to extended symplectic product structures. sequences of extended Hamiltonians, and Lie groups of regular maps that satisfy systems of extended Hamilton-Jacobi equations provided the initial data is determined by a regular map. These ideas are applied to the study of systems of nonlinear second order partial differential equations. Lie groups of solutions are shown to be obtained by solving systems of extended Hamilton-Jacobi equations provided the initial data defines a solution.     

A Theorem for Numerical Verification on Local Uniqueness of Solutions to Fixed-Point Equations

We give a theoretical result with respect to numerical verification of existence and local uniqueness of solutions to fixed-point equations which are supposed to have Fréchet differentiable operators. The theorem is based on Banach's fixed-point theorem and gives sufficient conditions in order that a given set of functions includes a unique solution to the fixed-point equation. The conditions are formulated to apply readily to numerical verification methods.

We already derived such a theorem in [11 N. Yamamoto ( 1998 ). A numerical verification method for solutions of boundary value problems with local uniqueness by Banach's fixed-point theorem . SIAM J. Numer. Anal. 35 : 2004 – 2013 .[Crossref] , [Google Scholar]], which is suitable to Nakao's methods on numerical verification for PDEs. The present theorem has a more general form and one may apply it to many kinds of differential equations and integral equations which can be transformed into fixed-point equations.     

The Stability in W s,p (Γ) Spaces of L 2-Projections on Some Convex Sets

ABSTRACT

For a polygonal open bounded subset of ?², of boundary Γ, we study stability estimates for the projection operator from L ¹(Γ) on a convex set K _h of continuous piecewise affine functions satisfying bound constraints. We establish stability estimates in L ^p (Γ) and in W ^s,p (Γ) for 1 ≤ p ≤ ∞ and 0 < s ≤ 1. This kind of result plays a crucial role in error estimates for the numerical approximation of optimal control problems of partial differential equations with bilateral control constraints.