A Paley-Wiener theorem and Wiener-Hopf-type integral equations in Clifford analysis

Using the properties of the monogenic extension of the Fourier transform, we state a Paley-Wiener-type theorem for monogenic functions. Based on an multiplier algebra related to boundary values of monogenic functions we consider integral equations of Wiener-Hopf-typeK±u _±=f on ℝ ⁿ , whereK ∈S′ andu _± are boundary values of monogenic functions in ℝ₊ ⁿ⁺¹ and ℝ_{_} ⁿ⁺¹ respectivly.     

Clifford-Hermite-monogenic operators

In this paper we consider operators acting on a subspace ℳ of the space L ₂ (ℝ^m; ℂ_m) of square integrable functions and, in particular, Clifford differential operators with polynomial coefficients. The subspace ℳ is defined as the orthogonal sum of spaces ℳ_s,k of specific Clifford basis functions of L ₂(ℝ^m; ℂm). Every Clifford endomorphism of ℳ can be decomposed into the so-called Clifford-Hermite-monogenic operators. These Clifford-Hermite-monogenic operators are characterized in terms of commutation relations and they transform a space ℳ_s,k into a similar space ℳ_s′,k′. Hence, once the Clifford-Hermite-monogenic decomposition of an operator is obtained, its action on the space ℳ is known. Furthermore, the monogenic decomposition of some important Clifford differential operators with polynomial coefficients is studied in detail.     

Holomorphic Cliffordian functions

The aim of this paper is to put the foundations of a new theory of functions, called holomorphic Cliffordian, which should play an essential role in the generalization of holomorphic functions to higher dimensions. Let ℝ_0,2m+1 be the Clifford algebra of ℝ^2m+1 with a quadratic form of negative signature, be the usual operator for monogenic functions and Δ the ordinary Laplacian. The holomorphic Cliffordian functions are functionsf: ℝ^2m+2 → ℝ_0,2m+1, which are solutions ofDδ ^m f = 0. Here, we will study polynomial and singular solutions of this equation, we will obtain integral representation formulas and deduce the analogous of the Taylor and Laurent expansions for holomorphic Cliffordian functions. In a following paper, we will put the foundations of the Cliffordian elliptic function theory.     

Hardy spaces via distribution spaces

Let ℐ(ℝⁿ) be the Schwartz class on ℝⁿ and ℐ_∞(ℝⁿ) be the collection of functions ϕ ∊ ℐ(ℝⁿ) with additional property that

On the Construction of <Emphasis Type="Italic">p</Emphasis>-Harmonic Morphisms and Conformal Actions

We produce p-harmonic morphisms by conformal foliations and Clifford systems. First, we give a useful criterion for a foliation on an m-dimensional Riemannian manifold locally generated by conformal fields to produce p-harmonic morphisms. By using this criterion we manufacture conformal foliations, with codimension not equal to p, which are locally the fibres of p-harmonic morphisms. Then we give a new approach for the construction of p-harmonic morphisms from R^m／{0} to R^n. By the well-known representation of Clifford algebras, we find an abundance of the new 2/3 （m ＋ 1）-harmonic morphism Ф： R^m／{0} → R^n where m = 2κδ（n - 1）.     

Jump problem and removable singularities for monogenic functions

In this article the jump problem for monogenic functions (Clifford holomorphicity) on the boundary of a Jordan domain in Euclidean spaces is investigated. We shall establish some criteria that imply the uniqueness of the solution in terms of a natural analogue of removable singularities in the plane to ℝⁿ⁺¹ (n ≥ 2). Sufficient conditions to extend monogenically continuous Clifford algebra valued functions across a hypersurface are proved. Communicated by Jenny Harrison     

On the solutions of the translation equation in rings of formal power series

We study in this paper solutions of the translation equation in rings of formal power series K[X] where K ∈R, C (so called one-parameter groups or flows), and even, more generally, homomorphisms Ф from an abelian group (G, +) into the group Г(K) of invertible power series in K[X]. This problem can equivalently be formulated as the question of constructing homomorphisms Ф from (G, +) into the differential group Г¹∞ describing the chain rules of higher order of C∞ functions with fixed point 0. In this paper we present the general form of these homomorphisms Ф : G → Г(K) (or L¹∞),Ф = (f_n ⁿ≤1,forwhich f₁ = l, f₂ = ... = f_p+l =0,f_p+2 ≠ 0 for fixed, but arbitrary p ≤ 0 (see Theorem 5, Corollary 6 and Theorem 6). This representation uses a sequence (w _n ^p )_n≥p+2 of universal polynomials in f_p+2 and a sequence of parameters, which determines the individual one-parameter group. Instead of (w _n ^p )_n≥p+2 we may also use another sequence (L _n ^p )_n≥p+2 of universal polynomials, and we describe the connection between these forms of the solutions.     

A Hardy space for Fourier integral operators

We introduce a new function space, denoted by H _FIO ¹ (ℝⁿ), which is preserved by the algebra of Fourier integral operators of order 0 associated to canonical transformations. A subspace of L¹ (ℝ_n), this space in many aspects resembles the real Hardy space of Fefferman-Stein. In particular, we obtain an atomic characterization of H _FIO ¹ (ℝ_n). In contrast to the standard Hardy space, these atoms are localized in frequency space as well as in real space.     

Riesz transformations of distributions and a generalized Hardy space

LeiE(ℝⁿ) be the space of all functions on ℝⁿ which can continue to the entire holomorphic functions on ℂⁿ. We define Riesz transformation R_j of distributions as a linear transformation of the quotient spaceD′(ℝⁿ)/E(ℝⁿ) to itself, j=1,2,..., n. These generalized Riesz transformations share the same properties with the classical ones, such as . As applications we generalize further a theorem of F. & M. Riesz generalized by Stein and Weiss, and then define a generalized Hardy space, of which some properties are studied.     

Geometric Roots of –1 in Clifford Algebras Cℓ p,q with p + q ≤ 4

It is known that Clifford (geometric) algebra offers a geometric interpretation for square roots of –1 in the form of blades that square to –1. This extends to a geometric interpretation of quaternions as the side face bivectors of a unit cube. Research has been done [1] on the biquaternion roots of –1, abandoning the restriction to blades. Biquaternions are isomorphic to the Clifford (geometric) algebra Cℓ ₃ of \mathbb R³{{\mathbb R^3}} . All these roots of –1 find immediate applications in the construction of new types of geometric Clifford Fourier transformations.     

Graded automorphism group of TKK Lie algebra over semilattice

Every extended affine Lie algebra of type A ₁ and nullity ν with extended affine root system R(A ₁, S), where S is a semilattice in ℝ ^ν , can be constructed from a TKK Lie algebra T (J (S)) which is obtained from the Jordan algebra J (S) by the so-called Tits-Kantor-Koecher construction. In this article we consider the ℤ ⁿ -graded automorphism group of the TKK Lie algebra T (J (S)), where S is the “smallest” semilattice in Euclidean space ℝ ⁿ .     

The non-commutative Weil algebra

For any compact Lie group G, together with an invariant inner product on its Lie algebra ?, we define the non-commutative Weil algebra ? _G as a tensor product of the universal enveloping algebra U(?) and the Clifford algebra Cl(?). Just like the usual Weil algebra W _G =S(?^*)⊗∧?^*, ? _G carries the structure of an acyclic, locally free G-differential algebra and can be used to define equivariant cohomology ℋ _G (B) for any G-differential algebra B. We construct an explicit isomorphism ?: W _G →? _G of the two Weil algebras as G-differential spaces, and prove that their multiplication maps are G-chain homotopic. This implies that the map in cohomology H _G (B)→ℋ _G (B) induced by ? is a ring isomorphism. For the trivial G-differential algebra B=ℝ, this reduces to the Duflo isomorphism S(?) ^G ≅U(?) ^G between the ring of invariant polynomials and the ring of Casimir elements. Oblatum 13-III-1999 & 27-V-1999 / Published online: 22 September 1999     

Spherical Harmonic Analysis on Buildings of Type ? n

 To any locally finite thick building of type there is naturally associated a commutative algebra of operators. When is constructed from a local field F with local ring , and , then is isomorphic to the convolution algebra of compactly supported bi-K-invariant functions on PGL(n+1,F). We give a proof, valid for any , that the multiplicative functionals on may all be expressed in terms of Hall–Littlewood polynomials. Regarding as a subalgebra of the C ^*-algebra of bounded operators on the space of square summable functions on the vertex set of , we find the spectrum of the C ^*-algebra , the closure of . This generalizes results obtained in [3] when n = 1 and in [5] when n = 2.     

Algebra homomorphisms from cosine convolution algebras

In this paper we deal with the weighted Banach algebra L _ω ¹ (ℝ⁺, * _c ), where *_c is the cosine convolution product. We describe its character space and its multiplier algebra. Our main results concern bounded algebra homomorphisms from L _ω ¹ (ℝ⁺, * _c ). We give a variant of Kisyński’s theorem for such homomorphisms and characterize them in terms of integrated cosine functions. A generalized form of the Sova-Da Prato-Giusti theorem about generation of cosine functions is also given. Partly supported by Project MTM2004-03036 and MTM 2007-61446, DGI-FEDER, of the MCYT, Spain, and Project E-64, D. G. Aragón, Spain.     

Weighted endpoint estimates for commutators of fractional integrals

Given α, 0 < α < n, and b ∈ BMO, we give sufficient conditions on weights for the commutator of the fractional integral operator, [b, I _α ], to satisfy weighted endpoint inequalities on ℝⁿ and on bounded domains. These results extend our earlier work [3], where we considered unweighted inequalities on ℝⁿ.     

Approximation power of RBFs and their associated SBFs: a connection

Error estimates for scattered data interpolation by “shifts” of a conditionally positive definite function (CPD) for target functions in its native space, which is its associated reproducing kernel Hilbert space (RKHS), have been known for a long time. Regardless of the underlying manifold, for example ℝⁿ or S ⁿ, these error estimates are determined by the rate of decay of the Fourier transform (or Fourier series) of the CPD. This paper deals with the restriction of radial basis functions (RBFs), which are radial CPD functions on ℝⁿ⁺¹, to the unit sphere S ⁿ. In the paper, we first strengthen a result derived by two of us concerning an explicit representation of the Fourier–Legendre coefficients of the restriction in terms of the Fourier transform of the RBF. In addition, for RBFs that are related to completely monotonic functions, we derive a new integral representation for these coefficients in terms of the measure generating the completely monotonic function. These representations are then utilized to show that if an RBF has a native space equivalent to a Sobolev space H _s(ℝⁿ⁺¹), then the restriction to S ⁿ has a native space equivalent to H _s−1/2(S ⁿ). In addition, they are used to recover the asymptotic behavior of such coefficients for a wide variety of RBFs. Some of these were known earlier. Joseph D. Ward: Francis J. Narcowich: Research supported by grant DMS-0204449 from the National Science Foundation.     

Positive definite functions and stable random vectors

We say that a random vector X = (X ₁, …, X _n ) in ℝ ⁿ is an n-dimensional version of a random variable Y if, for any a ∈ ℝ ⁿ , the random variables Σa _i X _i and γ(a)Y are identically distributed, where γ: ℝ ⁿ → [0,∞) is called the standard of X. An old problem is to characterize those functions γ that can appear as the standard of an n-dimensional version. In this paper, we prove the conjecture of Lisitsky that every standard must be the norm of a space that embeds in L ₀. This result is almost optimal, as the norm of any finite-dimensional subspace of L _p with p ∈ (0, 2] is the standard of an n-dimensional version (p-stable random vector) by the classical result of P. Lèvy. An equivalent formulation is that if a function of the form f(‖ · ‖ _K ) is positive definite on ℝ ⁿ , where K is an origin symmetric star body in ℝ ⁿ and f: ℝ → ℝ is an even continuous function, then either the space (ℝ ⁿ , ‖·‖ _K ) embeds in L ₀ or f is a constant function. Combined with known facts about embedding in L ₀, this result leads to several generalizations of the solution of Schoenberg’s problem on positive definite functions.     

Coconvex approximation of periodic functions

The Jackson inequality relates the value of the best uniform approximation E _n (f) of a continuous 2π-periodic function f: ℝ → ℝ by trigonometric polynomials of degree ≤ n − 1 to its third modulus of continuity ω ₃(f, t). In the present paper, we show that this inequality is true if continuous 2π-periodic functions that change their convexity on [−π, π) only at every point of a fixed finite set consisting of an even number of points are approximated by polynomials coconvex to them. __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 59, No. 1, pp. 29–43, January, 2007.     

Clifford-algebraic random walks on the hypercube

The n-dimensional hypercube is a simple graph on 2ⁿ vertices labeled by binary strings, or words, of length n. Pairs of vertices are adjacent if and only if they differ in exactly one position as binary words; i.e., the Hamming distance between the words is one. A discrete-time random walk is easily defined on the hypercube by “flipping” a randomly selected digit from 0 to 1 or vice-versa at each time step. By associating the words as blades in a Clifford algebra of particular signature, combinatorial properties of the geometric product can be used to represent this random walk as a sequence within the algebra. A closed-form formula is revealed which yields probability distributions on the vertices of the hypercube at any time k ≥ 0 by a formal power series expansion of elements in the algebra. Furthermore, by inducing a walk on a larger Clifford algebra, probabilities of self-avoiding walks and expected first hitting times of specific vertices are recovered. Moreover, because the Clifford algebras used in the current work are canonically isomorphic to fermion algebras, everything appearing here can be rewritten using fermion creation/annihilation operators, making the discussion relevant to quantum mechanics and/or quantum computing.     

A direct proof for lower semicontinuity of polyconvex functionals

Lower semicontinuity for polyconvex functionals of the form ∫_Ω g(detDu)dx with respect to sequences of functions fromW ^1,n (Ω;ℝ ⁿ ) which converge inL ¹ (Ωℝ ⁿ ) and are uniformly bounded inW ^1,n−1 (Ω;ℝ ⁿ ), is proved. This was first established in [5] using results from [1] on Cartesian Currents. We give a simple direct proof which does not involve currents. We also show how the method extends to prove natural, essentially optimal, generalizations of these results. Supported by MURST, Gruppo Nazionale 40% Partially supported by Australian Research Council