Skip to main content

All Questions

Filter by
Sorted by
Tagged with
0 votes
1 answer
124 views

Holomorphic functions of certain blow up at origin

Suppose that $D=\{z\in \mathbb C\,:\, |z|\leq 1\}$ and let $f$ be holomorphic on $D\setminus\{0\}$ such that $|f(z)|\leq e^{\frac{1}{|z|}}$ for all $0<|z|\leq 1$ and assume additionally that $\lim\...
Ali's user avatar
  • 4,115
0 votes
0 answers
56 views

Complexity of evaluation of analytic functions

Given an analytic function $f(x)$ (say as combination of elementary functions and operators), is it possible to compute $n$ first bits of the value of the function on the whole interval $[a, b]$ ...
roignoirewg's user avatar
2 votes
1 answer
99 views

A question on Bloch functions

Let $\mathcal{B}(\Delta)$ be the space of Bloch functions in the unit disk $\Delta$. For any $f\in \mathcal{B}(\Delta)$, we define the Bloch norm by $$ \|f\|_{\mathcal{B}}=\sup_{|z|<1}|f'(z)|(1-|z|^...
yaoxiao's user avatar
  • 1,706
3 votes
1 answer
231 views

Prescribe the type of an entire function which inverse zeros are summable

According to Lindelöf's theorem, given points $z_i\in \mathbb C\setminus \{0\}$ ordered by increasing modulus with possible repetitions, we can define a function $$ f(z)=\prod_{n=1}^\infty (1-z/z_n)e^{...
kaleidoscop's user avatar
  • 1,352
1 vote
1 answer
190 views

Generalisation of Paley–Wiener type results for unbounded sets

Do you know an unbounded open set $A\subset \mathbb{R}^d$, $d\geq 2$ with the following property: if some integrable function $f$ on $\mathbb{R}^d$ has its Fourier transform vanishing on $A^c$ and all ...
kaleidoscop's user avatar
  • 1,352
3 votes
1 answer
111 views

When entire or meromorphic map of finite type restricts to a Galois covering?

Suppose that $f \colon \mathbb{C} \to \mathbb{C}$ is an entire map of finite type, i.e., with finitely many singular values. Then we can consider the restriction $f| \mathbb{C} \setminus f^{-1}(S_f) \...
A B's user avatar
  • 41
3 votes
1 answer
200 views

Complex analytic function $f$ on $\mathbb{C}^n$ vanish on real sphere must vanish on complex sphere

I'm considering a complex entire function $f$: $\mathbb{C}^n\to \mathbb{C}$. Suppose $f=0$ on $\{(x_1,\cdots,x_n)\in\mathbb{R}^n:\sum_{k=1}^n x_k^2=1\}$. I want to prove $$f=0\textit{ on } M_1=\{(z_1,\...
Holden Lyu's user avatar
3 votes
1 answer
136 views

Growth of preimages of singular values of finite type entire map

Let $f\colon \mathbb{C} \to \mathbb{C}$ be an entire map having precisely two distinct singular values $w^1$ and $w^2$. If $w^i$ has infinitely many preimages under $f$, we write $(z_n^i)_{n \in \...
A B's user avatar
  • 41
1 vote
1 answer
106 views

Characterizing the unimodular functions from the closed disk $\overline{\mathbb{D}}$ to $\mathbb{C}$ with constraints

Let $\mathbb{D}$ be the open disc. It is well known that if $f:\mathbb{D}\to\mathbb{C}$ is analytic, continuous on the boundary, and is unimodular (say with a finite number of zeros) then $f$ is a ...
GBA's user avatar
  • 167
7 votes
1 answer
503 views

Combinatorial consequences of de Branges's Theorem?

I'm usually not a proponent of the mentality “here is a tool, what results can we prove with it?” (as I prefer to start at the other end with a well-motivated problem), but this famously entertaining ...
Erik Lundberg's user avatar
3 votes
0 answers
75 views

Separate holomorphicity implies holomorphicity on analytic varieties

Suppose that $M$ and $N$ are two complex analytic varities and suppose that $f\colon M\times N \to \mathbb{C}$ is a map. Further assume that $f$ is such that for every $p\in M$ the map $f(p,\cdot)\...
Thomas Kurbach's user avatar
2 votes
0 answers
110 views

Real analytic periodic function whose critical points are fully denegerated

I have asked this question on MathStackExchange. My question: is there any non-constant real analytic function $f:\mathbb{R}^n\rightarrow\mathbb{R}$ such that, $$\nabla f(x_0)=0 \Rightarrow \nabla^2 f(...
Jianxing's user avatar
2 votes
1 answer
203 views

Existence of the special entire Hardy space function with infinitely many zeros in the strip

Question. Does there exist an entire function $h$ satisfying three following assertions: $h$ belongs to the $H^2$ Hardy space in every horizontal upper half-plane; $zh - 1$ belongs to $H^2(\mathbb{C}...
Pavel Gubkin's user avatar
0 votes
1 answer
200 views

A holomorphic function in the open unit disk satisfying certain properties

Does there exist a function which is holomorphic in $|z|<1,$ continuous in $|z|\leq1$ and such that the series $\sum |a_n|$ is divergent, where $a_n$'s coefficients in the Taylor series expansion ...
Nik's user avatar
  • 165
3 votes
0 answers
61 views

lower bound for zero multiplicity of function formed from determinant of functions

I have a family of single-variable analytic functions, $D(z)$, formed as follows. Let $L$, $n$ and $T_{0}$ be positive integers, $\varphi_{1},\ldots, \varphi_{L}$ be analytic functions in ${\mathbb C}$...
user497832's user avatar
4 votes
2 answers
566 views

How to compute $\sin(\frac{d}{dx})f(x)$?

Assuming $f(x)=e^{-x^2}$ for $x$ in $[-10,10]$, I have tried the following: Fourier transform $\mathcal{F}$: $\frac{d}{dx}$ can be diagonalized as $\mathcal{F}^{-1} i\omega \mathcal{F}$. Therefore, $\...
Mirar's user avatar
  • 350
2 votes
1 answer
262 views

On a lemma of Łojasiewicz in complex analysis of one variable

Context. The question arises from my former question on the remainder of a power series. Precisely, I was trying to understand if the boundary behavior of power series considered by Ricci in his paper ...
Daniele Tampieri's user avatar
4 votes
1 answer
150 views

Quantitative analytic continuation estimate for functions small except on a small set

This question arises as a variation of this question, which was helpfully answered in the negative. It turns out that for my application, a substantially weaker conjecture suffices, which fails to be ...
Keefer Rowan's user avatar
3 votes
3 answers
427 views

Quantitative analytic continuation estimate for a function small on a set of positive measure

The following conjecture about analytic functions arose as a way to show the asymptotic growth for certain PDE solutions. As I am unfamiliar with any results of this type, I thought I'd ask here. In ...
Keefer Rowan's user avatar
2 votes
0 answers
129 views

Existence of analytic function in disk algebra [closed]

Does there exist an analytic function $f\in A(\mathbb{D})$, where $A(\mathbb{D})$ is the disk algebra, such that $f(0)=0$ and the real part of $f(z)$ is strictly positive?
Sherlok's user avatar
  • 149
0 votes
1 answer
122 views

Existence of an eigenpair for d-bar operator in the unit disck

Let $\overline{\partial}=\frac{1}{2}(\partial_{x}+\textrm{i} \,\partial_y)$ and let $D$ be the unit disc in the complex plane. For each $\lambda \in \mathbb C$, consider the problem: $$ \overline{\...
Ali's user avatar
  • 4,115
12 votes
2 answers
489 views

Behavior of $|f'(z)|/(1+|f(z)|^2)$ as $|z| \rightarrow \infty$?

Let $f(z)$ be an entire holomorphic function in $\mathbb{C}$, and consider the real-valued function $$g_f(z)=\frac{|f'(z)|}{1+|f(z)|^2}.$$ If $f(z)$ is a polynomial, then it is easy to prove that $\...
student's user avatar
  • 1,350
0 votes
1 answer
103 views

Measure of preimage of Jordan disk under entire map

Let $f\colon\mathbb{C} \to \mathbb{C}$ be an entire map. For simplicity assume that $f$ is of finite type, i.e., it has finite set $S(f)$ of singular values. $S(f) \subset \mathbb{C}$ is a minimal (...
A B's user avatar
  • 41
10 votes
1 answer
349 views

On a variant of Carlson’s theorem

My question is on whether or not there exists some monotone strictly decreasing sequence of positive numbers $c_1>c_2>\ldots$ such that given any $f$ which is a uniformly bounded holomorphic ...
Ali's user avatar
  • 4,115
8 votes
2 answers
495 views

Literature on non-Archimedean analogues of basic complex analysis results

It looks like there is some literature out there on what might be called 'non-Archimedean complex analysis' e.g. Benedetto - An Ahlfors Islands Theorem for non-archimedean meromorphic functions and ...
Very Forgetful Functor's user avatar
11 votes
1 answer
582 views

An extension of the Carlson's theorem in complex analysis

For the statement of Carlson's theorem please see, https://en.wikipedia.org/wiki/Carlson%27s_theorem. There is an extension of Carlson's theorem that says that the condition that $f$ needs to vanish ...
Ali's user avatar
  • 4,115
4 votes
1 answer
636 views

Existence of a smooth compactly supported function

Let $U$ be a bounded domain in $\mathbb R^n$. Does there exist a smooth function $f$ with compact support in $U$ such that: $$ \| f\|_{W^{k,\infty}(U)} \leq (k!)^{2-\epsilon},$$ for some $\epsilon>...
Ali's user avatar
  • 4,115
6 votes
1 answer
570 views

Does it follow that $F^{(1)}(z)=F^{(2)}(z)$ for all $z \in \mathbb H$?

Let $\mathbb H= \{z \in \mathbb C\,:\, \textrm{Re}\,(z)\geq 0\}$ and for $j=1,2$ suppose that $F^{(j)}:\mathbb H\to \mathbb H$ is defined via $$ F^{(j)}(z) = \sum_{k=1}^{\infty} \frac{a_k^{(j)}}{z+\...
Ali's user avatar
  • 4,115
1 vote
0 answers
112 views

A problem related to analytic function

Let, $z,w\in \mathbb{C}$. Let, $f(z)$ be an analytic function in $|z|<1$. Define, $f(z)= g(w)$ where $g(w)$ is analytic function in $\Re(w)>1/2$ and $w=\frac{1}{1+z^2}$ . Question Prove that $$\...
user avatar
2 votes
0 answers
119 views

An analytic function, asymptotically expandable in a Dirichlet series, is the sum of this series

Let there be a function $F(s)$ that is analytic in some half-plane $\sigma>\sigma_0$ (where $s=\sigma + it $). Let the function $F(s)$ have an asymptotic expansion of the form $F(s)\sim\sum\limits_{...
Anton Devyatkov's user avatar
1 vote
2 answers
416 views

Global theory of holomorphic functions [closed]

I am trying to develop a theory explaining analytic continuation of a holomorphic function $f(z)$ defined on an open set $D \subset \mathbb{C}$. Recently, I was looking at the last chapter of Lars ...
Mustafa Said's user avatar
  • 3,699
1 vote
0 answers
195 views

Is a mixture of real analytic functions again analytic?

Let $$h : \mathbb{R}^2 \to \mathbb{R}^+.$$ Suppose that for each $x$, $h(x, y)$ is a real analytic function of $y$. Let $\mu(dx)$ be a finite measure on $\mathbb{R}$, and for each $y$, suppose that $$...
bm76's user avatar
  • 103
3 votes
1 answer
253 views

Looking for a sequence of analytic functions with strange behaviour

Let $K_1 \subsetneq K_2$ be two non-empty compact sets and let $D = (d_n)_{n \in \mathbb{N}}$ be a dense sequence on $K_2\smallsetminus K_1.$ Consider $f_n : \mathbb{C}\smallsetminus K_1 \rightarrow \...
javi1996's user avatar
  • 355
1 vote
0 answers
84 views

A Riemann Hilbert problem on the unit square

Let $p_0=0$, $p_1=1$, $p_2=1+i$ and $p_3=i$ be the four vertices of a square $Q$ on the complex plane $\mathbb C$. Let $f \in C^{\infty}_c((0,1))$ and consider the following Riemann-Hilbert problem on ...
Ali's user avatar
  • 4,115
-3 votes
1 answer
208 views

Conformal map from a 7-sided polyhedron to a square pyramid

I have a right-angled square pyramid, $A$, whose height and base-length are $l$. By 'right-angled', I mean that the apex of $A$ lies vertically above one of the vertices in its base. Now supposed I ...
niran90's user avatar
  • 167
1 vote
0 answers
80 views

Analytic continuation of function of two complex variables

Consider $f(z_1, z_2)$ a function of two complex variables, symmetric in its arguments $z_1$ and $z_2$. Consider the regions: \begin{eqnarray} \mathcal{R}_1= \{ (z_1, z_2) \in \mathbb{C}^2: Re(z_1)>...
LeastSquare's user avatar
3 votes
1 answer
425 views

Possible condition for a many variable holomorphic map to be locally surjective

Suppose $a \in \mathbb C^n$, $U$ is a neighbourhood of $a$, and $f: U \to \mathbb C^n$ is analytic. Let $b = f(a)$ and suppose also that $f^{-1}(b) = \{a\}$. Must the image of $f$ contain a ...
Jonathan Kirby's user avatar
2 votes
1 answer
1k views

Essential singularity [closed]

In shaum's outline complex analysis,definition of essential point is: An isolated singularity that is not pole or removable singularity is called essential singularity Now in the same book there is an ...
IBRAHIM ISLAM's user avatar
7 votes
0 answers
461 views

On a paper of Alain Connes entitled 'Around Wilson's Theorem '

A relatively recent paper Alain Connes - Around Wilson's theorem introduced the function $$ S(n,x ) = \sum_{i=1}^n \sin^2\Bigl(\frac{(i-1)! x}{i}\Bigr). $$ In the same paper, he proved that the ...
user avatar
6 votes
0 answers
288 views

Complex factorization of the angular part of the Laplacian

Some time ago some research led me to the following equality: \begin{equation} \frac{1}{\sin^2 \phi }\frac{\partial^2 }{\partial \theta^2} +\frac{\partial^2 }{\partial \phi^2} +\cot \phi \frac{\...
Daniel Alayón-Solarz's user avatar
3 votes
3 answers
1k views

Steepest descent integration in several dimensions

The method of steepest descent provides an asymptotic approximation for integrals of the form: $$I = \int_C \exp(M f(z))\mathrm dz$$ for large positive $M$, where $f(z)$ is analytic in the region of ...
valle's user avatar
  • 884
4 votes
1 answer
269 views

An inequality of T. Carleman

I'm looking for the name and some references for the proof of the inequality below. I founded that is due to T. Carleman but no reference was given. Let $f(z)$ be an analytic function on a subdomain $...
S. Maths's user avatar
  • 571
11 votes
1 answer
1k views

Dual of the space of all bounded holomorphic functions

Let $\mathbb{B}$ be the open unit ball in $\mathbb{C}^n, n\geq 1$ and let $H^\infty (\mathbb{B})$ be the space of all bounded holomorphic functions on $\mathbb{B}$. It is well known that $H^\infty (\...
Anindya Biswas's user avatar
0 votes
0 answers
243 views

Sequence of analytic functions

Let $f_k$ be a sequence of rational functions analytic in the discs $\{ |z| < 1 + \epsilon_k\}$ (with some $\epsilon_k > 0$), which converge to an analytic function $f$ in every point $|z| < ...
Johann Franke's user avatar
8 votes
1 answer
386 views

Uniqueness theorem for conformal mapping

Let $f$ and $g$ be analytic functions in the unit disk $D$, continuous in the closed disk and locally univalent, $f'(z)\neq 0,\; g'(z)\neq 0,\; z\in D$. Assume that each has only finitely many ...
Alexandre Eremenko's user avatar
2 votes
1 answer
274 views

Generalisation of Chebyshev series to arbitrary sets

A Lipschitz continuous function $f : [-1,1] \to \mathbb{C}$ has a unique representation as a series in terms of the Chebyshev polynomials $T_k$, $$ f(x) = \sum_{k = 0}^\infty a_k \, T_k(x) \qquad \...
gTcV's user avatar
  • 243
2 votes
2 answers
206 views

Zeroes of trigonometric-like function

Consider a function $f(z)=\cos(z)\cosh(az)+\sin(z)\sinh(bz)$ for $z\in \mathbb{C}, a,b \in \mathbb{R}$. Denote $D\subseteq \mathbb{R}^2$ being the set of such pairs $(a,b)$ of parameters so that NOT ...
Sergei's user avatar
  • 1,550
2 votes
1 answer
186 views

Modulus of Continuity for an Analytic Function on an Ellipse

Given $f\in C^{\infty} (E)$, where $E\subseteq \mathbb{C}$, define $E_{\rho} \subseteq \mathbb{C}$ as the maximal ellipse with foci at $\{-1,1\}$ where $f$ is analytic, and semi-minor + semi-major ...
Amir Sagiv's user avatar
  • 3,574
3 votes
1 answer
2k views

Extensions of Real Analytic to Holomorphic Functions in One & Several Variables: References?

A problem I'm working on requires the application of Cauchy's estimate for the modulus of the coefficients of a holomorphic function's power series representation, but the original functions with ...
NeverConvex's user avatar
1 vote
1 answer
181 views

Interesting property of analytic functions

Let $f:(t_0-\varepsilon, t_0+\varepsilon)\to\mathbb{C}$, be an analytic application, such that: $f(t)=0\Longleftrightarrow\ t=t_0$. Is it true that there is an analytic function $g:(t_0-\varepsilon, ...
Bogdan's user avatar
  • 1,759