Skip to main content

All Questions

Filter by
Sorted by
Tagged with
1 vote
0 answers
48 views

Can one explicitly define a right inverse for a convolution operator on the space of entire functions?

A result of Meise and Taylor in 1988 shows that every non-zero convolution operator on the Frechet space $H(\mathbb{C})$ of all entire functions on $\mathbb{C}$ has a continuous linear right inverse $...
2 votes
0 answers
125 views

Sub Banach spaces (Banach algebras) of the disc algebra which are invariant under the differentiation operator

In this question the disc algebra $\mathcal{A}(\mathbb{D})$ is the Banach algebra of all holomorphic functions on the unit open disc $\mathbb{D} \subset \mathbb{C}$ which have a ...
1 vote
0 answers
108 views

$H^\infty$ functions with certain $H^2$ factors

While discussing the factorization theorems and shift-cyclicity in Hardy spaces, a friend and I came across a problem that seems to be answerable but we could not get anywhere. The problem is as ...
1 vote
0 answers
115 views

Looking for examples of kernels with scalar Pick property but not the complete Pick property

I am studying Pick Interpolation and Hilbert Function Spaces by Agler and McCarthy. A kernel $k$ on a set $X$ is said to have $M_{s,t}$ Pick property whenever $x_1,x_2, \ldots , x_n \in X$ and $W_1, ...
1 vote
1 answer
119 views

weakly separated sequences in RKHS are separated by Gleason metric

I am reading Agler and McCarthy's Pick Interpolation and Hilbert Function spaces. In Chapter 9, the authors ask to observe that weakly separated in a Reproducing kernel hilbert space implies separated ...
1 vote
0 answers
124 views

Interpolating sequences are strongly separated

I am reading Agler and McCarthy's Pick Interpolation and Hilbert Function spaces. In Chapter 9, titled "Interpolating Sequences", the authors say that every interpolating sequence is ...
1 vote
0 answers
111 views

Residues of analytic operators

Suppose we have analytic operators $P_{z}: C^1[0,1]\to C^1[0,1]$, where $z \in \mathbb{C}$, and the spectrum of $P_{z_0}$ possesses an isolated eigenvalue $1$ (assuming multiplicity is 1 and $I-P_z$ ...
3 votes
1 answer
162 views

On a compact operator in the plane

Let $\Omega \subset \mathbb R^2$ be a bounded domain with a smooth boundary. Let $$\bar{\partial}= \frac{1}{2} ( \partial_{x^1} + i \,\partial_{x^2}),$$ and let $G: L^2(\Omega)\to H^2(\Omega)$ be the ...
0 votes
0 answers
251 views

How to prove that the function $\lambda \mapsto \langle T_{\lambda}f; g\rangle$ is holomorphic?

Let $\langle;\rangle$ be the usual scalar product on $L^2(\Bbb R^2)$. How to prove that the function $\lambda \mapsto \langle T_{\lambda}f; g\rangle$ is holomorphic on $\Bbb C^+_*=\{z\in\Bbb C:\text{...
4 votes
1 answer
704 views

Connections to physics, geometry, geometric probability theory of Euler's beta integral (function)

Euler"s integral for the beta function $B(s,\alpha) = $ (with $x = 1$) $$ \frac{(s-1)!(\alpha-1)!}{(s+\alpha-1)!} x^{s+\alpha-1} = \int_0^\infty t^{s-1}\; H(x-t) \; (x-t)^{\alpha-1} dt = \int_0^x ...
9 votes
1 answer
322 views

Cauchy path integral as a linear operator: kernel and image?

Let $\mathcal O(\Omega)$ be the algebra of functions holomorphic on the open set $\Omega\subset\mathbb C$. For $\gamma$ a simple compact curve in $\mathbb C$ consider the linear operator given by path-...
22 votes
1 answer
3k views

Why should I look at the resolvent formalism and think it is a useful tool for spectral theory?

Wikipedia calls resolvent formalism a useful tool for relating complex analysis to studying the spectra of a linear operator on a Banach space. Sure, I believe you because I've seen results that use ...
2 votes
0 answers
144 views

Is logarithmic convexity of the heat kernel with complex time a general fact?

Suppose $H$ is a non-negative self-adjoint operator acting on $L^2(\mathbb{R}^n)$, and generates an analytic semigroup with kernel satisfying a Gaussian upper bound, i.e., if we denote $K(t,x,y)$ the ...
8 votes
0 answers
251 views

Struggling with a proof in the preprint 'Hermitian geometry on resolvent set'

I have been struggling for awhile with a particular argument in the paper below. I posted the question first on MathSE, but I got no answers. I understand however that MO might be an overreach for ...
2 votes
1 answer
205 views

Regarding outer function being the quotient of two outer functions

Let $\mathbb{D}$ and $\mathbb{T}$ denote the open unit disk and unit circle in $\mathbb{C}$ respectively. We write $Hol(\mathbb{D})$ for the space of all holomorphic functions on $\mathbb{D}.$ The ...
1 vote
1 answer
652 views

Significance and motivation for outer functions

Let $\mathbb{D}$ and $\mathbb{T}$ denote the open unit disk and unit circle in $\mathbb{C}$ respectively. We write $Hol(\mathbb{D})$ for the space of all holomorphic functions on $\mathbb{D}.$ The ...
3 votes
0 answers
49 views

Is singular Cauchy operator bounded in Morrey spaces?

The singular Cauchy operator is defined by $$S_\Gamma :f \to \int_\Gamma \frac{f(\xi)}{\xi-z} d\xi , z\in \Gamma.$$ Is this operator bounded in Morrey spaces and weighted Morrey spaces? i.e. is there ...
2 votes
1 answer
280 views

pick interpolation -- why is it symmetric? $\left[\frac{1 - w_i \overline{w_j}}{1 - z_i \overline{z_j}} \right]_{i,j=1}^n \geq 0$ [closed]

I am reading notes on a complex interpolation problem: Let $z_1, \dots, z_n \in \mathbb{D}$ and $w_1, \dots, w_n \in \mathbb{C}$. There exists (bounded holomorphic?) $f \in H^\infty(\mathbb{D})$ ...
4 votes
1 answer
233 views

Neumann DBAR problem with tempered distributions

It is well-known that the operator $$\frac{\partial}{\partial \overline{z}} : C^{\infty}(\mathbb{C}) \to C^{\infty}(\mathbb{C})$$ is surjective. (And it also works if we replace functions by Schwartz ...
3 votes
0 answers
182 views

Prove a certain function maps to upper half plane

Suppose $M$ is a bounded self-adjoint operator on space of complex valued functions on the real line $S_1=L^2(\mathbb{R},a(x)dx)$, where $a(x)$ is a nice real positive analytical function ( I have in ...
1 vote
0 answers
82 views

Hankel operator with symbol a Blaschke product

If $B={\prod}_j \varphi_j$ is a Blaschke product (finite or infinite) of Blaschke factors $\varphi_j(w)=\frac{w-\alpha_j}{1-\overline{\alpha_j}w}$ with $|\alpha_j|>1$, is it true that the norm of ...
1 vote
0 answers
80 views

What is the character space of $\mathcal P(K)$?

Let $K$ be a compact subset of $\Bbb C$. Let $\mathcal P(K)$ be the closed algebra generated by the complex polynomials on $K$. What is the character space $\Phi_{\mathcal P(K)}$ of $\mathcal P(K)$?...
2 votes
1 answer
172 views

Who was first to use reproducing kernels in order to try to solve interpolation problems?

I understand that Sarason generalized the interpolation problem by taking it into the operator theoretic setting via reproducing kernels, but whose idea was it to use reproducing kernels such as the ...
4 votes
0 answers
127 views

Linearizing an operator

This question is more about a curious identity I have come across, than to do with explicit research. The question is somewhat advanced so I'm posting it here rather than on math stackexchange. It ...
1 vote
0 answers
84 views

extension for a complex operator

Let be $\lambda>0$. Put $$ L_{\lambda}=\Big[-\frac{\partial^{2}}{\partial z \partial \overline{z}}+\lambda^{2}|z|^{2} +\lambda\Big(\overline{z}\frac{\partial}{ \partial \overline{z}}-z\frac{\...
1 vote
1 answer
137 views

When is a homogeneous polynomial an inner function on the unit torus?

What is the necessary and sufficient condition(s) for a homogeneous polynomial on torus(bidisk) to be an inner function? More precisely I want to know when absolute value of a homogeneous polynomial ...
4 votes
1 answer
1k views

definition of accretive operator

A relation T with domain and range in a Hilbert space is said to be accretive if the transformation $ (T − \lambda)/(T + \bar \lambda\ ) $ with domain and range in the Hilbert space is contractive for ...
2 votes
0 answers
262 views

A specific projection and compactness on the Bargmann-Fock space

Let $F_2$ be the Bargmann Fock space defined as the space of entire functions $f$ on $\mathbb{C}$ such that \begin{align*} \int_{\mathbb{C}} |f(z)|^2 e^{- |z|^2} dA(z) \end{align*} ($dA$ is just ...