All Questions
Tagged with fa.functional-analysis cv.complex-variables
117 questions with no upvoted or accepted answers
10
votes
0
answers
652
views
Eigenfunctions of the integral kernel $1/(x^2 + x'^2)$
My question seems elementary, yet I could not find the solution after working on and searching for several days...
I'd like to find the eigenfunctions of a simple integral kernel:
\begin{equation}
\...
- 101
10
votes
0
answers
656
views
“Taylor series” is to “Volterra series” as “Laurent series” is to _________?
Preamble
My question is similar to an earlier MathOverflow question:
“Taylor series” is to “Volterra series” as “Padé approximant” is to _________? which I just answered (hopefully my first ever ...
- 446
10
votes
0
answers
845
views
Witt's proof of Gelfand-Mazur / Ostrowski's Theorem
Previously asked on Math Stackexchange without answers.
Background: As sort of a hobby, Ernst Witt gave extremely short proofs for famous theorems. This question is about his six-line proof of the ...
- 2,454
10
votes
0
answers
207
views
Projective tensor squares of uniform algebras
In discussion with a colleague recently (Jan 2017),
$\newcommand{\AD}{A({\bf D})}\newcommand{\CT}{C({\bf T})}$
I was reminded that if $A(D)$ denotes the disc algebra and $\iota: \AD\to \CT$ is the ...
- 25.8k
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 ...
- 81
7
votes
0
answers
744
views
What function space does holomorphic functional calculus give us?
Let $A$ be a unital Banach algebra, $U$ be an open subset of $\mathbb{C}$, and $A_U:=\{x\in A:\sigma(x)\subset U\}$. Holomorphic functional calculus says that any holomorphic function $f:U\rightarrow\...
- 175
6
votes
0
answers
219
views
Is the Taylor map continuous?
(Skip to the bolded theorem below for my question, if you'd like)
Some context on asymptotic expansions and the Taylor map
In the setting of irregular singularities of meromorphic connections on the ...
- 370
5
votes
0
answers
104
views
On the embedding of manifolds into infinite-dimensional spaces
Let $X$ be a (connected, finitely dimensional) topological/smooth/complex manifold and let $i$ be a weakly continuous/continuous/smooth/holomorphic map from $X$ into the dual $F^{*}$ of a real or ...
- 5,529
4
votes
0
answers
148
views
Some questions on Hardy's spaces
In the paper http://www.numdam.org/item/CM_1976__33_3_261_0.pdf, the authors have asked in Page 285 whether the Hardy space $H^p$ embeds isometrically into the Hardy space $H^q$ for $1\leq q<p<...
- 1,879
4
votes
0
answers
120
views
Matrix product of entire functions
Suppose I have two $d \times d$ entire matrix functions $F, G$ defined on $\mathbb{C}$ with the the property that $\|FG^*\|_{L^\infty(\mathbb{C})} < \infty$. Can anything be said about $F$ and $G$, ...
4
votes
0
answers
74
views
Is there a dense set of Lipschitz functions in $H^\infty(U)$, each of which maps $(1,0,\ldots,0)$ to 1, where $U$ is the unit ball in $\mathbb{C}^N$?
Let $U$ be the open unit ball in $\mathbb{C}^N$, let $A(U)$ be the algebra of functions analytic on $U$ and continuous on $\bar U$, and let $u=(1,0,\ldots,0)$. Let $\mathcal{B}=\{f\in H^\infty (U): \|...
4
votes
0
answers
135
views
Reverse Sobolev inequality for family of holomorphic functions
Denote by $P_m$ the space of polynomials of degree $m$ in a single complex variable $x$. This is a "Reverse Sobolev inequality":
Theorem. Let $U \subset \mathbb{C}^2$ be an open domain and $...
- 981
4
votes
0
answers
120
views
Are fibers in the corona of $H^\infty$ separable?
Let $\mathcal{M}(H^\infty(\mathbb{D}))$ denote the spectrum of the Banach algebra $H^\infty$ and $\mathcal{M}_z(H^\infty(\mathbb{D}))$ the fiber over $z\in \mathbb{D}$, i.e. $\{\varphi\in \mathcal{M}:...
- 81
4
votes
0
answers
104
views
Walsh-Lebesgue type theorem in $\Bbb R^{2m}$ for $m>1$
Is someone aware of any analogue of the Walsh-Lebesgue theorem in $\mathbb{R}^{2m}$ for $m>1$ and dealing with polyharmonic polynomials?
In this post, $\phi$ is said to be polyharmonic in $\mathbb{...
- 41
4
votes
0
answers
197
views
Approximation of a holomorphic function vanishing at a submanifold by polynomials
Suppose $M$ is a complex affine algebraic manifold in ${\mathbb C}^n$ (I mean, a set of common zeroes of a system of polynomials on ${\mathbb C}^n$, which is at the same time a smooth manifold). ...
- 7,426
4
votes
0
answers
210
views
A more general version of the Fejér-Riesz theorem
A classical result, known as the Fejér-Riesz theorem, states that any Laurent polynomial $p(z)=\sum_{|k|\leq N} c_kz^k$
(the coefficients $c_k$ are complex numbers) which is nonnegative on the torus $\...
4
votes
0
answers
548
views
Understanding vector-valued analytic functions vs holomorphic functional calculus
Let $A$ be a unital Banach algebra over complex numbers and call elements of $A$ "vectors". Let $\Omega$ be an open set in $\mathbb{C}$ and $H(\Omega)$ the space of analytic functions on $\...
- 83
4
votes
0
answers
100
views
Generating $H^{\infty}(X)$
Let $X$ be a domain in $\mathbb{C}^d$ and let $\mathbb{D}$ be the open unit disk in $\mathbb{C}$. Consider the Banach algebra $H^{\infty}(X)$ consisting of bounded holomorphic functions on $X$ with ...
- 5,529
4
votes
0
answers
117
views
Korovkin subset of $C(\mathbb{T})$
Let $K$ be a compact Hausdorff space and $A$ be a subset of $C(K)$. $A$ is said to be a Korovkin set if for every sequence $(T_n)$ of positive linear operators on $C(K)$, the condition $\|T_n(f)- f\|_\...
- 521
4
votes
0
answers
275
views
Computing Bohr Radii
The Bohr radius $R$ for $\mathcal{H}(\mathbb{D})$ is defined as the radius $$R = \sup\limits_{0<r<1} \Bigl\{ r\ \Big|\sum\limits_{k=0}^{\infty}|a_k|r^k \leq |f|_\mathbb{D}, \text{ for all }f(z)=\...
- 3,209
4
votes
0
answers
211
views
Inclusion of Hardy spaces
It is well-known that any convergence in $L^p$ for $p \in [1,\infty]$ implies convergence in $L^1_{\text{loc}}$ by Hölder's inequality.
It is also known that for $p>1$ it holds that $L^p(\mathbb R)...
4
votes
0
answers
716
views
Can one integrate around a branch-cut?
How meaningful is it to try to integrate around the branch-cut of a function?
For example lets say I have the function $\log(z^2+a^2)$ for $a>0$ and I choose my branch-cuts to be starting at $\pm ...
- 1,893
4
votes
0
answers
112
views
status of Invariant subspace problem on Krein Space
What is the status of Invariant subspace problem on Krein Space? What sort of developments have taken place in this area.
- 2,106
4
votes
0
answers
500
views
Laplace Transform: Are there theorems similar to the Bernstein Theorem?
Bernstein's Theorem states, that if a function is completely monotonic, then it is the Laplace transform of an $L^1$-function. (E.g. Widder, "The Laplace Transform", Chapter IV, Theorem 19b)
Are ...
- 93
3
votes
0
answers
116
views
On a functional equation of Mahler?
Recently, I was trying to introduce the concept of natural boundaries to a fellow math student, and what greater way to do this than using an example? In particular, I tried to use as an illustration, ...
- 131
3
votes
0
answers
111
views
What is known about the analytic continuation of Maz'ya's modified harmonic zeta function $\sum_{n=1}^{\infty} e^{-zH_n}$?
Question:
If we let $H_n = \sum_{k=1}^{n} \frac{1}{k}$ be the harmonic numbers then we can consider the modified zeta function
$$ f(z) = \sum_{n=1}^{\infty} e^{-zH_n } = \sum_{n=1}^{\infty} e^{-z(\ln(...
- 2,689
3
votes
0
answers
245
views
Norm on the space of real analytic functions
The space $C^{\omega}(\Omega)$ of real-valued real analytic functions on the open bounded set $\Omega\subset \mathbb R^n$ does not have any obvious or natural metric which would make it a Fréchet ...
- 203
3
votes
0
answers
203
views
Beurling's theorem on invariant subspaces
Beurling's theorem characterize the closed subspaces $M\subset H^2$ of the Hardy space, which are invariant under the shift operator $Sf(z):=zf(z)$, as spaces of the form $\varphi H^2 $ where $\varphi$...
3
votes
0
answers
135
views
Holmgren's theorem on the boundary
Consider $\Omega$ a bounded Lipschitz domain, with $\gamma \subseteq \partial \Omega$ a $C^2$ manifold. I am interested in proving the following.
Let $u: \Omega\times [0,T]\rightarrow \mathbb{R}$ be ...
- 235
3
votes
0
answers
257
views
Complex Hölder space
I already posted this question on math.stackexchange, but got no response and was suggested to post it here.
I came across a space in an ergodic theory paper, which I am calling here a (complex) ...
- 136
3
votes
0
answers
193
views
Fermat's Last Theorem (FLT) in standard model space corresponding to an infinite Blaschke product
Let $u$ be an inner function and denote by $H^2$ the Hardy space on the open unit disc D. A model space $K_u$ associated to $u$ is a Hilbert space of the form $K_u=(uH^2)^⊥$ where ⊥ denotes the ...
3
votes
0
answers
177
views
Truncation on $H^\infty(\mathbb{D})$ vs $H^\infty(\mathbb{D}^2)$
$\newcommand{\D}{\mathbb{D}}$
Let $H^\infty(\D)$ be the space of bounded analytic functions in the unit disc $\D$. For a function $f(z) = \sum_{n=0}^\infty a_nz^n$ we can define its truncation as
$$...
- 6,476
3
votes
0
answers
233
views
Sequence unifomly bounded
Let $f(\lambda,z)$ be a continuous function on $\Bbb R^2$ such that
I) For $n\in\Bbb N$ and $x\in\Bbb R^*_+$ we have : $f(n,x)=\cos(nx)+ x O\big(\frac{1}{n}\big)$ as $n\to\infty$ and $x\in[n^{-1}\...
- 81
3
votes
0
answers
73
views
A holomorphic shrinking of a domain into a compact subset
This question is related to these two.
Let $X\subset \mathbb{C}^{n}$ be a bounded domain. I am interested in the following property: there is a sequence of continuous maps $\varphi_n:\overline{X}\to X$...
- 5,529
3
votes
0
answers
646
views
On properties on a certain functional
Consider the following function:
$$F(z) = \omega(z)\sin^2\left(\frac{c\Gamma(z)}{z}\right)$$
Here, $\omega(z)$ is a weight we have to construct and $c$ is a constant.
The following three conditions ...
- 375
3
votes
0
answers
59
views
Convergence of sesqui-holomorphic kernels on the diagonal
Let $X\subset \mathbb{C}^d$ be a domain.
A function (kernel) $K:X\times X\to \mathbb{C}$ is called sesqui-holomorphic if it is holomorphic in the first variable, and anti-holomorphic in the second ...
- 5,529
3
votes
0
answers
235
views
Chern number of projection-Topological magic in physics
I enclosed a computation from a well-known paper in the field of mathematical physics where the Chern number of the first Landau level is computed (the result claimed is $-1$) and the full paper can ...
- 31
3
votes
0
answers
223
views
Sobolev space under Mellin transform
The Mellin transform is known to be an isomorphism see wikipedia
between $M:L^2(0, \infty) \rightarrow L^2(-\infty, \infty)$
where $$M(f):= \frac{1}{\sqrt{2\pi}}\int_0^{\infty} x^{-\frac{1}{2} + is} ...
user127612
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 ...
- 31
3
votes
0
answers
187
views
Families of unbounded operators
Let $H$ be a Hilbert space, $X$ a topological space, and $\{A_t\}_{t\in X}$ a continuous family of bounded, invertible operators on $H$. Continuous here in the sense that the corresponding map $X\...
- 331
3
votes
0
answers
89
views
Trace of a weighted composition operator on Bergman space
I am reading a series of papers by Pollicott, Jenkinson and coauthors which make use of the following type of result:
Theorem: Let $\mathbb{D} \subset \mathbb{C}^d$ be a bounded, connected open set. ...
- 6,206
3
votes
0
answers
246
views
Inverse problem for negative moments
Let $D$ be a bounded simply connected domain in the plane, bounded by a smooth closed curve $\partial D$. Moreover$D$ contains the origin. Assume that all negative complex moments w.r.t arc-length ...
- 1,583
3
votes
0
answers
175
views
polynomial relations between modular functions
$\newcommand{\Qbar}{\overline{\mathbb{Q}}}$
We define a modular function to be a meromorphic modular form of weight 0 for some subgroup (not necessarily congruence) $\Gamma\le\text{SL}_2(\mathbb{Z})$ ...
- 10.7k
2
votes
0
answers
70
views
Is the hypothesis "uniformly equivalent" needed?
I am reading S. Shimorin's paper titled Complete Nevanlinna-Pick property of Dirichlet-type spaces. My question concerns Lemma 2.3. which is as follows:
Assume $\mathscr{H}$ is a Hilbert space of ...
- 151
2
votes
0
answers
179
views
Analytic continuation of $\int_V (f(x_1,\cdots,x_n))^s dx_i$
Let $V$ be an $n$-dimensional simplex, let $f(\boldsymbol{x}) = f(x_1,\cdots,x_n)\in \mathbb{C}[x_1,\cdots,x_n]$ be a product of linear polynomials that is non-zero in interior of $V$. Also let $E(\...
- 528
2
votes
0
answers
95
views
On analytic functions on the complement of a curve without jump across the curve almost everywhere
Question. Suppose $f$ is an analytic function on $\mathbb C\setminus\mathbb R$ and assume that the boundary values of $f$ from above and below the real axis (denoted $f_\pm$ respectively) exist almost ...
2
votes
0
answers
151
views
Does the complex interpolation space $(L^1(\mathbb{R}),W^{2,1}(\mathbb{R}))_{\frac{1}{2}}$ continuously embed into $L^\infty(\mathbb{R})$?
The complex interpolation space between $(L^p(\mathbb{R}),W^{2,p}(\mathbb{R}))_\theta$ with interpolation parameter $\theta=\frac{1}{2}$ is known to be $W^{1,p}(\mathbb{R})$ for $1<p<\infty$. As ...
- 989
2
votes
0
answers
85
views
Proving that $u_0$ is a canonical solution
I've asked this question on stack exchange before but no one could help me so I wish I can get some help here.
Let's first start with the definition of the canonical solution:
Consider $\frac{\...
- 21
2
votes
0
answers
119
views
Reverse Sobolev inequality for holomorphic functions
Problem. Let $U \subset \mathbb{C}$ be open and $[0,1] \subset U$. Assume $f(z)$ is holomorphic on $U$. Is it possible to find a constant $C$ (that depends on $f$) such that, for all $0 \leq a < b \...
- 981
2
votes
0
answers
72
views
Semilinear elliptic equations in complex plane
Let $D$ denote the closed unit disk centered at the origin in the complex plane. Let $F: D \times \mathbb C \to \mathbb C$ be a smooth function. Is there any theory for well-posedness (in the sense of ...
- 4,145