All Questions
Tagged with cv.complex-variables real-analysis
267 questions
5
votes
1
answer
229
views
An inequality for polynomials
I have been thinking about the validity of the following inequality: if $P(z)=\sum_{k=0}^na_kz^k, a_n\neq 0$ and $P(z)$ is non-zero in $|z|<1, $ then for $\theta \in [0, 2\pi],$ and $p>0$
\...
- 559
1
vote
1
answer
344
views
Where or what is the general formula for the $n$th derivative of the power-exponential function $x^x$?
It is well-known that the power-exponential function $x^x$ and its first few derivatives are often taught in calculus.
Does the general formula for the $n$th derivative of the power-exponential ...
- 1,091
10
votes
2
answers
597
views
How to determine the asymptotics of $\sum_{n=0}^{\infty} e^{-\frac{2^n}{x}}$
I'm generally interested in being able to find an asymptotic expansion of
$$ \sum_{n=0}^{\infty} \left[ e^{- \frac{f(n)}{x}} \right] $$
As $x \rightarrow \infty$ and $f(n)$ is a smooth monotonically ...
- 2,679
5
votes
1
answer
353
views
Family of functions with prescribed derivatives
Suppose $f: \mathbb C \times (-1,1) \to \mathbb C$ is a smooth function that satisfies $f(0,t)=1$ for all $t\in (-1,1)$. Assume that for any $k\in \mathbb N$, any $z \in \mathbb C$ and any $t \in (-1,...
- 4,115
2
votes
1
answer
143
views
Roots of rational function
Sorry, I asked a similar question yesterday which contained a mistake in the question posed, here is the real question.
Let $(x_n)_{n=1}^N$ be a sequence taking values in $[1,2]$ with the property ...
- 73
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 ...
- 324
3
votes
1
answer
167
views
Entire function with almost periodic boundary condition?
Let $v_1 =\lambda_1 \zeta_1$ and $v_2 = \lambda_2 \zeta_2$ with $\zeta_1 = \frac{4\pi i\omega}{3}$ and $\zeta_2 = \frac{4\pi i\omega^2}{3}$ where $\omega = e^{2\pi i/3}$ is the third root of unity and ...
- 73
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 ...
- 324
3
votes
1
answer
268
views
Bounds on zeros of rational function
Let $(x_n)_{n=1}^N$ be a sequence taking values in $[1,2]$ with the property that
$x_1<x_2<...<x_N$ and $$\frac1N \gtrsim \vert x_j-x_{j-1} \vert \gtrsim \frac1N.$$
We then define a function
$...
- 73
1
vote
1
answer
210
views
On a property of complex exponentials
Does there exist a simple smooth closed curve $\gamma:S^1\to \mathbb C$ such that
$$ \int_{0}^{2\pi} e^{\gamma(e^{it})} \, |\gamma'(e^{it} )|\,dt =0?$$
- 4,115
8
votes
1
answer
461
views
On critical points of harmonic functions
Let $u \in C^{\infty}(\mathbb R^3)$ be harmonic. Suppose that $u$ has no critical points outside the unit ball but that it has at least one critical point inside the unit ball.
Does it follow that $u$ ...
- 4,115
0
votes
1
answer
66
views
Vector recurrences (asymptotic property)
Fix $m\in \mathbb{N}.$
For each $n\in \mathbb{N},$ let $A_n\in \mathbb{M}_{m}(\mathbb{C}),$ $X_n\in \mathbb{C}^m,$ and $B_n\in \mathbb{C}^m.$ Suppose that
$$X_{n+1}=A_n X_n+B_n,$$
$$\lim_{n\rightarrow ...
- 3
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{...
- 501
0
votes
0
answers
120
views
How to prove an equality involving Laguerre polynomials
Assume $\mu<0$. Let $L^\alpha_n(x)$ be Laguerre polynomials of type $n$ and $f\in L^2(\Bbb C)$.
How to prove that $$\sum^\infty_{k=0}\int_{\Bbb C} f(z)\frac{1}{2(2k+1)-\mu}L^0_k(\lvert z\rvert^2)...
- 501
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,115
0
votes
1
answer
129
views
Seeking an integral formulation for an algebraic function
While working with a generating function for the Catalan numbers, I came across the integral representation
$$\frac1{1+\sqrt{1-4x}}=\frac1{2\pi}\int_0^{\infty}\frac{\sqrt{t}}{(t+\frac14)(t-x+\frac14)}\...
- 43.1k
3
votes
1
answer
424
views
Regularity of boundary of a level set of a $C^{1,\alpha}$ function
Let $f:\mathbb{R}^2\to\mathbb{R}$ be a $C^{1,\alpha}$ function. Denote $S_C=\{x\in\mathbb{R}^2\mid f(x)=C \}$ the level set of $f$ with value $C$.
What i want to ask is, if $S_C$ is nonempty for some $...
- 379
1
vote
2
answers
113
views
$\log(t)$ term in the small time expansion of $\mathrm{Tr}( A e^{-tB} )$
Assume $A$ is an operator on a Hilbert space with discrete spectrum. Assume $B$ is a positive operator on the same Hilbert space also with a discrete spectrum. Also assume $A$ and $B$ commute.
I'm ...
- 1,150
6
votes
2
answers
336
views
On frequency decay of an integral transform of a function
Suppose $f \in C^{\infty}_c((-1,1))$ and assume that there exists constants $a,b>0$ such that
$$
\bigg|\int_{\mathbb R} f(t) \,e^{\tau t^2+i\tau t}\,dt\bigg| \leq a\,e^{-b|\tau|},$$
for all $\tau \...
- 4,115
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{\...
- 4,115
1
vote
0
answers
144
views
Zeroes of Mellin transform
There exist a "standard" or canonical way to construct a real valued function whose Mellin transform has a prescribed set of zeroes? Clearly for some set of zeroes this could be impossible ...
- 131
1
vote
1
answer
465
views
Zeros of entire functions
Let $f_w:\mathbb C \to \mathbb C$ be an entire function such that $(0,1) \ni w \mapsto f_w$ is real-analytic.
Assuming that there is a dense subset $D \subset (0,1)$ such that for $w \in D$ the ...
- 192
7
votes
1
answer
268
views
A differential equation governing compositional inversion
Looking for references for the following theorem.
Given the formal Taylor series/exponential generating function
$$T(z) = \sum_{n \ge 1} a_n \; \frac{z^n}{n!},$$
for which the indeterminates $a_n$ and ...
- 10.5k
0
votes
1
answer
137
views
Zeros of entire functions with parameter
Let $f_w:\mathbb C \to \mathbb C$ be an entire function with $f_w(0)=1$ and at least one root for any choice of $w \in (0,1)$. Assume further that for a dense set of $w$ the function $f_w$ has ...
- 192
0
votes
1
answer
166
views
Construction of holomorphic function
I was trying to construct a holomorphic function $f$ on $\mathbb{C}$ such that
$|f|^2(z)=e^{(|z|^2-\frac{1}{2})^2}$.
I will be happy if someone can give me an idea how to do that. I would like also ...
- 35
2
votes
1
answer
145
views
Estimate for an oscillatory integral of the first kind
I am confused in finding the right bound for the following oscillatory integral
$$I = \int_\mathbb{R} (\psi(2^{-k} \xi))^2 e^{i (y \xi - 3 \eta \xi^2 t)} d\xi.$$
Where $\psi(2^{-k} \xi)$ is a smooth ...
- 159
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 ...
- 4,115
1
vote
0
answers
134
views
Number of solutions to a diophantine equation
Given a positive integer $n$, consider the diophantine equation $4x^2+y^2+4x+y=2n$ with solutions in non-negative integers $x$ and $y$.
Define the proportion
$$\delta_n=\frac{\#\{(x,y)\in\mathbb{Z}^2_{...
- 43.1k
1
vote
1
answer
163
views
Upper bound on double series
We consider the sum
$$ \sum_{m \in \mathbb Z^2} \frac{1}{(3 m_1^2+3m_2^2+3(m_1+m_1m_2+m_2)+1)^2}. $$
Numerically, it is not particularly hard to see that the value of this series is well below $4$, ...
- 73
2
votes
1
answer
271
views
Dimension of intersection of real analytic sets
Suppose that $A,B$ are real analytic subsets of $\Omega\subseteq \mathbb{R}^n$ and $p\in A\cap B \neq \emptyset$. Does the intersection inequality from complex analysis still hold, i.e. does the ...
- 513
3
votes
0
answers
185
views
Differentiable functions on $\mathbb{R}^n$ whose derivative is everywhere a scalar multiple of a special orthogonal matrix
The Cauchy–Riemann equations say that if $u : \mathbb{C} \rightarrow \mathbb{C}$ is holomorphic then, regarded as a linear transformation of $\mathbb{R}^2$, its derivative is either zero or, up to a ...
- 11.2k
0
votes
0
answers
112
views
How to prove or disprove $ |r'(a)| \leq c_1 \sup_{x \in [a-1/2,a+1/2]} |r(x)|$?
Let $ A = \begin{bmatrix}
a & 1 \\ 0 & a
\end{bmatrix}$ be a Jordan matrix with $ -1 < a < 1 $.
Let $r(z) = \frac{p(z)}{q(z)}$ be an irreducible rational function, where $p(...
- 101
5
votes
0
answers
650
views
Nature of function as $x\rightarrow\infty$
I'm studying the limits and applicability of Abel Plana summation for different test functions (class of functions). In doing so this just pops out and couldn't handle the said integral so asked here (...
- 774
4
votes
1
answer
183
views
Maximal increasing behaviour of $\sqrt{-\log x}\operatorname{Li}_{1/2}(x)$
This is an extension of a problem in mathematical biology. It appears that
For any $\varepsilon>0$, there exists an interval $I\subset(0,1)$ on which $\sqrt{-\log x}^{1+\varepsilon}\operatorname{...
- 1,459
3
votes
1
answer
137
views
Estimate the homogeneous components of a polynomial against its maximum
Let $P\equiv P(x) := \sum_{|\alpha|\leq m} c_\alpha\cdot x^\alpha$ be a real polynomial in $d$ variables of (total) degree $m$, where $d, m \in\mathbb{N}$ are fixed.
(I.e., the above sum ranges over ...
- 463
8
votes
1
answer
638
views
Rate of decrease of the Fourier transform of standard mollifiers
What is the the rate of decrease of $|\widehat{f_p}(t)|$ (as $t\to\infty$), where $p\in(0,\infty)$,
$$\widehat{f_p}(t):=\int_{\mathbb R} e^{itx}f_p(x)\,dx,$$
and
$$f_p(x):=e^{-1/(1-x^2/p)^p}1(|x|<\...
- 128k
1
vote
2
answers
588
views
Inequality between coefficients of a polynomial and its supremum
For $d, m \in\mathbb{N}$ fixed, let $P\equiv P(x) := \sum_{|\alpha|\leq m} c_\alpha\cdot x^\alpha$ be a real polynomial in $d$ variables of (total) degree $m$. (That is, the above sum ranges over all ...
- 463
7
votes
1
answer
166
views
Asymptotics of truncated logarithm on a cricle
Consider $f_n(x) = \min_{|z|=x} \Re \sum_{j=1}^{n} \frac{z^j}{j}$, a real function of positive variable $x>0$.
I am interested in lower bounds on $f_n(x)$. Specifically, I ask: what lower bounds ...
- 14.6k
5
votes
1
answer
674
views
Is this infinite product entire?
Let $(z_i)$ be a square-summable sequence which is even summable but not absolute summable, i.e. $\sum_{i=1}^{\infty} \vert z_i \vert = \infty$,$\sum_{i=1}^{\infty} \vert z_i \vert^2 < \infty$ and $...
- 73
4
votes
1
answer
317
views
Taylor coefficients of Hadamard product
I imagine this to be a very classical question in complex analysis:
Consider the Hadamard product
$$g(\mu) = \prod_{n=1}^{\infty}E_1(\mu z_n),$$
where $E_1(z):=(1-z)e^z$ is the first elementary ...
- 73
8
votes
1
answer
374
views
Is there a real-analytic way to derive the asymptotics of $\int_{-\infty}^\infty e^{ikx} e^{-k^4}\,dk$ as $|x|\to\infty$?
In The Fourier Transform of the quartic Gaussian $\exp(-Ax^4)$: Hypergeometric functions, power series, steepest descent asymptotics and hyperasymptotics and extensions to $\exp(-Ax^{2n})$, Boyd ...
- 840
1
vote
0
answers
38
views
Solving an equation containing Laplace transform
Consider the equation
\begin{equation}
\frac{f(p)}{f(s_{1})}\mathcal{L}(y)(s_{1})+\frac{g(p)}{g(s_{2})}\mathcal{L}%
(y)(s_{2})=\mathcal{L(}y)\mathbf{(}p),
\end{equation}
where $\mathcal{L}$ is the ...
- 47
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 ...
- 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>...
- 4,115
0
votes
0
answers
145
views
Harmonic measure of a punctured disc
Let $D$ be a disc in $\mathbb{C}\cong\mathbb{R}^2 $ and $z_0$ a fixed point of $D$. Is the harmonic measure for $V=D\setminus\{z_0\}$ known? Any reference would also be welcome.
- 411
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+\...
- 4,115
2
votes
1
answer
183
views
A question on subharmonic functions on the unit disc
I have the following question:
Let $u$ be a smooth subharmonic function on the unit disc $\mathbb{D}:=\left\{ z\in\mathbb{C}:\left|z\right|<1\right\} $.
Assume that $u=0$ on the boundary of $\...
- 23
6
votes
1
answer
275
views
How to solve the following ODE with a parameter?
I am considering the following ODE
\begin{equation}
\begin{split}
&\frac{d^2}{dy^2}u + \frac{\alpha}{(1+y^2)^{\frac{r}{2}}}u = \delta(y)\\
&\lim_{|y|\to \infty}u(y) = 0.
\end{split}
\end{...
- 903
1
vote
1
answer
133
views
A subharmonic function with a growth property
Let $B=\left\{ \left(x,y\right)\in\mathbb{R}^{2}:x^{2}+y^{2}<1\right\} $
be the unit ball in $\mathbb{R}^{2}.$
Can we construct a subharmonic
function $f:B\rightarrow\left[-\infty,0\right]$ such ...
3
votes
2
answers
287
views
An inequality for an integral transform of a function
Let
$$J_{f;y}(u):=3 u^3 \int_u^1\frac{dt}{t^4} \,e^{-i y t}f(t)- e^{-i u y}f(u),$$
where $y\in(0,\infty)$, $u\in(0,1)$, and
$$f(t):=t+\pi (1-t) t \cot (\pi t).$$
Here are the graphs of $f$ (black), ...
- 128k