All Questions
Tagged with cv.complex-variables real-analysis
267 questions
2
votes
0
answers
70
views
The $n$-th derivative for $z$ at $z = 0$ of $F(a,b)(z)$ is no less than that of $F(\frac{a+b}{2},\frac{a+b}{2})(z)$ [closed]
The proposition the OP wants to prove is incorrect. --Aug 8, 2017
Can we find a elegant way to prove that the $n$-th derivative for $z$ at $z = 0$ of $F(a,b)(z)$ is no less than that of $F(\frac{a+...
- 1,551
4
votes
1
answer
223
views
Asymptotics for 'generalized" Kasteleyn's formula
A follow up on an earlier MO question.
Kasteleyn's formula for the number of domino tilings of a $2n\times 2n$ square
$\prod_{j=1}^n\prod_{k=1}^n \left( 4\cos^2(\pi j/(2n+1))+4\cos^2(\pi k/(2n+1))\...
- 43.1k
13
votes
2
answers
539
views
$f$ real-rooted forbid truncated $\frac1f$ to be so?
Let $f(x)$ be a polynomial in the ring $\mathbb{R}[x]$, the roots are all real and $f(0)=1$. Write the Taylor series of $1/f(x)$ around the origin as
$$\frac1{f(x)}=\sum_{k=0}^{\infty}a_kx^k,$$
and ...
- 43.1k
2
votes
1
answer
361
views
more on "sinc-ing" integrals and sums
This is a follow up on the MO question here. I kept being fascinated and bemused by these functions.
Denote $\text{sinc}(x)=\frac{\sin x}x$. Experiments suggest that
$$\sum_{n=1}^{\infty}\text{sinc}^...
- 43.1k
2
votes
1
answer
763
views
What about the other $f$ such that $f(f(x)) = \sin(x)$?
This question is inspired by the big MO question here; and also inspired by the big MO question here. The premise of this question requires a backdrop on fractional iteration; so I'll start slow.
...
user78249
10
votes
2
answers
886
views
An attempt to generalize the previous inequality
In my previous MO question, the inequality was about a specific series and nicely answered by Cherng-tiao Perng. After testing with a few more numerical infinite sums, I came to realize that perhaps ...
- 43.1k
4
votes
1
answer
1k
views
seeking proofs: infinite series inequalities
Question. Numerically, the following is convincing. However, is there a proof?
$$\left(\sum_{k\geq1}\frac1{\sqrt{2^k+3^k}}\right)^4
<\pi^2\left(\sum_{k\geq1}\frac1{2^k+3^k}\right)\left(\sum_{k\...
- 43.1k
0
votes
1
answer
150
views
Solutions to Schrödinger equation parameter dependence
This is somewhat unrelated to what I normally do in mathematics, which is why it may be obvious to some of you, but I was puzzled by this:
If we look for classical solutions on $[0,1]$ to
$$-y''(x) =...
- 305
28
votes
0
answers
1k
views
Number of real roots of a polynomial
Let $P\in \mathbb{R}[x]$ be a polynomial such that $(P, P') = 1$. Suppose that we want to calculate the number of real roots of $P$ in the interval $[a, b]$ (to simplify, let us assume that $P(a), P(b)...
- 6,466
13
votes
2
answers
1k
views
Is the exponential function the sole solution to these equations?
Let us take the exponential function $\lambda^z$ where $0 < \lambda < 1$. There are many great uniqueness conditions this holomorphic function satisfies. For example, it is the only function ...
user78249
6
votes
4
answers
780
views
roots of higher derivatives of exponential
Consider the Gaussian function $f(z)=e^{-z^2}$ which has no zeros on the complex domain. Let $D$ denote derivative w.r.t. the variable $z$.
Question. Is it true that $D^nf(z)=0$ has only real roots ...
- 43.1k
3
votes
1
answer
167
views
Recovering residue using local real information
Let $f(z)$ be defined by a Laurent series at z = 0 with real coefficients. In particular, $f(x) \in \mathbb{R}$ for $x \in \mathbb R$.
Compute the residue of $f(z)$ at z = 0 using just the ...
- 31
27
votes
3
answers
2k
views
Kasteleyn's formula for domino tilings generalized?
It seems a marvel when a bunch of irrational numbers "conspire" to become rational, even better an integer. An elementary example is $\prod_{j=1}^n4\cos^2\left(\pi j/(2n+1)\right)=1$.
Kasteleyn's ...
- 43.1k
2
votes
0
answers
100
views
Roots of a partially holomorphic function
Let $\Omega$ be an open subset of $\mathbb R^d$, let $U$ be an open subset of $\mathbb C$ and let $f:\Omega\times U\rightarrow\mathbb C$ be a $C^\infty$ function which is holomorphic with respect to $\...
- 16.2k
1
vote
0
answers
128
views
determine when $e^{ikx}$ can be boundary value of a holomorphic function
Assume that $\Gamma=\{x+if(x): x\in \mathbb{R}\}$ is a graph, separating $\mathbb{C}$ into two connected components. Let's denote the one below $\Gamma$ by $\Omega$.
My question is, for what curves $...
- 31
5
votes
1
answer
777
views
Do real analytic functions on $\mathbb{C}\mathbb{P}^n$ form a Noetherian ring?
Question: Is the ring of real-analytic functions on $\mathbb{C}\mathbb{P}^n$ (real valued)
a Noetherian ring?
References or counterexamples are welcome.
I know that the ring of germs of holomorphic ...
- 589
1
vote
1
answer
186
views
A problem involving power series
We define an entire function on $\mathbb{C}^m$ by
$$
f(z_1,\cdots,z_m)=\sum_{n=0}^{\infty}\frac{(-1)^n}{(2n)!}t^{2n}(z_1^2+\cdots+z_m^2)^n,
$$
here $t$ is some (positive) real number. Of course, $f(x)=...
- 1,906
3
votes
0
answers
846
views
Does a bounded convex domain has one smooth boundary point?
In the study of analysis and geometry of a bounded domain, its boundary regularity is important. For example, it is known that a bounded convex domain has Lipschitz bounday. This implies that a ...
- 285
4
votes
1
answer
370
views
Convergence of a series
Let $F(z)=\displaystyle \sum_{k=0}^\infty a_kz^k,\;|z|<R $ and $F(R)=\displaystyle \sum_{k=0}^\infty a_kR^k$ (the series converges).
Assume that $F(\alpha_j)=0,\;j=1,2,\dots ,m$, where all $|\...
- 783
4
votes
2
answers
243
views
Summability of iterates of analytic function
This question, although appearing deceptively easy, has resisted many attacks against it. The question, being simple to state, is something rather non-trivial that is rather crucial towards more ...
user78249
4
votes
1
answer
132
views
Integral Expression in Complex Dynamics
Let $\phi\in \mathbb{C}(z)$ be a degree $d\geq 2$ rational map, which we can write as $\phi = \frac{f}{g}$ for $f,g\in \mathbb{C}[z]$. Let $\omega_{FS}$ denote the Fubini-Study form on $\mathbb{P}^1(\...
- 41
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{\...
- 135
4
votes
1
answer
347
views
Two similar integrals
Let $n$ be a given even positive integer. We have the following integral
\begin{align}
\int_0^{\infty}\cdots\int_0^{\infty}e^{-(x_1+\cdots+x_n+y_1+\cdots+y_n)}\prod\limits_{i=1}^n\prod\limits_{j=1}^n(...
- 1,997
-6
votes
1
answer
614
views
Proof of formula for $\pi$ [closed]
The number $\pi$ can be expressed as $\pi=\lim_{n\to\infty} \frac{n\sqrt[n]{-1}-n}{\sqrt{-1}}$ or more poetically $\pi=\frac{\infty\sqrt[\infty]{-1}-\infty}{\sqrt{-1}}$. Here we choose the principal ...
- 16.6k
0
votes
1
answer
535
views
a sum of ratios of quadratic forms
I have the following function that I would like to optimize over the value A
$$f(A)=\sum_k \frac{\mathbf{y}_k^H\left[\begin{array}{cc} 1&0\\ 0& A \end{array} \right]\mathbf{x}_k\mathbf{x}_k^H\...
- 61
1
vote
0
answers
90
views
Expansion of a power series as integral of cosine functions
Suppose $$f(x)=\sum_{k=0}^\infty (-1)^k x^{2k} \int_0^1 p(\xi_{2k})\int_0^{\xi_{2k}}q(\xi_{2k-1})\cdots\int_0^{\xi_3}p(\xi_2)\int_0^{\xi_2}q(\xi_1) d\xi_1 \;d\xi_2\cdots d\xi_{2k-1}\;d\xi_{2k},$$
...
- 587
7
votes
3
answers
385
views
On what kind of condition of a compact set $K$ in the plane, $C(K)$ has a generator?
Let $K\subset \Bbb{C}$ be a compact subset of the complex plane, and let $C(K)$ be the space of all complex continuous functions on $K$.
We say that $f\in C(K)$ is a generator of $C(K)$ when the set $...
- 185
4
votes
2
answers
220
views
existence of a special conformal mapping
Sorry I don't know how to give an appropriate title.
In the complex plane, suppose there is a graph $x+if(x)$ separating the plane into two unbounded components, where $f(x)$ is smooth and bounded, ...
- 41
1
vote
0
answers
308
views
Inverse Laplace transform of a non-negative function
Consider an entire function $f$, which is real for real arguments and satisfies $f(s)\geq 0$ for all $s\in\mathbb{R}$. Furthermore, assume this function is a Laplace transform,
$$
f(s)=\int_0^\infty e^...
- 1,488
6
votes
1
answer
409
views
Can the potential of a complete Kahler metric be bounded?
Let $X$ be a complex manifold and $\omega$ a Kahler form on $X$. A smooth function $\rho$ is called a potential of $\omega$ if $i\partial\bar\partial\rho=\omega$. By intuition, it seems that $\rho$ ...
- 285
2
votes
2
answers
411
views
Asymptotics of the derivatives of analytic functions
Are there sources that treat questions like the following ones?
Suppose that $f\colon\mathbb{C}\to\mathbb{C}$ is an entire function such that $f(x)$ is real for all real $x$ and $f(x)\sim1/x$ as $x\...
- 128k
4
votes
0
answers
714
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
0
votes
0
answers
116
views
Dimension of the set of the polynomial growth harmonic function on the hyperbolic plane
We consider the hyperbolic plane and the harmonic function there. Pick any point $p$. Let $H_n, n \in\mathbb N$ be the set of the harmonic functions $f$ such that $|f(x)|\leq c(1+ d(x,p))^n$.
What is ...
- 5,043
0
votes
1
answer
729
views
Reproducing Kernel of a RKHS of continuous functions may not be continuous in two variables together
Let $\mathcal{K}$ be a Hilbert Space of continuous functions on some topological space, where point evaluations are continuous linear functional on $\mathcal{K}$.
That is $\mathcal{K}$ is RKHS, ...
- 3
0
votes
1
answer
152
views
When can two Cauchy transforms intersect?
Given two polynomials $p$ and $q$ over reals and being guaranteed that both have all roots real I want to know if there is any characterization of the solutions of the equation $\frac{p'}{p} = \frac{q'...
- 1,893
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, ...
- 1,759
-1
votes
1
answer
2k
views
Real and imaginary part of an holomorphic function
I guess this could be a very elementary question. Anyway I can not find an answer in literature.
Let $f:U\rightarrow\mathbb{C}$ be an holomorphic function on an upen subset $U\subseteq\mathbb{C}$. ...
user61586
4
votes
0
answers
684
views
A difficult integral which the Risch algorithm shows is not elementary
For reasons which aren't conceptually related to the problem a few of my colleagues and I are in need of finding an expression for the following integral in terms of $a$ and $\delta$:
$$\int_{\delta}^...
- 1,431
2
votes
0
answers
173
views
Does this symmetrization operator have a name? Any theory?
Consider a function $f(x_1,\ldots,x_n)$ of $n$ complex variables. Define
$$f_{\mathrm{symm}}(x_1,\ldots,x_n) =
2^{-n}\sum_{\varepsilon_1,\ldots,\varepsilon_n=\pm 1}
f(\varepsilon_1x_1,\ldots,\...
- 37.7k
1
vote
1
answer
191
views
Sequence of smooth maps converging to the identity [closed]
Let $\{g_{n}:B_{1}(0) \rightarrow \mathbb{R}^{2}\}_{n\in \mathbb{N}}$ be a sequence of smooth maps where $B_{1}(0)=\{x\in \mathbb{R}^{2} \mid |x|<1\}$ is the unit ball in $\mathbb{R}^{2}$. Assume ...
- 27
0
votes
0
answers
161
views
Asymptotic analysis of a sum of complex summands using integral
I'm trying to find the exact asymptotics of a sum:
$$A = \sum^n_{i=0} \begin{pmatrix} 2n \\ i \end{pmatrix} x^{i} y^{2n-i} $$
as $n\rightarrow\infty$. Here $x,y$ are complex numbers, $|x|\leq1, |y|\...
- 93
1
vote
1
answer
757
views
meromorphic extension of a function
Let $\Lambda\in \mathbf{C}$ be a discrete subset. We assume that $\mathrm{Re}(\lambda)<0$ for all the $\lambda\in \Lambda$. For $i\in \mathbf{N}$, $\lambda\in \Lambda$, let $m_{i,\lambda}\in \...
- 1,111
4
votes
3
answers
504
views
An apparently simple question (behaviour at infinity of a power series)
Let $(a_n)$ be a sequence of real numbers, and suppose that the real power series (function) $S(x):=\sum_{n=0}^{\infty} a_n x^n$ converges for every $x\in\mathbb{R}$.
$\mathbf{Question}$: Suppose ...
- 51
1
vote
1
answer
159
views
Real points $a∈ℝ$ such that the equation $f^{(k)}(s)=a$ have a finite number of real solutions $s$ for some $k$
Let $$L(C,s)=\sum_{n=1}^\infty \frac{a_n}{n^s}$$ be the Dirichlet series of the Hasse--Weil L-function of an elliptic curve $C$ over $ℚ$. The modularity theorem implies that $L(C,s)$ is the $L$-...
- 1,197
1
vote
1
answer
137
views
Find sufficient and necessary conditions on $f$ in which the level curve $f(x,y)=0$ implies only one case $x=a$ for all real $y$ [closed]
Let $f:ℝ²→ℝ$ be an arbitrary harmonic function. A level curve in two dimensions is a curve on which the value of a function $f(x,y)$ is a constant. My question is: Find sufficient and necessary ...
- 1,197
7
votes
1
answer
397
views
Fourier expansion of Takagi-function (everywhere non differentiable function).
Let us consider Takagi-function defined by
$T(x) \colon\!= \sum_{n=0}^{\infty}s(2^nx)/2^n$,
where $s(x) \colon\!\!= \underset{n \in {\Bbb Z}}{\mathrm{min}} \,|x-n|$.
$T(x)$ has its period $1$, so ...
- 181
23
votes
2
answers
2k
views
Which smooth compactly supported functions are convolutions?
If $f,g$ are smooth functions with support in the interval $[-r,r]$ for some $r>0$, then their convolution $f*g$ is smooth with support in $[-2r,2r]$. My question is about the converse: Given ...
- 1,017
1
vote
1
answer
112
views
Looking for methods/results for explicitly bounding iterations of rational functions
In Theorem 2.6.4 of Beardon's book, "Iteration of Rational Functions", he states the values for the first two coefficients of an iterated power series.
That is, suppose that
$$
f(z)=az+b_{1}z^{r+1}+\...
- 11
6
votes
1
answer
380
views
Asymptotic value of a multivariate integral
The following question is a simple case of a type of problem that occurs in combinatorial enumeration problems.
Define
$$F(x_1,\ldots,x_n) = \frac{1}{(2\pi)^{n/2}}\exp\biggl( -\frac12\sum_{j=1}^n ...
- 37.7k
3
votes
1
answer
247
views
If $f(x)+f(2x)$ is quasianalytic, is $f(x)$ necessarily quasianalytic?
Assume that $f\in C^{\infty}$ and that $M_n$ is a sequence such that $$\sum_{n=0}^{\infty}\frac{M_n}{(n+1)M_{n+1}}=\infty$$
and for certain compact neighborhood of the origin $U$ of $\mathbb{R}$, ...
- 807