Abstract
Here we review the notion of polar analyticity introduced in a previous paper and successfully applied in Mellin analysis and for quadrature formulae over the positive real axis. This approach provides a simple way of describing functions which are analytic on a part of the Riemann surface of the logarithm. New results are also obtained.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and Motivation
One of the main results of Fourier analysis is the Paley–Wiener theorem (see e.g. [17]). It characterizes the socalled bandlimited functions by entire functions of exponential type. More precisely, it states that a function \(f \in L^2(\mathbb {R})\) has a Fourier transform \(\widehat{f}\) that vanishes outside a compact interval \([\sigma , \sigma ],\) where \(\sigma >0,\) if and only if f has an extension to the whole complex plane as an entire function of exponential type \(\sigma ,\) that is,
with a constant \(C>0\).
This basic theorem has many applications, in particular in Shannon’s sampling theory, the reproducing kernel theory, the investigation of quadrature formulae over the real line and various other topics.
During the nineties, P.L. Butzer and S. Jansche started a systematic study of the Mellin transform with the aim to establish a Mellin analysis as a fully independent counterpart of Fourier analysis (see [10, 11, 13]). Later on, many results were obtained in the framework of Mellin theory, especially contributions to approximation theory. One of the main motivations for this development relies on the exponential sampling theory, introduced in a formal way by optical physicists and engineers, due to its applications in light scattering, Fraunhofer diffraction, radioastronomy and so on (see, e.g., [9]). Using Mellin analysis, Butzer and Jansche gave a rigorous version of the exponential sampling formula for functions defined over the positive real axis (see [12]). Later on, interconnections with other basic formulae were studied (see [1]). The exponential sampling formula in its classic form can be obtained under the assumption that the involved function f is bandlimited in the Mellin transform sense. Therefore it was quite natural to investigate the structure of the space containing the Mellin bandlimited functions. This was done in several papers (see, e.g., [25]), but using a “real” approach involving certain differential operators, called transmutation operators. A fully complex version was given by Z. Szmydt and her school in Cracow (see, e.g., [23, 24]) in which the authors characterize the Mellin transform of functions (distributions) with compact support. But, unlike what happens in Fourier analysis, the inverse of a Mellin transform is not a Mellin transform (in \(L^2\) setting). Therefore the study of the structure of Mellin bandlimited functions requires a quite different approach.
A first complex result in this direction was obtained in [2] involving functions defined over the Riemann surface of the complex logarithm \(S_{\mathrm{log}}\) and their analytic branches on it. Indeed, it was observed that a nontrivial, Mellin bandlimited function cannot be extended to the whole complex plane as an entire function, but it may be extended to \(S_{\mathrm{log}}\) in such a way that the analytic branches \(f_k\) are of exponential type in the sense that
However, the handling of analytic branches is quite inconvenient for computational purposes. Therefore, in [3], we introduced a different approach, based on a simple geometric representation of the Riemann surface of the logarithm as a helicoidal surface in \(\mathbb {R}^3.\) Following this interpretation, we finally arrived at a new definition of analyticity, called polar analyticity, which uses the polar plane
as a representation of \(S_{\mathrm{log}}.\) Here we note that this kind of representation of the Riemann surface was also considered, in different studies, in [19]. Further developments were presented in [6].
Our notion of polar analyticity is motivated by considering the complex variable z in polar coordinates \(z = re^{i \theta }\) and treating \((r,\theta )\) as Cartesian coordinates. This modified notion of analyticity gives a simple description of analytic function on parts of the Riemann surface of the logarithm without employing branches. It also reveals a direct and simple applicability to several topics in Mellin analysis, from exponential sampling theory to quadrature formulae over the positive real axis (in this respect see the papers [5, 7, 8]). Moreover, it is useful in order to define function spaces like Hardytype spaces in Mellin setting.
The present article gives a survey on the development of the theory of polaranalytic functions, including also some new results, obtaining counterparts of the Cauchy integral theorems, series expansions, conformality, residuetype theorems, identity principles, and so on. The new results involve polaranalytic versions of the maximum modulus principle, Liouville’s theorem with an application to a version of the fundamental theorem of algebra for the socalled polar polynomials, and Rouché’s theorem. The final sections are devoted to various applications in the framework of Mellin analysis. In particular, we describe applications to exponential sampling and to quadrature formulae. These applications testify the usefulness of this new theory.
2 Basic Notions of Mellin Analysis
In what follows, we denote by \(\mathbb {N},\,\mathbb {N}_0,\,\mathbb {Z},\) the sets of positive integers, nonnegative integers and integers, respectively, by \(\mathbb {R}\) and \(\mathbb {R}^+\), the sets of real and positive real numbers, respectively, and by \(\mathbb {C}\) the set of complex numbers.
Let \(C(\mathbb {R}^+)\) be the space of all continuous functions defined on \(\mathbb {R}^+,\) and \(C^{(r)}(\mathbb {R}^+)\) be the space of all functions in \(C(\mathbb {R}^+)\) having a derivative of order r that belongs to \(C(\mathbb {R}^+).\) Analogously, by \(C^\infty (\mathbb {R}^+)\) we denote the space of all infinitely differentiable functions. By \(L^1_{\mathrm{{loc}}}(\mathbb {R}^+)\), we denote the space of all measurable functions which are integrable on every bounded interval in \(\mathbb {R}^+.\)
For \(1\le p < +\infty ,\) let \(L^p(\mathbb {R}^+)\) be the space of all Lebesgue measurable and pintegrable complexvalued functions defined on \(\mathbb {R}^+\) endowed with the usual norm \(\Vert f\Vert _p.\) Analogous notations hold for functions defined on \(\mathbb {R}.\)
For \(p=1\) and \(c \in \mathbb {R},\) we introduce the space (see [10])
endowed with the norm
More generally, let \(X^p_c\) denote the space of all functions \(f: \mathbb {R}^+\rightarrow \mathbb {C}\) such that \(f(\cdot ) (\cdot )^{c1/p}\in L^p (\mathbb {R}^+)\) with \(1<p< \infty .\) Finally, for \(p=\infty \), we define \(X^\infty _c\) as the space comprising all measurable functions \(f : \mathbb {R}^+\rightarrow \mathbb {C}\) such that \(\Vert f\Vert _{X^\infty _c}:= \sup _{x>0}x^{c}f(x) < \infty .\)
The Mellin translation operator \(\tau _h^c\) for \(h \in \mathbb {R}^+,\) \(c \in \mathbb {R}\) and \(f: \mathbb {R}^+ \rightarrow \mathbb {C}\) is defined by
Setting \(\tau _h:= \tau ^0_h,\) we have \((\tau _h^cf)(x) = h^c (\tau _hf)(x)\) and \(\Vert \tau _h^c f\Vert _{X_c} = \Vert f\Vert _{X_c}.\)
In the Mellin frame, the natural concept of a pointwise derivative of a function f is given by the limit of the difference quotient involving the Mellin translation; thus if \(f'\) exists, then
This gives the motivation for the following definition (see [10]): The pointwise Mellin differential operator \(\Theta _c\) and the pointwise Mellin derivative \(\Theta _cf\) of a function \(f: \mathbb {R}^+ \rightarrow \mathbb {C}\) and \(c \in \mathbb {R}\) are defined by
provided that \(f'\) exists a.e. on \(\mathbb {R}^+.\) The Mellin differential operator of order \(r \in \mathbb {N}\) is defined recursively by
For convenience, we set \(\Theta ^r:= \Theta ^r_0\) and \(\Theta _c^0 := I\) with I denoting the identity operator.
The Mellin transform of a function \(f\in X_c\) is the linear and bounded operator defined by (see, e.g., [10])
The inverse Mellin transform \(M^{1}_c[g]\) of a function \(g \in L^1(c + i \mathbb {R})\) is defined by
where in general \(L^p(c + i \mathbb {R}),\) for \(p \ge 1,\) will mean the space of all functions \(g:\, c+i \mathbb {R} \rightarrow \mathbb {C}\) with \(g(c +i\cdot ) \in L^p(\mathbb {R}).\)
More generally, for \(1<p \le 2,\) the Mellin transform \(M_c^p\) of \(f \in X^p_c\) is given by (see [13] for \(p=2\))
for \(s=c+it,\) in the sense that
where \(p'\) is the conjugate exponent of p, that is, \(1/p + 1/p'=1\).
Analogously, for example for \(p=2,\) we define the inverse Mellin transform of a function \(g \in L^2(c +i\mathbb {R})\) by
where the limit is taken in \(X^2_c\)norm. For any \(f \in X^2_c\), there holds
see [13].
3 PolarAnalytic Functions
In this section, we will describe a new concept of analyticity which turns out to be very useful in the development of Mellin analysis. We begin with some preliminary facts concerning complex functions in polar coordinates.
Let us first recall that in classical complex analysis the Cauchy–Riemann equations in polar coordinates are obtained by setting \(z= re^{i \theta },\) i.e., given an analytic function \(f= u + iv\) on a domain in the complex plane, one considers the function \(g(r,\theta ) := f(re^{i\theta })\) and uses the chain rule for deriving partial derivatives of u, v with respect to the variables \(r,\theta \) (see, e.g., [18]). Due to the \(2\pi \)periodicity of the exponential function \(e^{i\theta },\) this implies a periodicity with respect to \(\theta \) of the function g. As we shall see, in our definition of polar analyticity, we again derive the same Cauchy–Riemann equations in polar form, but in general this periodicity does not appear. As a consequence, this approach gives a simple description of analytic functions defined on a part of the Riemann surface of the complex logarithm without involving branches.
3.1 3.1 Definition and Elementary Properties
Let \(\mathbb {H}:= \{(r,\theta ) \in \mathbb {R}^+ \times \mathbb {R}\}\) be the right halfplane. By a domain in \(\mathbb {H}\), we mean a nonempty, open and connected subset of \(\mathbb {H}.\) Let \({{\mathscr {D}}}\) be a domain in \(\mathbb {H}.\)
Definition 1
We say that \(f:{{\mathscr {D}}}\rightarrow \mathbb {C}\) is polaranalytic on \({{\mathscr {D}}}\) if for any \((r_0, \theta _0) \in {{\mathscr {D}}}\) the limit
exists and is the same howsoever \((r, \theta )\) approaches \((r_0, \theta _0)\) within \({{\mathscr {D}}}.\)
Polar analyticity of two functions is inherited by their arithmetic combinations and the familiar rules known for classical differentiation hold for polar derivatives as well. For details see [6].
Let \(f\,:\, (r,\theta ) \mapsto u(r,\theta )+ iv(r,\theta )\) be polaranalytic on \({{\mathscr {D}}},\) where u and v are realvalued. Identifying \(\mathbb {C}\) with \(\mathbb {R}^2\), we may interpret f as a mapping from a subset of the halfplane \(\mathbb {H}\) into \(\mathbb {R}^2\). Then we have (see [6]):
Proposition 1
A polaranalytic function is differentiable in the classical sense.
It can be verified that \(f = u + iv\) with \(u,v: {{\mathscr {D}}}\rightarrow \mathbb {R}\) is polaranalytic on \({{\mathscr {D}}}\) if and only if u and v have continuous partial derivatives on \({{\mathscr {D}}}\) that satisfy the differential equations
Note that these equations coincide with the CauchyRiemann equations of an analytic function g defined by \(g(z) := u(r,\theta ) + i v(r, \theta )\) for \(z= r e^{i\theta }.\) For the derivative \(D_{\mathrm{pol}}\), we easily find that
Since \(f=u+iv,\) equations (1) can be written in a more compact way as
and then formula (2) takes the form
Also note that \(D_{\mathrm{pol}}\) is the ordinary differentiation on \(\mathbb {R}^+.\) More precisely, if \(\varphi (\cdot ) := f(\cdot , 0),\) then \((D_{\mathrm{pol}}f)(r,0) = \varphi '(r).\)
When g is an entire function, then \(f: (r, \theta ) \mapsto g(re^{i\theta })\) defines a function f on \(\mathbb {H}\) that is polaranalytic and \(2\pi \)periodic with respect to \(\theta .\) Moreover, by (2) one has \((D_{\mathrm{pol}}f)(r, \theta ) = g'(z)\) with \(z=re^{i\theta }.\) A converse statement is not true in general. If f is polaranalytic on \(\mathbb {H}\) and \(2\pi \)periodic with respect to the second variable, there may not exist an entire function h such that \(f(r,\theta ) = h(re^{i\theta }).\) A simple example is the function \(f(r,\theta ):= e^{i\theta }/r.\) It would imply that \(h(z) = 1/z\), which is analytic on \(\mathbb {C}\setminus \{0\}\) only. However, if f is a polaranalytic function on \(\mathbb {H},\) then \(g: z=x+iy\mapsto f(e^x, y)\) is an entire function.
As examples, let us consider the function \(g(z)= z^a,\) \(a>0.\) Defining \(f(r,\theta ):= g(re^{i\theta }) = r^ae^{ia\theta }\), we have
and so
Analogously, taking \(g(z) = \sin z\) and \(f(r,\theta ):= \sin (re^{i\theta }),\) we have \((D_{\mathrm{pol}}f)(r, \theta ) = \cos (re^{i\theta }) = g'(z).\)
The main novelty of the definition of polaranalytic function is that, using this approach, we avoid periodicity with respect to the argument \(\theta ,\) and in this way we can avoid the use of Riemann surfaces.
A simple example of a polaranalytic function that is not \(2\pi \)periodic is the function \(L(r, \theta ):= \log r + i\theta ,\) which is easily seen to satisfy the differential equations (1). In this approach, we consider the logarithm as a singlevalued function on \(\mathbb {H},\) without the use of the Riemann surface \(S_{\mathrm{log}}.\) Employing (2) and setting \(z=re^{i\theta }\), we find that
In order to state a connection with analytic functions on \(S_{\mathrm{log}},\) for \(\alpha , \beta \in \mathbb {R}\) with \(\alpha < \beta ,\) we consider the set
and call it a strip of \(\mathbb {H}.\)
If \(f : \mathbb {H} \rightarrow \mathbb {C}\) is polaranalytic but not \(2\pi \)periodic with respect to \(\theta ,\) then we can associate with f a function g that is analytic on the Riemann surface \(S_{\mathrm{log}}\) of the logarithm. The restriction of f to a strip \(\mathbb {H}_{\alpha + 2k\pi , \alpha + 2(k+1)\pi },\) where \(k \in \mathbb {Z},\) defines an analytic function \(g_k\) in the slit complex plane \(\mathbb {C}\setminus \{re^{i\alpha }: r>0\}\) by setting \(g_k(re^{i\theta }):= f(r,\theta ).\) The functions \(g_k\), for \(k \in \mathbb {Z}\), are the analytic branches of g.
As to the geometric properties of polaranalytic functions, we recall that a remarkable geometric property of an analytic function g in the classical sense is that at any point \(z_0\) with \(g'(z_0)\ne 0\) it preserves angles and orientation. More precisely, this means the following. Let \(\gamma _1\) and \(\gamma _2\) be smooth arcs that intersect at \(z_0\) where they have tangents \(\mathbf {t}_1\) and \(\mathbf {t}_2\), respectively. Suppose that we have to rotate \(\mathbf {t}_1\) in the mathematically positive sense by an angle \(\alpha \) around \(z_0\) in order that it coincides with \(\mathbf {t}_2\). Then the same is true for the arcs \(g\circ \gamma _1\) and \(g\circ \gamma _2\), that is, if \(\mathbf {\tau }_1\) and \(\mathbf {\tau }_2\), respectively, are their tangents in \(g(z_0)\), then we have to rotate \(\mathbf {\tau }_1\) in the mathematically positive sense by the angle \(\alpha \) around \(g(z_0)\) in order that it coincides with \(\mathbf {\tau }_2\). We cannot expect that this property extends to polaranalytic functions.
The following propositions inform us about the different geometric behavior (for the details see [6]).
Proposition 2
Let f be polaranalytic in a neighborhood of a point \((r_0,\theta _0)\in \mathbb {H}\), and suppose that \((D_{\mathrm{pol}}f)(r_0,\theta _0)\ne 0.\) Let \(\gamma _1\) and \(\gamma _2\) be two smooth arcs that intersect at \((r_0,\theta _0)\) under an angle \(\alpha \). Then the arcs \(f\circ \gamma _1\) and \(f\circ \gamma _2\) intersect at \(f(r_0,\theta _0)\) under an angle \(\beta \) that depends on the local geometric situation in \(\mathbb {H}\) but does not depend on f and \(\theta _0\). Furthermore, \(\beta =\alpha \) when \(r_0=1\).
Proposition 3
Let \(\mathscr {D}\) be a domain in \(\mathbb {H}\), and let \(f\,:\, \mathscr {D} \rightarrow \mathbb {C}\) be polaranalytic with \(D_{\mathrm{pol}}f \ne 0\). Denote by \(\mathscr {N}\) an orthogonal net of lines parallel to the axes of \(\mathbb {H}\). Then f maps \(\mathscr {N}\cap \mathscr {D}\) onto an orthogonal net of curves in \(f(\mathscr {D})\).
Examples are discussed in [6].
According to the notion of Mellin derivatives, we give the following definition (see [6]).
Definition 2
For a fixed real number \(c \in \mathbb {R},\) we define the Mellin polar derivative as
provided that the polar derivative \(D_{\mathrm{pol}} f\) exists at the point \((r,\theta ) \in \mathbb {H}.\)
Also in this case, note that for \(\varphi (r):= f(r,0),\) we have \(\widetilde{\Theta }_cf(r,0) = (\Theta _c\varphi )(r),\) where \(\Theta _c\) is the usual Mellin differential operator.
4 Analysis of PolarAnalytic Functions
In this section, we give counterparts of the classical Cauchy integral theorems and formulae, and a Taylorlike expansion. Concerning the Cauchy integral theorems, the key result is given in the subsequent Theorem 1. It was proved in [3] for convex domains only since this sufficed for the envisaged applications. However, that approach extends to simply connected domains as may be seen by employing [16, Theorem 8.4, page 372].
4.1 Cauchy and Morera Type Theorems
The following theorem on line integrals for polaranalytic functions includes an analogue of Cauchy’s fundamental theorem of complex function theory. Here a piecewise continuously differentiable curve will be called a regular curve.
Theorem 1
Let f be a polaranalytic function on a simply connected domain \(\mathscr {D} \subset \mathbb {H}\) and let \((r_1, \theta _1)\) and \((r_2, \theta _2)\) be any two points in \(\mathscr {D}.\) Then the line integral
has the same value for each regular curve \(\gamma \) in \(\mathscr {D}\) that starts at \((r_1,\theta _1)\) and ends \((r_2,\theta _2).\) In particular, the integral vanishes for closed regular curves.
As a consequence, we obtain the following result (see [3, Lemma 5.1]).
Theorem 2
Let \(\mathscr {D}\) be a domain in \(\mathbb {H}.\) Let \(g:\mathscr {D}\rightarrow \mathbb {C}\) be continuous on the whole of \(\mathscr {D}\) and polaranalytic except at a point \((r_0,\theta _0) \in \mathscr {D}.\) Suppose that \(\gamma \) is a positively oriented, closed, regular curve in \(\mathscr {D}\) that is the boundary of a simply connected domain \(\text{ int }(\gamma ).\) Then
We can also establish a converse of Theorem 1 in the spirit of Morera’s theorem (see [3]). For sake of simplicity, we consider functions defined on the whole of \(\mathbb {H}.\)
Theorem 3
Let \(f:\mathbb {H}\rightarrow \mathbb {C}\) be a continuous function. If the integral (4) is zero on the boundary of every rectangle \(R\subset \mathbb {H}\) with sides parallel to the axes, then f is polaranalytic on \(\mathbb {H}.\)
4.2 Cauchy Integral Formulae for PolarAnalytic Functions
In this section, we report on an analogue of the classical Cauchy integral formula. For details see [6].
Theorem 4
Let \(\mathscr {D}\) be a domain in \(\mathbb {H},\) and let \(f:\mathscr {D}\rightarrow \mathbb {C}\) be polaranalytic on \(\mathscr {D}.\) Let \(\gamma \) be a positively oriented, closed, regular curve that is the boundary of a simply connected domain \(\mathrm{int}(\gamma ) \subset \mathscr {D}.\) Given \((r_0, \theta _0) \in \mathrm{int}(\gamma ),\) define \(\theta _j:= \theta _0 + 2j\pi \) for \(j \in \mathbb {Z}.\) Suppose that none of the points \((r_0,\theta _j)\) lies on \(\gamma .\) Then
In particular, if \(\gamma \) lies in a strip \(\mathbb {H}_{a,b}\) with \(0<ba<2\pi ,\) then
An interesting consequence of Theorem 4 is the following representation formula for polar derivatives:
Theorem 5
Under the hypotheses of Theorem 4, if \(\gamma \) lies in a strip \(\mathbb {H}_{a,b}\) with \(0< ba< 2\pi ,\) then
4.3 4.3 A Series Expansion for PolarAnalytic Functions
In this section, we present a Taylorlike series expansions for a polaranalytic function. As we shall see, this expansion exists on strips of width less than \(2\pi \) only. It amounts to taking an analytic branch on the Riemann surface of the logarithm and expanding it in the classical way.
In the next section, we will obtain another expansion involving the Mellin polar derivatives which has a global character, that is, it may exists on the whole of \(\mathbb {H}.\)
Given a curve \(\gamma \) such that \(\mathrm{int}(\gamma )\) is simply connected and \((r_0,\theta _0) \in \mathrm{int}(\gamma ),\) let us define
The following Taylorlike expansion of polaranalytic functions holds (see [6]).
Theorem 6
Under the assumptions of Theorem 5, we have
for \((r,\theta ) \in \mathscr {D}(r_0,\theta _0; \gamma )\).
5 PolarAnalytic Functions in Mellin Setting
In this section, we describe an analysis of polaranalytic functions in Mellin setting. A motivation comes from the fact that our analogue of Cauchy’s integral formula of Theorem 4 is useful in horizontal strips of width less than \(2\pi \) only since otherwise it may produce additional residues as undesired artifacts. Therefore one of the aims of this section is to establish a further analogue of Cauchy’s integral formula which is always free of artifacts, and a version of the residue theorem for polaranalytic functions.
5.1 5.1 A Series Expansion with Mellin Polar Derivatives
We premise some notations and remarks.
For \(z_0 = x_0 + i y_0 \in \mathbb {C}\) and \(\rho >0,\) consider the disk \(D(z_0, \rho ):= \{z \in \mathbb {C}: zz_0 < \rho \}\) in \(\mathbb {C}.\) By \(x+iy \mapsto (\log r, \theta ),\) where \(r=e^x\) and \(y= \theta ,\) it is transformed into the region with one axis of symmetry in \(\mathbb {H}\), given by
which we call a polardisk with center \((r_0,\theta _0)\) and radius \(\rho .\) Here \(r_0= e^{x_0}\) and \(\theta _0 = y_0.\) The boundary of this region is given by the graph of the functions
Given a domain \({{\mathscr {D}}} \subset \mathbb {H},\) we define
Now for \(z_0 = x_0+iy_0 \in A,\) consider a disk \(D(z_0,\rho ) \subset A.\) Then, in order that the associated polardisk \(E((r_0,\theta _0), \rho )\) is fully contained in \({{\mathscr {D}}},\) the maximal admissible \(\rho >0\) is given by
where \(\partial {{\mathscr {D}}}\) denotes the boundary of \({{\mathscr {D}}}\).
The following theorem gives a “global” version of the series expansion of the previous section and uses Mellin polar derivatives (see [6, 7]).
Theorem 7
Let \(f:{{\mathscr {D}}}\rightarrow \mathbb {C}\) be polaranalytic on a domain \({{\mathscr {D}}}\subset \mathbb {H}.\) If \((r_0, \theta _0) \in {{\mathscr {D}}},\) then there holds the expansion
converging on every polardisk \(E((r_0, \theta _0), \rho ) \subset {{\mathscr {D}}}\), the convergence being uniform on compact subsets of these polardisks.
A slight extension of the above expansion is given by the following theorem (see [7]).
Theorem 8
Let \(f\,:\,\mathscr {D} \rightarrow \mathbb {C}\) be polaranalytic on a domain \(\mathscr {D}\subset \mathbb {H}\) and let \(c\in \mathbb {R}\). If \((r_0,\theta _0)\in \mathscr {D}\), then there holds the expansion
converging on every polardisk \(E\bigl ((r_0,\theta _0),\rho \bigr )\subset \mathscr {D}\), the convergence being uniform on compact subsets of these polardisks.
A first remarkable consequence of Theorem 8 is the following identity theorem for polaranalytic functions (see [7]).
Theorem 9
Let \(\mathscr {D}\) be a domain in \(\mathbb {H}\) and let \(f\,:\,\mathscr {D} \rightarrow \mathbb {C}\) be polaranalytic. Suppose that \((r_0, \theta _0)\in \mathscr {D}\) is an accumulation point of distinct zeros of f. Then f is identically zero.
5.2 5.2 A General Cauchy Integral Formula for PolarAnalytic Functions in Mellin Setting
A second fundamental consequence of Theorem 8 is given by a general version of Cauchy’s integral formula for Mellin polar derivatives (see [7]).
Theorem 10
Let \(\mathscr {D}\) be a domain in \(\mathbb {H}\), and let \(f\,:\, \mathscr {D} \rightarrow \mathbb {C}\) be polaranalytic on \(\mathscr {D}\). Let \(\gamma \) be a positively oriented, closed, regular curve that is the boundary of a simply connected domain \(\mathrm{int} (\gamma )\subset \mathscr {D}\). Then, for \((r_0, \theta _0) \in \mathrm{int} (\gamma )\), \(c\in \mathbb {R}\) and \(k\in \mathbb {N}_0\), we have
Other than the result of Theorem 5, the previous formula is also useful without a restriction to horizontal strips of width less than \(2\pi \) since it does not produce additional residues as happens before.
5.3 5.3 A Residue Theorem for PolarAnalytic Functions in Mellin Setting
Here we introduce the notion of pole in its logarithmic representation and give a version of the residue theorem for polaranalytic functions which have poles as singularities; see [7].
Definition 3
Let \((r_0,\theta _0)\in \mathbb {H}\) and let \(\mathscr {U}\subset \mathbb {H}\) be an open neighborhood of \((r_0,\theta _0)\).

(i)
If \(f\,:\,\mathscr {U}\setminus \{(r_0,\theta _0) \} \rightarrow \mathbb {C}\) is polaranalytic, then \((r_0,\theta _0)\) will be called an isolated singularity of f.

(ii)
An isolated singularity \((r_0,\theta _0)\) is said to be a pole of order k if \(k\in \mathbb {N}\) and there exists a polaranalytic function \(g\,:\,\mathscr {U}\rightarrow \mathbb {C}\) with \(g(r_0,\theta _0)\ne 0\) such that
$$\begin{aligned} f(r,\theta )\,=\, \frac{g(r,\theta )}{\big (\log (r/r_0)+i(\theta \theta _0)\big )^k} \quad \hbox { for } (r,\theta )\in \mathscr {U}\setminus \{(r_0,\theta _0) \}. \end{aligned}$$In this case
$$\begin{aligned} \big (\mathrm{res}_cf\big )(r_0,\theta _0)\,:=\, \big (r_0e^{i\theta _0}\big )^c \, \frac{\big (\widetilde{\Theta }_c^{k1}g\big )(r_0, \theta _0)}{(k1)!} \end{aligned}$$will be called the cresidue of f at \((r_0,\theta _0)\).
We are now in a position to formulate a residue theorem for poles which will be suitable for many applications in Mellin analysis.
Theorem 11
Let \(\mathscr {D}\) be a domain in \(\mathbb {H}\) and let f be polaranalytic on \(\mathscr {D}\) except for isolated singularities which are all poles. Let \(\gamma \) be a positively oriented, closed, regular curve that is the boundary of a simply connected domain \(\mathrm{int} (\gamma )\subset \mathscr {D}\). Suppose that no isolated singularity lies on \(\gamma \) while \((r_j, \theta _j)\) for \(j=1, \dots , m\) are the isolated singularities lying in \(\text{ int }(\gamma ).\) Then, for \(c\in \mathbb {R}\), there holds
5.4 5.4 Further Developments
Here we obtain some new results about polaranalytic functions in Mellin setting. In particular, we discuss polar Mellin versions of the classical maximum modulus principle, of Liouville’s theorem and of the fundamental theorem of algebra for polar polynomials. Note that our proofs are independent of the classical complex analysis and use only tools from the theory of polaranalytic functions developed previously.
Theorem 12
Under the assumptions of Theorem 10, we have
Proof
Writing \(M:=\max _{(\rho , \vartheta )\in \gamma }f(\rho , \vartheta )\), we assume for a contradiction that there exists a point \((r_0, \theta _0) \in \mathrm{int}(\gamma )\) such that \(f(r_0, \theta _0) > M.\) Since for any \(n \in \mathbb {N}\) the function \(f^n\) also satisfies the assumptions of Theorem 10, we have by (10) with \(k=c=0\) that
Let \(\gamma (t):= \big (\rho (t), \vartheta (t)\big ),\,\,t \in [0,1],\) be a representation of \(\gamma ,\) where \(\rho (\cdot )\) and \(\vartheta (\cdot )\) are piecewise continuously differentiable functions. Then, by (11), we can write
The integral on the righthand side does not depend on n. Hence taking the nth root on both sides and letting \(n \rightarrow \infty ,\) we obtain \(f(r_0, \theta _0) \le M\); a contradiction. \(\square \)
Now, using Theorem 12, we can derive an analogue of Liouville’s theorem for polaranalytic functions. We shall say that f is polarentire if it is polaranalytic on the whole of \(\mathbb {H}.\)
Theorem 13
Let \(f: \mathbb {H} \rightarrow \mathbb {C}\) be a bounded and polarentire function. Then f is constant.
Proof
Let \(M>0\) be such that \(f(r,\theta ) \le M\) for every \((r,\theta ) \in \mathbb {H}.\) By Theorem 8, for \(c=0,\) we have the expansion
converging on every polardisk \(E_\rho \equiv E\big ((1,0),\rho \big ) = \{(r,\theta ) \in \mathbb {H}: \log ^2 r + \theta ^2 < \rho ^2\}\) for all \(\rho >0.\) Now consider the function
In view of (12), we obviously have
The above series has the same convergence properties as the latter. Therefore g is a polarentire function. From the definition of g we see that
and so, by Theorem 12, we have
Letting \(\rho \rightarrow \infty \), we find that \(g(r,\theta ) \equiv 0\) on \(\mathbb {H}.\) This implies that \(f(r,\theta ) = f(1,0)\) on \(\mathbb {H},\) and so f is constant. \(\square \)
As a consequence, we obtain a polar version of the fundamental theorem of algebra for “polar polynomials”, using only Mellin tools achieved before.
First we note that, in general, a polynomial \(P(r,\theta )\) in the variables r and \(\theta \) is not polaranalytic. Indeed, as an example, \(P(r,\theta )= r + i\theta \) is not polaranalytic.
In view of Theorem 7, the natural analogue of polynomials in Mellin analysis are functions of the form \(P(\log r + i\theta ),\) where P(z) is an ordinary polynomial. Indeed, we define polar polynomials of degree n as functions of the form
where \(a_k\) are complex coefficients with \(a_n\ne 0\). We are now ready for the following result:
Theorem 14
(Fundamental Theorem of Algebra). Every polar polynomial \(P_n (r,\theta )\) of degree \(n\ge 1\) has exactly n zeros in \(\mathbb {H}\) when counted with their multiplicities.
Proof
First assume that \(P_n(r,\theta )\) has no zeros. Then the function
is polaranalytic on \(\mathbb {H}.\) Next we prove the boundedness of f. Clearly, f is bounded on every polar disk with center at (1, 0). Moreover, there exists a sufficiently large \(R >1\) such that if \(\log r + i\theta  >R\) then
Thus \(f(r,\theta ) < 1\) outside the polar disk \(E\big ((1,0), R\big ),\) and then f is bounded on \(\mathbb {H}.\) Hence we can use Liouville’s theorem to conclude that the function \(P_n(r,\theta )\) is a constant, which is a contradiction since \(a_n \ne 0.\)
So far we have shown the existence of a point \((r_0, \theta _0) \in \mathbb {H}\) such that \(P_n(r_0, \theta _0) =0\). Therefore, by Theorem 7, we can write
where \(Q_{n1}(r,\theta )\) can be shown to be a polar polynomial of degree \(n1.\) Now we can apply the first part of the proof to \(Q_{n1}\), and so the assertion follows by induction. \(\square \)
As an interesting application of the residue theorem for polaranalytic function, we derive the following integral formula.
Theorem 15
Let \(\mathscr {D}\subset \mathbb {H}\) be a domain and let \(f: \mathscr {D}\rightarrow \mathbb {C}\) be polaranalytic except for isolated singularities which are all poles. Let \(\gamma \) be a positively oriented, closed, regular curve that is the boundary of a simply connected domain \(\mathrm{int}(\gamma ) \subset \mathscr {D},\) containing a finite number of poles and zeros. Suppose that f has neither a zero nor a singularity on \(\gamma .\) Then
where N is the number of zeros in \(\mathrm{int}(\gamma )\) counted with their multiplicities and P is the number of poles in \(\mathrm{int}(\gamma )\) counted with their orders.
Proof
Let \((r_0, \theta _0)\) be a zero of f of multiplicity p. Then we can write
with \(g(r_0, \theta _0) \ne 0.\) By elementary calculations, using the above representation of f, we deduce that
Therefore, since \(g(r_0, \theta _0) \ne 0,\) the function on the lefthand side has a pole of order one at \((r_0, \theta _0)\) with residue equal to p in case of \(c=0\).
Now let \((r_0, \theta _0)\) be a pole of order q. Then the function
is polaranalytic in a neighborhood of \((r_0, \theta _0)\) and \(h(r_0, \theta _0) \ne 0.\) Thus we can write for \((r,\theta ) \ne (r_0, \theta _0),\)
Again, an elementary calculation gives
Thus the function on the lefthand side has a pole order one at \((r_0, \theta _0)\) with residue equal to \(q\) in case of \(c=0\).
Now employing Theorem 11 with \(c=0\) and calculating the residues with the help of (14) and (15), we obtain (13). \(\square \)
In particular, if no poles occur inside \(\mathrm{int}(\gamma )\), we call the integral
the zeroscounting integral.
As a consequence, we establish a polar version of Rouché’s theorem in its symmetric form due to Estermann (see [15, p. 156], [20, Theorem 3.6, p. 341]).
Corollary 1
Let \(\mathscr {D}\subset \mathbb {H}\) be a domain and let \(f,g: \mathscr {D}\rightarrow \mathbb {C}\) be polaranalytic functions. Let \(\gamma \) be a positively oriented, closed, regular curve that is the boundary of a simply connected domain \(\mathrm{int}(\gamma ) \subset \mathscr {D}.\)
If
then f and g have the same number of zeros in \(\mathrm{int}(\gamma )\) counted with multiplicities.
Proof
For \(t \in [0,1]\), consider the family of polaranalytic functions
Note that none of the functions \(h_t\) vanishes on \(\gamma .\) Indeed, assume that \(h_0(r,\theta )=0\) for some \((r_0, \theta _0) \in \gamma .\) Then we have \(g(r_0,\theta _0) = 0,\) and so (16) yields \(f(r_0, \theta _0) < f(r_0,\theta _0);\) a contradiction. Analogously, \(h_1\) cannot vanish on \(\gamma .\) Now, assume that there exist \(t^*\in ]0,1[\) and \((r^*, \theta ^*) \in \gamma \) such that \(h_{t^*}(r^*, \theta ^*) = 0.\) Then
Substituting this in (16), we obtain
The two sides are equal and so we have again a contradiction.
This shows that \(\Phi (t):= I_\gamma (h_t)\) exists for all \(t \in [0,1].\) It is a continuous function of t and attains only integer values. Thus \(\Phi \) must be a constant. Therefore, all the functions \(h_t\) have the same number of zeros in \(\mathrm{int}(\gamma )\) when counted with multiplicities. In particular this is true for \(h_0 = g\) and \(h_1=f\). \(\square \)
From Corollary 1 we can deduce a polar version of the standard form of Rouché’s theorem. Under the hypotheses of this corollary, suppose that
Setting \(F:= f\) and \(G:=f+g,\) we easily see that the pair(F, G) satisfies (16), and so f and \(f+g\) have the same number of zeros in \(\mathrm{int}(\gamma )\) counted with multiplicities.
6 Applications of PolarAnalytic Functions
Here we give a survey on various interesting applications of polar analyticity in the framework of Mellin analysis.
6.1 6.1 Function Spaces of Mellin Analysis
Using the notion of polaranalytic function, it is possible to introduce analogues of the classical Bernstein and Hardy spaces of Fourier analysis in the setting of Mellin analysis. We begin with the definition of the Mellin–Bernstein spaces (see [3]).
For \(p\in [1,+\infty ],\) \(c \in \mathbb {R}\) and \(T>0,\) the Mellin–Bernstein space \(\mathscr {B}^p_{c,T}\) comprises all functions \(f\,:\, \mathbb {H} \rightarrow \mathbb {C}\) with the following properties:

(i)
f is polaranalytic on \(\mathbb {H}\);

(ii)
\(f(\cdot ,0) \in X_c^p\);

(iii)
there exists a constant \(C_f>0\) such that \(r^c \left f(r, \theta )\right \le C_f e^{T\theta }\) for all \((r, \theta )\in \mathbb {H}.\)
The spaces \(\mathscr {B}^p_{c,T}\) characterize the spaces of functions whose Mellin transform is compactly supported on the real axis. In particular, we examine the case \(p=2.\) For this, we denote by \(B^2_{c,T}\) the space of all functions \(f \in X^2_c \cap C(\mathbb {R}^+)\) such that \([f]^\wedge _{M_c^2}(c+it) = 0\) for almost all \(t >T\) and call it a Mellin–Paley–Wiener space. The Paley–Wiener theorem in terms of the Mellin–Bernstein space \(\mathscr {B}^2_{c,T}\) gives the structure of the space \(B^2_{c,T}\) as follow (see [3, Theorem 4]).
Theorem 16
(PaleyWiener). A function \(\varphi \in X^2_c\) belongs to the Mellin–Paley–Wiener space \(B^2_{c,T}\) if and only if there exists a function \(f\in \mathscr {B}^2_{c,T}\) such that \(f(\cdot , 0) = \varphi (\cdot ).\)
Another basic space is given by the socalled Mellin–Hardy space, which is an analogue of the classical Hardy spaces of Fourier analysis for functions defined on strips of the complex plane. The notion of polaranalytic function gives a simple way to define this space in Mellin setting (see [3]).
For \(c \in \mathbb {R}\) and \(p \in [1,\infty [\), we recall that the norm in \(X^p_c\) is defined by
For a strip \(\mathbb {H}_{a,a}\) with \(a>0\), we simply write \(\mathbb {H}_a.\)
Definition 4
Let \(a, c, p \in \mathbb {R}\) with \(a>0\) and \(p\ge 1.\) The Mellin–Hardy space \(H^p_c(\mathbb {H}_a)\) comprises all functions \(f : \mathbb {H}_a \rightarrow \mathbb {C}\) that satisfy the following conditions:

(i)
f is polaranalytic on \(\mathbb {H}_a;\)

(ii)
\(f(\cdot , \theta ) \in X^p_c\) for each \(\theta \in {]}a,a{[};\)

(iii)
there holds
$$\begin{aligned} \Vert f\Vert _{H^p_c(\mathbb {H}_a)} := \sup _{0<\theta<a}\bigg (\frac{\Vert f(\cdot , \theta )\Vert ^p_{X^p_c} + \Vert f(\cdot , \theta )\Vert ^p_{X^p_c}}{2}\bigg )^{1/p} < +\infty . \end{aligned}$$
When \(a \in {]}0,\pi ]\), we can associate with each function \(f \in H^p_c(\mathbb {H}_a)\) a function g analytic on the sector \({{\mathscr {S}}}_a:= \{z \in \mathbb {C}: \arg z < a\}\) by defining \(g(re^{i\theta }):= f(r,\theta ).\) The collection of all such functions constitutes a Hardytype space \(H^p_c({{\mathscr {S}}}_a),\) which may be identified with \(H^p_c(\mathbb {H}_a).\)
In [14] the authors considered a Hardy space \(H^p(S_a)\) of functions analytic on the strip \(S_a:=\{z \in \mathbb {C}: \Im z < a\}.\) The Hardy space \(H^p_c(\mathbb {H}_a)\) has been designed in such way that if \(g \in H^p(S_a)\) and
then \(f \in H^p_c(\mathbb {H}_a)\) and conversely, if \(f \in H^p_c(\mathbb {H}_a)\) and
then \(g \in H^p(S_a).\)
Theorem 16 characterizes the MellinPaleyWiener spaces in terms of the Mellin–Bernstein spaces. The next theorem characterizes the space of functions whose Mellin transform has an exponential decay at infinity. In order to do that, we have to introduce a new function space that is related to Mellin–Hardy type spaces (for details see [4]).
Definition 5
Let \(a,c \in \mathbb {R}\) with \(a>0\) be fixed numbers. The class \(H^*_c(\mathbb {H}_a)\) comprises all functions \(f:\mathbb {H}_a \rightarrow \mathbb {C}\) with the following properties:

(a)
f is polaranalytic on \(\mathbb {H}_a\);

(b)
\(\lim _{r \rightarrow 0^+} r^cf(r,0) = \lim _{r \rightarrow +\infty } r^cf(r,0) = 0\);

(c)
for every \(\varepsilon \in \, ]0,a[\) there exists a constant \(K(f,\varepsilon )\) such that
$$\begin{aligned} f(r, \theta ) \le r^{c}K(f,\varepsilon ) \end{aligned}$$for all \((r,\theta ) \in \mathbb {H}_{a\varepsilon };\)

(d)
for every \(\theta \in \, ]a,a[\) and all \(t \in \mathbb {R},\)
$$\begin{aligned} I_c(f,\theta ,t):= \lim _{R \rightarrow +\infty }\int _{1/R}^R f(r,\theta )r^{c+it1}dr \end{aligned}$$exists and \(I_c(f,\theta , t) \le K(f)\) with a constant depending on f only.
For any function \(\phi :\mathbb {R}^+ \rightarrow \mathbb {C}\) that is integrable on every compact subinterval of \(\mathbb {R}^+\), we define
In [4], using some results concerning the (C, 1)summability of the \(X^2_c\)Mellin transform, it is proved that if \(M^*_c[\phi ]\) exists and belongs to \(L^2(c +i\mathbb {R}),\) then \(\phi \in X^2_c\) and \(M^*_c[\phi ](c+it)= M^2_c[\phi ](c+it)\) almost everywhere for \(t \in \mathbb {R}.\) This relates the functional \(M^*_c\) to the \(X_c^2\)Mellin transform.
Statement (d) in Definition 5 can be expressed in terms of the functional \(M_c^*\) as
and it is not difficult to show that the space \(H^*_c(\mathbb {H}_a)\) is a normed linear space with norm
The spaces \(H_c^*(\mathbb {H}_a)\) are related to the Mellin–Hardy spaces through the following propositions.
Proposition 4
We have
Proposition 5
Let \(f \in H^*_c(\mathbb {H}_a).\) Then, for all \(\alpha \in \, ]a,a[\), we have
\(f(\cdot , \alpha ) \in X^2_c\) and
The main theorem is as follows.
Theorem 17
A continuous function \(\phi :\mathbb {R}^+ \rightarrow \mathbb {C}\) is the restriction to \(\mathbb {R}^+\) of a function \(f \in H^*_c(\mathbb {H}_a)\) if and only if \(M^*_c[\phi ]\) exists and
with a constant C that may be taken to be \(\Vert f\Vert _{H^*_c(\mathbb {H}_a)}.\)
It can be shown that the “hard part” of Theorem 16 (i.e., a function \(f \in \mathscr {B}^2_{c,T}\) is such that \(f(\cdot , 0) \in B^2_{c,T}\)) can now be deduced from Theorem 17.
6.2 6.2 Exponential Sampling
A useful consequence of the definition of the Mellin–Bernstein spaces for polaranalytic functions is the following statement (see [3]): If \(f \in \mathscr {B}_{c, T}^p,\) then \(f_\theta (\cdot ) := f(\cdot , \theta ) \in X_c^p\) for every \(\theta \in \mathbb {R}.\) In particular, by Theorem 16, if \(f \in \mathscr {B}_{c,T}^2,\) then \(f_\theta \in B^2_{c,T}.\) Thus, we can apply to \(f\in \mathscr {B}^2_{c,T}\) the exponential sampling formula, which reconstructs the function f from the sampled values of \(f_\theta \) taken at certain sample points which are exponentially spaced over the positive real axis (see [12]).
We premise the following definition. For \(c \in \mathbb {R}\), we define the function \(\mathrm{lin}_c: \mathbb {R}^+ \rightarrow \mathbb {R}\) by
Here the \(\mathrm{sinc}\) function is defined as \(\mathrm{sinc}(x) := \frac{\sin (\pi x)}{\pi x}\) for \(x\in \mathbb {R}\setminus \{0\}\) with the continuous extension \(\mathrm{sinc}(0) = 1.\)
The exponential sampling formula for functions \(f \in \mathscr {B}^2_{c,T}\) reads as follows:
Theorem 18
Let \(f \in \mathscr {B}^2_{c,T}.\) Then for every \(\theta \in \mathbb {R},\) we have
Multiplied by \(r^c\) the series converges absolutely and uniformly on strips of bounded width parallel to the raxis.
In particular, setting \(\varphi (r):= f(r,0)\) one has
The residue theorem (Theorem 11) is a fundamental tool for the following related result for functions \(f \in \mathscr {B}^p_{c,T}\) with \(p \in [1, \infty ]\) and \(c \in \mathbb {R}\) (see [7]), which is a Mellin analogue of a classical differentiation formula of Fourier analysis due to Boas (see, e.g., [14]).
Theorem 19
Let \(f\in \mathscr {B}^p_{c,T}\), where \(p \in [1, +\infty ]\), \(c\in \mathbb {R}\) and \(T>0\). Then
for \((r,\theta )\in \mathbb {H}\). Multiplied by \(r^c\), the series converges absolutely and uniformly on strips of bounded width parallel to the raxis in \(\mathbb {H}\).
A proof is obtained by applying the residue theorem (Theorem 11) to the function
which is polaranalytic on \(\mathbb {H}\) except for isolated singularities at the points where the denominator vanishes. An important consequence of the above formula is the following Bernstein inequality for polar Mellin derivatives (see [7]).
Corollary 2
Let \(f\in \mathscr {B}^p_{c,T}\), where \(p\in [1, +\infty ]\), \(c\in \mathbb {R}\) and \(T>0\). Then for any \(\theta \in \mathbb {R},\) we have
In Fourier analysis, there exists a sampling formula of Valiron—sometimes also attributed to Tschakaloff (see, e.g., [17, p. 60], [14])—that improves upon the classical sampling formula. It applies to a wider class of functions and its series converges faster. The only price one has to pay for this improvement is that, apart from the samples of the classical sampling formula, also the value of the derivative at zero is needed.
An analogue for polaranalytic functions was given in [8]. The statement is as follows.
Theorem 20
Let \(f\in \mathscr {B}_{c,T}^\infty \), where \(c\in \mathbb {R}\) and \(T\in \mathbb {R}^+\). Then, for \(r\in \mathbb {R}^+\),
The series converges absolutely and uniformly on compact subsets of \(\mathbb {R}^+\).
For a proof, we may again use the residue theorem in Mellin setting, applying it to the function
this time.
As a final application, we now present the following exponential sampling formula that involves samples of Mellin derivatives up to the order m. This formula includes (21) as a special case. Since we restrict ourselves to \(p=2\), we state the result for functions \(f \in B_{c,T}^2\). The extension to \(\mathscr {B}^2_{c,T}\) via Theorem 16 is used in the proof only. For details see [8].
Theorem 21
Let \(f \in B^2_{c,T}\) with \(c \in \mathbb {R}\) and \(T >0.\) Then for \(m \in \mathbb {N}_0\) and \(t \in \mathbb {R}^+\), there holds the representation
where
The series converges uniformly on compact subsets of \(\mathbb {R}^+.\)
For the proof in [8], the special case \(T= m+1\) is considered first. Then Theorem 11 is applied to the function
where \({\widetilde{f}}(r, \theta )\) is the polaranalytic extension of f to a function in \(\mathscr {B}^2_{c, T}\) and t belongs to an arbitrary but fixed compact subset of \(\mathbb {R}^+.\) The general case for arbitrary \(T>0\) is deduced by an appropriate substitution.
Note that the gain of involving derivatives when \(m\ge 1\) is that the required sample points have a lower density than those of formula (21).
For \(m=0\) we obtain (21) while for \(m=1\) we can write (24) in the following form (see [8, Corollary 6]):
for \(f \in B^2_{c,T}\) with \(c \in \mathbb {R},\) \(T>0\) and \(t \in \mathbb {R}^+.\)
6.3 6.3 Quadrature Over the Positive Real Line
The general Poisson summation formula of Mellin analysis (see [11]) can be considered as a quadrature formula for functions defined on the positive real axis just as the classical Poisson summation formula of Fourier analysis can be interpreted as a quadrature formula on the real line, see [21]. For \(c \in \mathbb {R}\) and \(T>0\), we denote by \(B^1_{c,T}\) the space of all functions \(f \in X_c\cap C(\mathbb {R}^+)\) such that \([f]^\wedge _{M_c}(c+it) = 0\) for all \(t >T.\) For \(T=2 \pi \sigma ,\) \(\sigma >0,\) the Mellin–Poisson summation formula gives (see [5])
for every \(f \in B^1_{c, 2\pi \sigma }.\)
When \(f \not \in B^1_{c, 2\pi \sigma },\) formula (25) is no longer exact. However, we can write
and say that (25) holds with a remainder term \(R_{c,\sigma }[f].\) Under the validity of the general Mellin–Poisson formula, we find that
The theory of polaranalytic functions is very useful for studying the speed of convergence to zero of the remainder and to obtain characterizations of function spaces by this speed. Results of this type were given in [5]. Here we report on results involving Mellin–Hardy spaces. Related results can be formulated for Mellin–Sobolev spaces.
We begin with an introduction of a class of functions for which the validity of the MellinPoisson formula is guaranteed for sufficiently large \(\sigma \) with absolutely convergent series on both sides (see [11, Corollary 7.5]). Let \(c \in \mathbb {R}\) and \(s>0.\) Then we denote by \(\mathscr {K}_c(s)\) the class of all functions \(f \in X_c\cap C(\mathbb {R}^+)\) for which \(\Theta _cf\) exists almost everywhere on \(\mathbb {R}^+\) as a function in \(X_c\) and
for all \(\sigma \ge s.\)
Now for \(f \in \mathscr {K}_c(s),\) we denote by \(f_{c+}\) and \(f_{c}\) the cMellin even and the cMellin odd parts of f, respectively, defined by
so that \(f(x) = x^{c}(f_{c+}(x) + f_{c}(x))\) for every \(x>0.\)
As was observed in [22, Proposition 4.1], for all \(\sigma \ge s,\) there hold the relations
Naively one might expect that \(R_{c,\sigma }[f]\) converges rapidly to zero as \(\sigma \rightarrow \infty \) if and only if f is of high regularity. However, the previous relations show that the remainder of a cMellin odd function f is zero even if its graph, apart from a symmetry, is very irregular. Therefore, in order to obtain characterizations of the speed of convergence to zero of the remainder \(R_{c, \sigma }[f]\) by function spaces specified by a regularity property, we will consider the case of the Mellineven part of functions or the case of translated functions since Mellin translations will destroy possible symmetries.
For \(c \in \mathbb {R}\), we denote by \(\mathscr {M}_c^1\) the space of all functions \(f \in X_c \cap C(\mathbb {R})\) such that \([f]^\wedge _{M_c}(c + i \cdot ) \in L^1(\mathbb {R}).\) The following theorem gives a characterization of the Hardytype spaces \(H^*_0(\mathbb {H}_a)\) in terms of exponential (or geometric) rate of convergence (see [5, Proposition 7]).
Theorem 22
Let \(\varphi \in \mathscr {K}_c(s) \cap \mathscr {M}^1_c\) for some \(s>0\). Then for \(a >0,\) we have
This result completes and generalizes a result in [22, Theorem 6.5]. The latter theorem needed the restriction \(a \in ]0, 2\pi ^2]\) in order to avoid the use of Riemann surfaces. With our concept of polaranalytic functions this restriction on a does not arise. For translated functions we have the following result (see [5, Proposition 10]).
Theorem 23
Let \(\varphi \in \mathscr {K}_c(s) \cap \mathscr {M}^1_c\) for some \(s>0\). Then
Polynomial rates of convergence, expressed by \(\mathscr {O}(\sigma ^{k})\), can be characterized by certain Mellin–Sobolev spaces (see [5]).
References
Bardaro, C., Butzer, P.L., Mantellini, I.: The exponential sampling theorem of signal analysis and the reproducing kernel formula in the Mellin transform setting. Sampl. Theory Signal Image Process. 13(1), 35–66 (2014)
Bardaro, C., Butzer, P.L., Mantellini, I., Schmeisser, G.: On the Paley–Wiener theorem in the Mellin transform setting. J. Approx. Theory 207, 60–75 (2016)
Bardaro, C., Butzer, P.L., Mantellini, I., Schmeisser, G.: A fresh approach to the PaleyWiener theorem for Mellin transforms and the Mellin–Hardy spaces. Math. Nachr. 290, 2759–2774 (2017)
Bardaro, C., Butzer, P.L., Mantellini, I., Schmeisser, G.: A generalization of the Paley–Wiener theorem for Mellin transforms and metric characterization of function spaces. Fract. Calc. Appl. Anal. 20(5), 1216–1238 (2017)
Bardaro, C., Butzer, P.L., Mantellini, I., Schmeisser, G.: Quadrature formulae for the positive real axis in the setting of Mellin analysis: sharp error estimates in terms of the Mellin distance. Calcolo 55(3), article 26, 33 p (2018)
Bardaro, C., Butzer, P.L., Mantellini, I., Schmeisser, G.: Development of a new concept of polar analytic functions useful in Mellin analysis. Complex Var. Elliptic Equ. 64(12), 2040–2062 (2019)
Bardaro, C., Butzer, P.L., Mantellini, I., Schmeisser, G.: Integration of polaranalytic functions and applications to Boas’ differentiation formula and Bernstein’s inequality in Mellin frame. Boll. Unione Mat. It. 13, 503–514 (2020)
Bardaro, C., Butzer, P.L., Mantellini, I., Schmeisser, G.: Valiron’s interpolation formula and a derivative sampling formula in the Mellin setting acquired via polaranalytic functions. Comput. Methods Funct. Theory. 20, 629–652 (2020)
Bertero, M., Pike, E.R.: Exponential sampling method for Laplace and other dilationally invariant transforms I. Singularsystem analysis. II. Examples in photon correction spectroscopy and Frauenhofer diffraction. Inverse Probl. 7, 1–20; 21–41 (1991)
Butzer, P.L., Jansche, S.: A direct approach to the Mellin transform. J. Fourier Anal. Appl. 3, 325–375 (1997)
Butzer, P.L., Jansche, S.: The finite Mellin transform, Mellin–Fourier series, and the Mellin–Poisson summation formula. Rend. Circ. Mat. Palermo Serie II Suppl. 52, 55–81 (1998)
Butzer, P.L., Jansche, S.: The exponential sampling theorem of signal analysis. Atti Sem. Mat. Fis. Univ. Modena Suppl. 46, 99–122 (1998), special issue dedicated to Professor Calogero Vinti
Butzer, P.L., Jansche, S.: A selfcontained approach to Mellin transform analysis for square integrable functions, applications. Integral Transforms Spec. Funct. 8, 175–198 (1999)
Butzer, P.L., Schmeisser, G., Stens, R.L.: Basic relations valid for the Bernstein space \(B^p_\sigma \) and their extensions to functions from larger spaces with error estimates in terms of their distances from \(B^p_\sigma \). J. Fourier Anal. Appl. 19, 333–375 (2013)
Estermann, T.: Complex Numbers and Functions. Oxford University Press, Oxford (1962)
Fleming, W.: Functions of Several Variables, 2nd edn. Springer, New York (1977)
Higgins, J.R.: Sampling Theory in Fourier and Signal Analysis, Foundations. Oxford University Press, Oxford (1996)
Hille, E.V.: Analytic Function Theory, vol. 1. Chelsea Publ. Co., New York (1959)
Kaiser, T.: The Dirichlet problem in the plane with semianalytic raw data, quasi analyticity, and \(o\)minimal structure. Duke Math. J. 147(2), 285–314 (2009)
Palka, B.P.: An Introduction to Complex Function Theory. Springer, New York (1991)
Schmeisser, G.: Sampling, Gaussian quadrature, and Poisson summation formula. In: Proceedings of the 1997 International Workshop on Sampling Theory and Applications. Univ. Aveiro, Aveiro, pp. 327–332 (1997)
Schmeisser, G.: Quadrature over a semiinfinite interval and Mellin transform. In: Lyubarskii, Y. (ed.) Proceedings of the 1999 International Workshop on Sampling Theory and Applications. (ISBN 8271510991), Norwegian University of Science and Technology, Trondheim, pp. 203–208 (1999)
Szmydt, S.: Paley–Wiener theorems for the Mellin trasformation. Ann. Polon. Math. 51(1), 313–324 (1990)
Szmydt, S., Ziemian, B.: Between the Paley–Wiener theorem and the Bochner tube theorem. Ann. Polon. Math. 60(3), 299–304 (1995)
Tuan, V.K.: New type Paley–Wiener theorems for the modified mutidimensional Mellin transform. J. Fourier Anal. Appl. 4, 317–328 (1998)
Open Access
This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Dedicated with great respect to the memory of Professor Heinrich Wefelscheid.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Carlo Bardaro and Ilaria Mantellini have been partially supported by the “Gruppo Nazionale per l’Analisi Matematica e Applicazioni (GNAMPA)” of the “Instituto di Alta Matematica (INDAM)” as well as by the project “Ricerca di Base 2019 of University of Perugia (title: Integrazione, Approssimazione, Analisi non lineare e loro Applicazioni)”
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Bardaro, C., Butzer, P.L., Mantellini, I. et al. PolarAnalytic Functions: Old and New Results, Applications. Results Math 77, 64 (2022). https://doi.org/10.1007/s0002502101471w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s0002502101471w