8
$\begingroup$

Let $C\left(\mathbb{R}/\mathbb{Z}\right)$ denote the Banach space of continuous, $1$-periodic complex-valued functions on the unit interval, let $M\left(\mathbb{R}/\mathbb{Z}\right)$ denote its dual, the space of finite omplex Borel measures on $\mathbb{R}/\mathbb{Z}$, and let $\mathcal{A}\left(\mathbb{D}\right)$ denote the vector space space of all holomorphic functions $f:\mathbb{D}\rightarrow\mathbb{C}$ on the open unit disk. We equip $\mathcal{A}\left(\mathbb{D}\right)$ with the topology of compact convergence on $\mathbb{D}$—that is, uniform convergence on every compact subset of $\mathbb{D}$. Next, letting $\omega$ be a positive real number, define the order $\omega$ Cauchy transform $\mathscr{C}_{\omega}$ as the linear operator $\mathscr{C}_{\omega}:M\left(\mathbb{R}/\mathbb{Z}\right)\rightarrow\mathcal{A}\left(\mathbb{D}\right)$ given by: $$\mathscr{C}_{\omega}\left\{ d\mu\right\} \left(z\right)\overset{\textrm{def}}{=}\int_{0}^{1}\frac{d\mu\left(t\right)}{\left(1-e^{-2\pi it}z\right)^{\omega}},\textrm{ }\forall\left|z\right|<1,\textrm{ }\forall\mu\in M\left(\mathbb{R}/\mathbb{Z}\right)$$ Finally, for any $\mu\in M\left(\mathbb{R}/\mathbb{Z}\right)$, let $\hat{\mu}:\mathbb{Z}\rightarrow\mathbb{C}$ denote the Fourier coefficients of $\mu$/ Fourier-Stieltjes transform of $\mu$: $$\hat{\mu}\left(n\right)\overset{\textrm{def}}{=}\int_{0}^{1}e^{-2\pi int}d\mu\left(t\right),\textrm{ }\forall n\in\mathbb{Z}$$

I've been doing quite a bit of reading about Cauchy transforms (fractional or otherwise), but I haven't been able to find much regarding the behavior of the transform with respect to the Fourier coefficients of sequences of elements in $M\left(\mathbb{R}/\mathbb{Z}\right)$. Specifically, let $\left\{ \mu_{m}\right\} _{m\geq1}$ be a sequence in $M\left(\mathbb{R}/\mathbb{Z}\right)$, and let:$$f_{m}\left(z\right)\overset{\textrm{def}} {=}\mathscr{C}_{\omega}\left\{ d\mu_{m}\right\} \left(z\right),\textrm{ }\forall m\geq1$$

Now, suppose that:

I. As $m\rightarrow\infty$, the $f_{m}$s converge compactly over $\mathbb{D}$ to a limit $f\in\mathcal{A}\left(\mathbb{D}\right)$.

II. There is a function $c:\mathbb{Z}\rightarrow\mathbb{C}$ so that: $$\lim_{m\rightarrow\infty}\sup_{n\in\mathbb{Z}}\left|c\left(n\right)-\hat{\mu}_{m}\left(n\right)\right|=0$$

With these hypotheses, does it then follow that there is a measure $d\mu$ so that both:

i. $c=\hat{\mu}$

ii. $f=\mathscr{C}_{\omega}\left\{ d\mu\right\}$

That is to say: are the pointwise limit of the Fourier coefficients of the $\mu_{m}$s the Fourier coefficients of a measure $\mu$, and is $f$ the Cauchy transform of this $\mu$?

Additionally, would it make any difference if it was known that the $f$s also converged compactly outside of the closed unit disk?

Finally, if, for each $m$, $d\mu_{m}\left(t\right)=\phi_{m}\left(t\right)dt$, where there is a $p\in\left(1,\infty\right)$ so that $\phi_{m}\in L^{p}\left(\mathbb{R}/\mathbb{Z}\right)$ for all $m$, is $d\mu$ of the form $d\mu\left(t\right)=\phi\left(t\right)dt$ for some $\phi\in$ $L^{p}\left(\mathbb{R}/\mathbb{Z}\right)$, where $\mu=c$, where $c$ is as described above?

$\endgroup$
8
  • $\begingroup$ Is this not related to fractional calculus? $\endgroup$ Commented Jan 12, 2021 at 0:07
  • $\begingroup$ No. This is a question of the representability of holomorphic functions in terms of their boundary behavior, and the stability of this representability with respect to sequences convergent in various topologies. $\endgroup$
    – MCS
    Commented Jan 12, 2021 at 21:31
  • $\begingroup$ Then not related to the Euler integral for the beta function, various methods of analytic continuation for it, Mellin transform extension, Pochhammer contour integral rep., convolution rep. $\endgroup$ Commented Jan 12, 2021 at 22:19
  • $\begingroup$ Mmm... when you put it that way, I'd say that it is related—in that the formulas involved are in an open neighborhood about those topics. The sequences of measures in question are, in fact, the (partial) time averages of a dirac delta under the adjoint of a linear operator on functions on the disk, one which admits a representation as a contour integral against a kernel—a rational function of two complex variables. I could write a small paper on the questions I currently have. The present question is my effort to reduce it to its essentials, to increase my chance of getting a response. $\endgroup$
    – MCS
    Commented Jan 13, 2021 at 0:33
  • 1
    $\begingroup$ A multi-dimensional neighborhood--an extension/interpolation of the Hilbert transform, the Stieltjes-Cauchy transform in free probability theory, even perhaps the Todd operator--so a number of possible approaches. Unfortunately, I have little time to spend on it, but I'm certainly interested in any results. $\endgroup$ Commented Jan 13, 2021 at 16:18

0

You must log in to answer this question.