Euler solutions of pseudodifferential equations

We consider a homogeneous pseudodifferential equation on a cylinderC=×X over a smooth compact closed manifoldX whose symbol extends to a meromorphic function on the complex plane with values in the algebra of pseudodifferential operators overX. When assuming the symbol to be independent on the variablet , we show an explicit formula for solutions of the equation. Namely, to each non-bijectivity point of the symbol in the complex plane there corresponds a finite-dimensional space of solutions, every solution being the residue of a meromorphic form manufactured from the inverse symbol. In particular, for differential equations we recover Euler's theorem on the exponential solutions. Our setting is model for the analysis on manifolds with conical points sinceC can be thought of as a stretched manifold with conical points att=– andt=. When compared with the general theory, our approach is constructive while highlighting all the features of this latter.     

On the solution a of second order singularly-perturbed boundary value problem by the Sinc-Galerkin method

Sinc methods are now recognized as an efficient numerical method for problems whose solutions may have singularities, or infinite domains, or boundary layers. This work deals with the Sinc-Galerkin method for solving second order singularly perturbed boundary value problems. The method is then tested on linear and nonlinear examples and a comparison with spline method and finite element scheme is made. It is shown that the Sinc-Galerkin method yields better results.Received: January 3, 2003; revised: July 14, 2003     

Die mehrstellenformeln für den Laplaceoperator

Summary Difference methods for the numerical solution of linear partial differential equations may often be improved by using a weighted right hand side instead of the original right hand side of the differential equation. Difference formulas, for which that is possible, are called Mehrstellenformeln or Hermitian formulas. In this paper the Hermitian formulas for the approximation of Laplace's operator are characterized by a very simple condition. We prove, that in two-dimensional case for a Hermitian formula of ordern at leastn+3 discretization points are necessary. We give examples of such optimal formulas of arbitrary high-order.

     

On richardson extrapolation for finite difference methods on regular grids

Summary Difference solutions of partial differential equations can in certain cases be expanded by even powers of a discretization parameterh. If we haven solutions corresponding to different mesh widthsh ₁,...,h _n we can improve the accuracy by Richardson extrapolation and get a solution of order 2n, yet only on the intersection of all grids used, i.e. normally on the coarsest grid. To interpolate this high order solution with the same accuracy in points not belonging to all grids, we need 2n points in an interval of length (2n–1)h ₁.This drawback can be avoided by combining such an interpolation with the extrapolation byh. In this case the approximation depends only on grid points in an interval of length 3/2h ₁. The length of this interval is independent of the desired order.By combining this approach with the method of Kreiss, boundary conditions on curved boundaries can be discretized with a high order even on coarse grids.This paper is based on a lecture held at the 5th Sanmarinian University Session of the International Academy of Sciences San Marino, at San Marino, 1988-08-27-1988-09-05     

Some (2,n) combinatorial Stein groupoids

A Stein groupoid (quasigroup) is a groupoid (quasigroup) satisfying the identityx(xy)=yx. We show that, for certain two variable identities, the variety of Stein groupoids defined by any one of these identities has the properties that every groupoid in the variety is a quasigroup and that the free groupoid generated by two elements is of finite (small) order which we determine. These results provide characterizations of some Stein quasigroups of small order and we give some further characterizations involving other identities.     

Some current questions on solving linear elliptic problems

Summary Common properties of elliptic problems and their solutions are compared with those of difference equations, with emphasis on the classical Dirichlet problem. Resistance network analogies are used to construct discrete harmonic functions; a new 9 POINT NET approximation is defined on elementary domains whose solutions haveO(h ⁴) max-norm error. The convection-diffusion equation is studied with especial emphasis on new fast iterative methods for solving its difference approximations. A new analysis of the structure of the matrix representation of difference approximations reveals special features which can naturally be associated with diffusion and with convective processes.Dedicated to R. S. Varga on the occasion of his sixtieth birthday     

A class of loops with right alternative loop rings

The purpose of this paper is to exhibit a class of loops which have strongly right alternative loop rings that are not alternative..     

Symmetry theorems for the overdetermined eigenvalue problems

The well-known Schiffer conjecture saying that for a smooth bounded domain Ω⊂Rn, if there exists a positive Neumann eigenvalue such that the corresponding Neumann eigenfunction u is constant on the boundary of Ω, then Ω is a ball. In this paper, we shall prove that the Schiffer conjecture holds if and only if the third order interior normal derivative of the corresponding Neumann eigenfunction is constant on the boundary. We also prove a similar result to the Berenstein conjecture for the overdetermined Dirichlet eigenvalue problem.     

The effect of points fattening on postulation

We classify sets Z of points in the projective plane, for which the difference between the minimal degrees of curves containing 2Z and Z respectively is small.     

Any algebraic variety in positive characteristic admits a projective model with an inseparable Gauss map

We determine the values attained by the rank of the Gauss map of a projective model for a fixed algebraic variety in positive characteristic p. In particular, it is shown that any variety in p>0 has a projective model such that the differential of the Gauss map is identically zero. On the other hand, we prove that there exists a product of two or more projective spaces admitting an embedding into a projective space such that the differential of the Gauss map is identically zero if and only if p=2.     

Postulation of disjoint unions of lines and a few planes

Let X⊂Pⁿ, n≥5, be a general union of x planes and y lines. Here we prove that X has the expected postulation if x is small with respect to y.     

The varieties of loops of Bol-Moufang type

A loop identity is of Bol-Moufang type if two of its three variables occur once on each side, the third variable occurs twice on each side, and the order in which the variables appear on both sides is the same, viz. ((xy)x)z = x(y(xz)). Loop varieties defined by one identity of Bol-Moufang type include groups, Bol loops, Moufang loops and C-loops. We show that there are exactly 14 such varieties, and determine all inclusions between them, providing all necessary counterexamples, too. This extends and completes the programme of Fenyves [Fe69]. Received October 23, 2003; accepted in final form April 12, 2005.     

On the McKay correspondences for the Hilbert scheme of points on the affine plane

The quotient of a finite-dimensional vector space by the action of a finite subgroup of automorphisms is usually a singular variety. Under appropriate assumptions, the McKay correspondence relates the geometry of nice resolutions of singularities and the representations of the group. For the Hilbert scheme of points on the affine plane, we study how different correspondences (McKay, dual McKay and multiplicative McKay) are related to each other.     

Lines in projective spaces

Here we study finite unions, Y, of lines in a projective space PG(n, K). We prove that if K is an infinite field, Y spans PG(n, K) and a general hyperplane section of Y is not in linearly general position, then there exists at least one linear subspace M of PG(n, K) such that 2 dim(M) < n and M contains at least dim(M)+2 lines of Y.The author was partially supported by MIUR and GNSAGA of INdAM (Italy).     

Special inner projections of projective varieties

LetX⊃P ^r be a non-degenerate variety and Γ(X) the closure inX of the set of all pointsP∈X such that the projection ofX fromP is not birational. Here we study the irreducible components of Γ(X), using proofs and ideas contained in a paper by Calabri and Ciliberto concerning the outer non birational projections. The author was partially supported by MIUR and GNSAGA of INdAM (Italy).     

Varieties with non-linear Gauss fibers

For any given projective variety Y, we construct a projective variety whose general fiber of the Gauss map with reduced scheme structure is isomorphic to Y when the characteristic >0.     

Folding a surface to a polygon

A concept of folding for compact connected surfaces, involving the partition of the surface into combinatorially identical n-sided topological polygons, is defined. The existence of such foldings for given n and given surfaces is explored, with definitive results for the sphere and the torus. We obtain necessary conditions for the existence of such foldings in all other cases.Supported by Kuwait University Grant SM 043.     

An implication basis for linear forms

The main results of this paper are a generalization of the results of S. Fajtlowicz and J. Mycielski on convex linear forms. We show that if V_n is the variety generated by all possible algebras , where R denotes the real numbers and , for some , then any basis for the set of all identities satisfied by V_n is infinite. But on the other hand, the identities satisfied by V_n are a consequence of gL and μ_n, where μ_n is the n-ary medial law and the inference rule gL is an implication patterned after the classical rigidity lemma of algebraic geometry. We also prove that the identities satisfied by are a consequence of gL and μ_n iff {p₁, ... , p_n} is algebraically independent. We then prove analagous results for algebras of arbitrary type τ and in the final section of this paper, we show that analagous results hold for Abelian group hyperidentities. This paper is dedicated to Walter Taylor. Received July 16, 2005; accepted in final form January 12, 2006. The research of both authors was supported by an operating grant ODP0008215 from NSERC.     

Vectorspacelike representation of absolute planes

The pointset E of an absolute plane can be provided with a binary operation "+" such that (E, +) becomes a loop and for each a E \ {o} the line [a] through o and a is a commutative subgroup of (E, +). Two elements a, b E \ {o} are called independent if [a] ∩ [b] = {o} and the absolute plane is called vectorspacelike if for any two independent elements we have E = [a] + [b] := {x + y | x [a], y [b]}. If is singular then (E, +) is a commutative group and is vectorspacelike iff is Euclidean. If is a hyperbolic plane then is vectorspacelike and in the continous case if a, b are independent, each point p has a unique representation as a quasilinear combination p = α · a + μ · b where α · a [a]and β · b [b] are points, α, β real numbers such that λ (o, λ · a) = |λ|· λ (o, a) and λ (o, μ · b) = |μ|. λ(o, b) and λ is the distance function. This work was partially supported by the Research Project of MIUR (Italian Ministery of Education and University) “Geometria combinatoria e sue applicazioni” and by the research group GNSAGA of INDAM. Dedicated to Walter Benz on the occasion of his 75 ^th birthday, in friendship     

Laguerre-Galerkin method for nonlinear partial differential equations on a semi-infinite interval

Summary. A Laguerre-Galerkin method is proposed and analyzed for the Burgers equation and Benjamin-Bona-Mahony (BBM) equation on a semi-infinite interval. By reformulating these equations with suitable functional transforms, it is shown that the Laguerre-Galerkin approximations are convergent on a semi-infinite interval with spectral accuracy. An efficient and accurate algorithm based on the Laguerre-Galerkin approximations to the transformed equations is developed and implemented. Numerical results indicating the high accuracy and effectiveness of this algorithm are presented. Received October 6, 1997 / Revised version received July 22, 1999 / Published online June 21, 2000