All Questions
3,560 questions
59
votes
5
answers
25k
views
Are there any "related rates" calculus problems that don't feel contrived?
I just finished teaching a freshman calculus course (at an American state university), and one standard topic in the curriculum is related rates. I taught my students to answer questions such as the ...
4
votes
1
answer
848
views
Does $P_xP_y+Q_xQ_y=0 \implies$ "non-existence of limit cycle" for $P\partial_x+Q\partial_y$"? (Complex dilatation and limit cycle theory)
Let $X=P\partial_x+Q\partial_y$ be a vector field on the plane $\mathbb{R}^2$. Assume that we have :$$P_xP_y+Q_xQ_y=0$$ Does this imply that the vector field $X$ is a divergence-free vector field ...
- 366
7
votes
1
answer
725
views
Alternate algorithms for Chinese remainder theorem
I was teaching Discrete this semester and set the students loose on a system of linear congruences. One of them came up with this solution. Say $$ x \equiv 1 \textrm{ mod } 3 $$ $$ x \equiv 3 \textrm{ ...
- 525
0
votes
1
answer
139
views
proving inequality in Riemann zeta function
Recently I have made some interesting observations on the limit $$\lim_{k\rightarrow \infty}{\sum_{n=1}^{k}{\dfrac{(-1)^{n-1}\biggl( \cos \left(\beta\ln(n)\right)\biggr)}{n^{\alpha}}}}. $$ When this ...
- 317
-2
votes
1
answer
139
views
Convergence of scrambled product for Dirichlet-$L$ function with modulo 4 character
A Dirichlet-$L$ function is typically defined by its series, and its Euler product is a consequence of the definition. Here my approach is the other way around.
I define the function
$$
L_4^*(s) = \...
- 3,098
1
vote
0
answers
123
views
Asymptotic location of zeros of of a sequence of analytic functions
Assume we have a sequence of functions $f_n$ analytic in a bounded domain $\Omega \subset \{ |z|\ge 1 \}$ of the complex plane, such that the sequence
$$
g_n(z) = f_n(z) - z^n
$$
converges to an ...
- 702
21
votes
7
answers
2k
views
Identities and inequalities in analysis and probability
Usually, at the heart of a good limit theorem in probability theory is at least one good inequality – because, in applications, a topological neighborhood is usually defined by inequalities. Of course,...
0
votes
0
answers
77
views
Completeness of a normed space
We consider the set $\mathcal{PC}([-r,0],X)$
$$\mathcal{PC}([-r,0],X):=\{\varphi:[-r, 0] \rightarrow X: \varphi \text{ is continuous everywhere except
for a finite number
of points } t_* \text{ ...
- 39
4
votes
1
answer
401
views
How to correctly renormalize this function at the pole $x=1$? Evaluating: $\sum_{n=1}^{\infty} e^{e^n}$
So I was considering the divergent everywhere but 0 power series
$$ f(x) = \sum_{n=0}^{\infty} e^{e^n} x^n $$
Now one can do the following "questionable" manipulation
$$ f(x) = \sum_{n=0}^{\...
- 2,689
2
votes
2
answers
315
views
An inf-sup estimate for holomorphic functions
Is the following true?
Conjecture? Let $U \subset \mathbb{C}^n$ be open and $\eta : U \to \mathbb{C}$ be holomorphic. Denote by $B(z,r)$ the usual ball of radius $r$. There is a constant $\kappa<\...
- 981
4
votes
2
answers
251
views
Curves in the plane and their number of holes
Suppose that the closed, piecewise $C^1$-curve $f(\mathbb T)$ has exactly $n$ points that are run through twice, all other points are run through once. Is it true that the compact set $f(\mathbb T)$...
- 687
0
votes
0
answers
242
views
how to derive this elliptic integral?
I am reading the article arXiv: 2207.09961, there are some interesting elliptic integrals, i.e. the formula (3.7) and (3.8). You can also see this image
where $p_0(z)=\sqrt{-Q_0(z)}$ and $Q_0(z)=-\...
- 1
1
vote
0
answers
148
views
Contour integral with two essential singularity
I'm solving problems on the Gamma random variables and there is this question where it wants me to calculate the Mellin transform of sum of two independent Gamma variables from their moment generating ...
- 111
72
votes
9
answers
16k
views
Why do functions in complex analysis behave so well? (as opposed to functions in real analysis)
Complex analytic functions show rigid behavior while real-valued smooth functions are flexible. Why is this the case?
- 1,093
6
votes
0
answers
171
views
Computing residues at $\infty$
As an initial note, let me show by example what I mean by the terminology 'residue at $\infty$' I use in the title. I assume there is some standard terminology for this stuff, so I'd appreciate it if ...
- 1,730
1
vote
0
answers
113
views
Computing a limit for the Weierstrass function
Let $a\in (0,1)$ and let $b$ be an odd positive integer such that $ab>1+\frac{3}{2}\pi$. Let $\alpha \in (0,1)$ be defined by $\alpha= -\frac{ln(a)}{ln(b)}$ and consider the well known Weierstrass ...
- 4,115
7
votes
1
answer
279
views
Riemann uniformization theorem (limit case)
Let $\mathbb D_r=\{z\in\mathbb C:|z|\le r\}$ be the closed unit disk of radius $r$,
let $\mathring {\mathbb D}_r=\{z\in\mathbb C:|z|< r\}$ be its interior,
and let $\mathbb A_r=\mathbb D_r\setminus ...
- 43.2k
40
votes
16
answers
11k
views
"Homotopy-first" courses in algebraic topology
A first course in algebraic topology, at least the ones I'm familiar with, generally gets students to a point where they can calculate homology right away. Building the theory behind it is generally ...
6
votes
1
answer
476
views
Example illustrating necessity of considering birational equivalence and not biholomorphic equivalence in MMP
The minimal model program attempts to classify algebraic varieties up to birational equivalence. For compact Riemann surfaces, Riemann's uniformization theorem tells us that the geometry of the curve ...
- 275
1
vote
0
answers
86
views
Do we have a Grauert-Fischer theorem for non-trivial families?
This question is related to my previous question. Let $X$ be a compact complex manifolds and $\Delta\in \mathbb{C}^n$ be a small neighborhood of $0$. A family of deformations of $X$ over $\Delta$ is a ...
- 9,019
1
vote
2
answers
338
views
Abscissa of convergence for a very specific Dirichlet series / Euler product
I am interested in the convergence of the following Euler product:
$$
\prod_p \frac{1}{1-\chi(p)\cdot p^{-s}}.
$$
The product is over all primes (in increasing order), with $\chi(p)=+1$ if $p \bmod 4 =...
- 3,098
2
votes
0
answers
231
views
Where does this trig. identity hold?
Fix an integer $n\geq1$.
QUESTION. Is it possible to find ALL pair of sequences of non-negative integers $(a_k,b_k)$, for $k=1,2,\dots,n$, such that
$$\sum_{k=1}^n \sin^{2a_k}\theta\cdot \cos^{2b_k}\...
- 43.2k
1
vote
2
answers
262
views
Request for Acta Math Sinica 1984 paper
The mathscinet reference for the paper I am after is here:
MR807424 53C55 (32H99)
Chen, Zhi Hua; Yang, Hong Cang Estimation of the upper bound on the Levi form of the distance function on Hermitian ...
- 1,379
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
-6
votes
1
answer
112
views
Sign of real part and imaginary part zeta function at 1/2-x+iy and 1/2+x+iy [closed]
I want to know what the sign of the real part and imaginary part of $\zeta(1/2+x+iy)$ and $\zeta(1/2-x+iy)$ are ,are they the same? for example in this case they are the same
zeta(0.25+I 10)=0.74513-0....
- 1
20
votes
1
answer
745
views
On the equation $\zeta(s) = F(s)+F(s+1)$
Define the function $F(s)$ as the Dirichlet series
$$
F(s) = \sum_{n=1}^\infty \frac{1}{(n+1)n^{s-1}},
$$
which converges for $\operatorname{Re}(s)>1$.
Has anyone seen/studied this function before? ...
- 2,549
0
votes
0
answers
80
views
Non-triviality of the sum of simple rational functions
Recently, in the study of unicity problems in complex analysis, I met a problem that can be stated in the following way,
Let $\{m_i\}_{i=0}^{3}$ and $\{n_i\}_{i=0}^{3}$ be eight integers in $\mathbb{Z}...
- 1,706
4
votes
0
answers
186
views
Asymptotic analysis for a double integral related to Airy functions
Let $Ai(x,y)$ be the Airy kernel which is given by
\begin{equation}\label{equ2.12}
Ai(x,y)=
\begin{cases}
\dfrac{Ai(x)Ai'(y)-Ai(y)Ai'(x)}{x-y}, & x\ne y, \\
Ai'(x)^2-xAi(x)^2 & x=y. \\
\end{...
- 879
27
votes
8
answers
5k
views
Conceptual algebraic proof that Grassmannian is closed in Plücker embedding
I'm planning lectures for my intro algebraic geometry course, and I noted something awkward that is coming up. We're starting projective varieties soon. Of course, we'll prove that projective maps are ...
- 156k
2
votes
1
answer
314
views
Analytic continuation of a function on the half line
Consider the analytic function $f : (0,\infty) \to (0,\infty)$ given by
$$
f(x) = \bigg( \sum_{i=1}^n a_i b_i^{1/x} \bigg)^x
$$
where $n\in\mathbb N$, $a_i>0$ and $0<b_1<\ldots<b_n<1$. ...
- 769
2
votes
1
answer
91
views
Pair of positive harmonic functions with negative inner product in Drury-Arveson space
Define a reproducing kernel on the Euclidean ball in $\mathbb{C}^d$ by
$$k(z,w)=\frac{1}{1-\langle z,w\rangle}+\frac{1}{1-\langle w,z\rangle}-1.$$
Call the corresponding real reproducing kernel ...
- 1,429
7
votes
1
answer
207
views
Is the Gauss hypergeometric function $_2F_1(a,b;c,z)$ univalent in $\left|z - \frac{1}{2} \right| < \frac{1}{2}$?
Consider the Gauss hypergeometric function
$$_2F_1(a,b;c,z) = \sum_{n=0}^{+\infty} \frac{(a)_n(b)_n}{(c)_nn!}z^n, \quad |z| < 1, \quad (x)_n = x(x+1)\cdots(x+n-1), \quad (x)_0 = 1$$
The Encylopedia ...
- 233
0
votes
0
answers
111
views
Sum power series not continuous unit circle
This is (probably) not a research question and I already asked it on StackExchange but I got no answer over there.
Let us consider the sequence $(a_n)_{\geq 1} = \left(\frac{\cos(2\sqrt{2n}+\frac{\pi}{...
- 7,320
2
votes
1
answer
295
views
Examples of new results found via exams [closed]
I suspect that there have been many instances throughout history where a new proof of an existing result has been discovered by a student while taking an exam. Does anyone have an example of this?
1
vote
0
answers
137
views
Existence of meromorphic one-form with a fixed order pole
Let $X$ be a compact Riemann surface of genus $g$. We identify it with $4g$ polygon $\{a_i,b_i, a_i^\prime, b_i^\prime\}_{i=1}^g$. For a meromorphic 1 form $\omega$, we define
$A_i(\omega)= \int_{...
- 541
17
votes
2
answers
2k
views
Algebraic independence of shifts of the Riemann zeta function
Let $\zeta(s)$ denote the Riemann zeta function. Is the set $\{
\zeta(s-j)\, \colon\, j\in\mathbb{Z}\}$, or even $\{\zeta(s-z)\,
\colon\, z\in\mathbb{C}\}$, algebraically independent over
$\mathbb{C}$?...
- 50.8k
35
votes
19
answers
9k
views
Interesting applications (in pure mathematics) of first-year calculus
What interesting applications are there for theorems or other results studied in first-year calculus courses?
A good example for such an application would be using a calculus theorem to prove a ...
34
votes
13
answers
6k
views
Elementary applications of linear algebra over finite fields
I'm teaching axiomatic linear algebra again this semester. Although the textbooks I'm using do everything over the real or complex numbers, for various reasons I prefer to work over an arbitrary ...
9
votes
0
answers
314
views
Switching the order of a summation and replacing a series by its analytical continuation
Background
A useful trick when trying to analyze a series $\sum_{n=0}^\infty f(n)$ is to expand $f(n)$ as some kind of series, swap the order of summation, and then evaluate the inner infinite sum. ...
- 1,730
10
votes
1
answer
2k
views
What is the most general form of Hurwitz's theorem in complex analysis?
In complex analysis, Hurwitz's theorem roughly states that, under certain conditions, if a sequence of holomorphic functions converges uniformly to a holomorphic function on compact sets, then after ...
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)\...
- 513
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 ...
- 6,377
6
votes
1
answer
325
views
Has anyone characterized the zeroes of the Bell numbers?
I was reading this post about the Bell Numbers where users Lucian and Vladimir Reshetnikov give us Dobiński's formula for the Bell numbers
$$ B(x) = \frac{1}{e} \sum_{k=1}^{\infty} \frac{k^x}{k!}. $$
...
- 2,689
1
vote
0
answers
73
views
Vanishing components of Kähler metric
Let $(X, \omega) $ be a $n$-dimensional complex Kähler manifold such that $\omega^{n-1}=d\alpha $.
Does $\partial\alpha^{n-1,n-2} =0$ (resp. $\bar\partial\alpha^{n-2,n-1} =0$)
Where $\alpha^{n-1,n-2}$ ...
- 43
2
votes
0
answers
70
views
Differentiable functions on analytic varieties
Let $\iota\colon X\to \Omega\subseteq \mathbb{C}^n$ be a complex analytic variety $X$ in an open subset $\Omega$ of $\mathbb{C}^n$. If $N$ is a smooth manifold and $h\colon M\to X$ is a continuous map,...
- 513
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
23
votes
13
answers
7k
views
Pedagogical question about linear algebra
Last semester I taught a linear algebra class that is intended to introduce young students (at a sophmore-junior level) to "abstract mathematics". It seems that a major conceptual hurdle for many of ...
24
votes
3
answers
3k
views
How to find a conformal map of the unit disk on a given simply-connected domain
By the classical Riemann Theorem, each bounded simply-connected domain in the complex plane is the image of the unit disk under a conformal transformation, which can be illustrated drawing images of ...
- 42k
2
votes
1
answer
197
views
Linear elliptic equation
Let $\Delta:=\partial_z\,\partial_{\overline {z}} $ be the Laplacian operator. I look for a particular non-trivial solution $u$ of $$\Delta u=\frac{a}{1-|z|^2}u$$ where $u\in C^2(\mathbb{D})$ and $a\...
- 43
1
vote
0
answers
82
views
Finiteness of theta vanishing in the KP direction for locally planar curves
I believe the main question is Question 2 at the end, and for experts it might be completely okay to skip directly to it (assuming I'm not saying any nonsense).
My motivation comes from pure algebraic ...
- 318