All Questions
Tagged with ca.classical-analysis-and-odes reference-request
50 questions
2
votes
0
answers
187
views
Role of absolute continuity of divergence of BV function in proof of renormalization property
In the paper http://cvgmt.sns.it/paper/436/, the author proves the renormalization property for the flow generated by a vector field $a(t,\cdot) \in BV(\mathbb{R}^N; \mathbb{R}^N)$.
Heuristically, ...
- 839
13
votes
5
answers
3k
views
Reference request: Oldest calculus, real analysis books with exercises?
Per the title, what are some of the oldest calculus, real analysis books out there with exercises? Maybe there are some hidden gems from before the 20th century out there.
Edit. Unsolved exercises ...
10
votes
1
answer
833
views
This is not a dyadic cosine-product
The double-angle formula, $\sin2x=2\sin x\cos x$, turns the scary-looking integral
$$\int_0^{\infty}dz\prod_{k=1}^{\infty}\cos\frac{z}{2^k}$$
into fun once you realize $\prod_k\cos\frac{z}{2^k}=\frac{\...
- 43.2k
4
votes
1
answer
387
views
$\sum_{k=1}^n\frac{\sin kx}{k^\alpha} >0\quad\text{for all}\ n=1,2,3,\ldots\ \text{and}\ 0<x<\pi, \text{and}\ \alpha \ge 1$
The Fejer-Jackson inequality as follows:
$$\sum_{k=1}^n\frac{\sin kx}k>0\quad\text{for all}\ n=1,2,3,\ldots\ \text{and}\ 0<x<\pi.$$
I conjecture that the inequality as follows holds:
$$\sum_{...
- 1,776
3
votes
0
answers
133
views
Reference for a lemma on the asymptotic upper density of special sets with large gaps and intervals
Update. Based on Anthony Quas' comment below, the proof can be made sensibly shorter and the lemma can be slightly generalized by weakening the old assumption (iii).
In a joint paper that I am ...
- 10.5k
2
votes
2
answers
317
views
Concrete example of BV function $u:\mathbb{R}^2 \to \mathbb{R}$ with singular derivative
What are examples of two BV functions $u:\mathbb{R}^2 \to \mathbb{R}$ with singular derivative?
More precisely, I'd like to see an example (and a plot using Mathematica or Matlab) of
a function
$$...
- 839
71
votes
3
answers
5k
views
Does iterating the derivative infinitely many times give a smooth function whenever it converges?
I am a graduate student and I've been thinking about this fun but frustrating problem for some time. Let $d = \frac{d}{dx}$, and let $f \in C^{\infty}(\mathbb{R})$ be such that for every real $x$, $$g(...
- 1,763
24
votes
2
answers
2k
views
Reference for exponential Vandermonde determinant identity
I recently stumbled upon the following identity, valid for any real numbers $\alpha_1,\dots,\alpha_n$ and $\lambda_{n1} \leq \dots \leq \lambda_{nn}$:
$$ \mathrm{det}( e^{\alpha_i \lambda_{nj}} )_{1 \...
- 114k
18
votes
11
answers
5k
views
Applications of measure, integration and Banach spaces to combinatorics
I'm going to be teaching a Master's level analysis course (measure theory, Lebesgue integration, Banach and Hilbert spaces, and if there's time, some spectral or PDE stuff) in the fall. My problem is ...
- 1,665
16
votes
1
answer
2k
views
Normal approximation of tail probability in binomial distribution
My problem: From the Berry--Esseen theorem I know, that $$\sup_{x\in\mathbb R}|P(B_n \le x)-\Phi(x)|=O\left(\frac 1{\sqrt n}\right),$$ where $B_n$ has the standardized binomial distribution and $\Phi$ ...
- 497
12
votes
2
answers
552
views
On the independence of lower and upper asymptotic and Banach densities
Given a set $X \subseteq \mathbf N^+$, denote by $\mathsf{d}_\ast(X)$ and $\mathsf{d}^\ast(X)$, respectively, the lower and upper asymptotic (or natural) density of $X$, viz. $$\mathsf{d}_\ast(X) := \...
- 10.5k
7
votes
1
answer
488
views
Ref. request: Additive probability measure on $\mathcal P({\bf N})$ supplies subset of $\mathbf R$ without Baire property
ZFC proves, among the other things, the existence of a (finitely) additive probability measure $\theta: \mathcal P(\mathbf N) \to \mathbf R$ on the power set of $\mathbf N$ such that $\theta(X) = 0$ ...
- 10.5k
1
vote
1
answer
387
views
SDE with non-degenerate diffusion visits every point
I am asking an extension of the question here for SDEs of the Ito form.
Consider the SDE $dX_t =\sigma(X_t) dW_t$, where $W$ is a $d$-dimensional Brownian motion and $\sigma:\mathbb{R}^n\to \mathbb{R}...
- 503
1
vote
2
answers
624
views
Prove Liouville theorem without using mean value property
How can I prove the following Liouville theorem without using the mean value property?
If $u$ is harmonic on $\mathbb{R}^n$ and $\int_{\mathbb{R}^n}|\nabla u|^2 dx \leq C$ for some $C > 0$, then $...
- 217
1
vote
1
answer
247
views
Elliptic interface problem without conditions on the interface
Consider an open domain $U$ split in two non-overlapping subdomains: $U = U_1 \cup U_2$.
For a model case, consider a ball split in a smaller ball and an anulus.
Consider the following elliptic ...
user60665
54
votes
13
answers
90k
views
Good differential equations text for undergraduates who want to become pure mathematicians
Alright, so I have been taking a while to soak in as much advanced mathematics as an undergraduate as possible, taking courses in algebra, topology, complex analysis (a less rigorous undergraduate ...
26
votes
9
answers
14k
views
Graduate ODE textbook
Suppose that a hypothetical math grad student was pretty comfortable with first-year real variables and algebra, and had even studied some other things (algebraic geometry, Riemannian geometry, ...
25
votes
3
answers
7k
views
Analysis from a categorical perspective
I have not studied category theory in extreme depth, so perhaps this question is a little naive, but I have always wondered if analysis could be taught naturally using categories. I ask this because ...
- 5,759
21
votes
1
answer
564
views
Partitions of ${\rm Sym}(\mathbb{N})$ induced by convergent, but not absolutely convergent series
Let $(a_n) \subset \mathbb{R}$ be a sequence such that the series
$\sum_{n=1}^\infty a_n$ converges, but does not converge absolutely.
Then there is a partition of the symmetric group ${\rm Sym}(\...
- 19.6k
19
votes
2
answers
2k
views
Integral representation of higher order derivatives
I'm quite curious about the following phenomena, that still puzzle me although I have a proof, and I'd be really glad if someone may shred some light, showing an interpretation or a generalization. I ...
- 60.5k
13
votes
1
answer
1k
views
Apéry's constant $\zeta(3)$ fastest convergent series
UPDATE Feb.02.2024
The series below, Eq.(3) for computing and Eq.(2) for verifying, were applied by Andrew Sun on Dec.22.2023 to get over $2\cdot10^{12}$ decimal digits and break the number of ...
- 2,836
12
votes
6
answers
2k
views
Can the positive root of this polynomial be expressed elementarily?
For each real $A>0$, let $x_A$ denote the positive root $x$ of the polynomial $x^5-3x-A$. Is the function $(0,\infty)\ni A\mapsto x_A$ elementary?
[I am using this definition of elementary ...
- 128k
12
votes
1
answer
1k
views
Proof of Green's formula for rectifiable Jordan curves
$\newcommand{\Ga}{\Gamma}$
I am trying to find a proof of Green's formula for rectifiable Jordan curves $\Ga$ (and the corresponding interior regions $R$). There is a proof by Ridder, followed by ...
- 128k
10
votes
2
answers
2k
views
A result of Sierpiński on non-atomic measures
There is a classical result commonly attributed to W. Sierpiński that reads as follows:
Theorem 1. If $f: \Sigma \to \bf R$ is a non-atomic (*) measure on a set $S$, then for every $X \in \Sigma$ ...
- 10.5k
10
votes
2
answers
1k
views
Prove that the Dirichlet eta function is monotonic
Let us consider $\eta(p):= \sum\limits_{n=1}^\infty \frac{(-1)^{n+1}}{n^p}$ for $p>0$. Has anyone come along with an elementary proof that $\eta(x)$ is monotonically increasing on this set? By ...
9
votes
1
answer
749
views
property of convex functions
I am able to give a proof to the following inequality for convex functions. Most likely this is well known, but I am unable to find a reference. I would appreciate if someone more knowledgeable in the ...
- 1,211
7
votes
2
answers
593
views
Dependence of a solution of a linear ODE on parameter
Is the following theorem known, or can be easily derived from known results?
Consider the differential equation
$$w''-kz^{-1}w'=(\lambda+\phi(z))w,$$
where $k>0$ is fixed, $\lambda$ is a large (...
- 91.8k
7
votes
1
answer
771
views
Famous but unavailable paper of Jan Boman
The following paper is well known, but hard to find:
J. Boman, $L^p$-estimates for very strongly elliptic systems, Report 29, Department of Mathematics, University of Stockholm, 1982.
In this paper ...
- 28k
7
votes
5
answers
1k
views
Generalizations of the Euler–Maclaurin Summation Formula
I'm using the Euler–Maclaurin formula in a research project I'm working on. While brilliant, the elementary proof found in Apostol - An Elementary View of Euler's Summation Formula does not give me ...
- 3,574
6
votes
1
answer
2k
views
Approximation by analytic functions
Dear all.
Let
$$
f(x) = \sum_{k \in \mathbb{Z}} \hat{f}(k) \exp(2\pi \mathrm{i} kx)
$$
be a function given by usual fourier series.
Since my original question hasn't got any answer yet, and I ...
- 3,343
6
votes
0
answers
373
views
Paper by Y. Amice
Can anybody help me find the following:
Y. Amice, Duals, Proceedings of a Conference on p-adic Analysis, Nijmegan (1978), 1-15, Math. Institut Katholische Univ. , 1978
- 61
6
votes
0
answers
227
views
Origins of the generalized shift operator exp(t*g(z)d/dz)
Charles Graves in the 1850s investigated iterated operators of the form $g(x) \frac {d}{dx}$ (see page 13 in The Theory of Linear Operators ... (Principia Press, 1936) by Harold T. Davis). Graves ...
- 10.5k
5
votes
1
answer
227
views
Unicity of additive, $(-1)$-homogeneous, and shift invariant probability measures on $\mathbf N^+$
Let $\mathcal D$ be the set of all (finitely) additive probability measures $\mu^\ast: \mathcal P(\mathbf N^+) \to [0,\infty[$ such that $\mu^\ast(k \cdot X + h) = \frac{1}{k} \mu^\ast(X)$ for all $X \...
- 10.5k
4
votes
0
answers
126
views
Relationship between three different definitions of solutions for ODE with irregular coefficient
What is the difference between the notions of
Regular Lagrangian flow
Filippov solution
Caratheodory solution
of an ODE $\dot \Phi(t,x) = b(t,\Phi(t,x))$, with initial condition $\Phi(0,x) = x$, ...
- 839
4
votes
1
answer
195
views
Reference request: Rigorously solving ODEs using divergent asymptotic series
In my research I have come across a divergent asymptotic series $\sum_{n =0}^\infty a_n f_n(x)$ that formally solves a certain fairly simple nonlinear second-order ODE but does not seem to correspond ...
- 775
4
votes
1
answer
591
views
The constant $e$ represented by an infinite series
In this Wikipedia article the constant $\pi$ is represented by the following infinite series: $$\pi=1+\frac{1}{2}+\frac{1}{3}+\frac{1}{4}-\frac{1}{5}+\frac{1}{6}+\frac{1}{7}+\frac{1}{8}+\frac{1}{9}-\...
- 2,661
3
votes
1
answer
278
views
Lyapunov stability of linear system
Consider a linear ODE system
$$\dot x_k=\sum_{j=1}^ma_{kj}(t)x_j,\qquad k=1,\ldots, m,\quad a_{kj}(t)\in C[0,\infty).\quad (1)$$
Proposition. Suppose that $$\sup_{t\ge 0}\Big\{\int_0^t\Big(a_{kk}(...
- 31
3
votes
1
answer
224
views
Flow of ODE with monotone source
Let $\Phi$ be the flow (defined as in page 6 of this paper) of the ODE
$$\begin{cases}
\frac{d}{dt}\Phi(x,t) = f(\Phi(x,t),t) \quad t >0 \\
\Phi(x,0) = x \quad x \in \mathbb{R}.
\end{cases}$$
Is ...
user124345
3
votes
1
answer
2k
views
What are the best known bounds on the Hermite polynomials?
The best I could find on the net is this paper,
http://arxiv.org/pdf/math/0401310.pdf
Has this been improved?
- 2,246
3
votes
1
answer
142
views
Non-trivial examples of regular Lagrangian flow in BV case
What is a concrete example of BV vector field $v$ with $\mathrm{div}\, v = 0$ that makes Ambrosio's theory of regular Lagrangian flow relevant?
With concrete I mean that we can compute the flow ...
- 839
2
votes
1
answer
231
views
Entire composite square roots of functions of finite order
A composite square root of a function $g$ is a function $f$ such that $f(f(z)) = g(z)$. Not surprisingly, for arbitrary $g$ a function like this is hard to find. Specifically I am looking at functions ...
user78249
2
votes
0
answers
199
views
Convergence of the difference quotient of a BV function
Consider a BV function $u \in BV(\mathbb{R}^N; \mathbb{R}^N)$.
What can be said about the difference quotient
$$
\frac{u(x+\epsilon y)-u(x)}{\epsilon}
$$
regarding its convergence as $\epsilon \to 0$...
- 839
2
votes
1
answer
473
views
An identity for the elliptic theta function
For real $s>0$, let
$$S(s):=\sum_{n=-\infty}^\infty e^{-n^2/(2s^2)}
=\vartheta _3\left(0,e^{-1/(2 s^2)}\right),$$
where $\vartheta$ is the elliptic theta function.
Plotting suggests that the ...
- 128k
2
votes
1
answer
662
views
Clausen’s identity for associated Legendre polynomials
Clausen’s identity for Legendre polynomials has the form (see, for example,
A generating function of the squares of Legendre polynomials, by Wadim Zudilin: https://arxiv.org/abs/1210.2493)
$$P_n(\cos{\...
- 16.5k
2
votes
0
answers
73
views
Reference request on a notion of independence for families of [real-valued] functions
This is basically another reference request.
Let $X$ be a set, and $\mathscr{F} = (f_i)_{i \in I}$ an indexed family of functions $X \to \bf R$. If $\preceq$ is a partial order on $I$, we say that ...
- 10.5k
1
vote
2
answers
424
views
Regular Lagrangian flow for the problem $\frac{d}{dt} X(t,x) = \chi_{\{x>0\}}(X(t,x))$
Consider the problem
$$(\star) \quad \begin{cases} \frac{d}{dt} X(t,x) = \chi_{\{x>0\}}(X(t,x)), &t \in [0,T],\\
X(0,x) = x, &x \in \mathbb R
\end{cases}
$$
where $\chi$ denotes the ...
- 839
1
vote
1
answer
387
views
$L^p$ compactness for a sequence of functions from compactness of product with cut-off
Fix $p \in [1,\infty)$. Let $f_n:[a,b] \to \mathbb R$, $n \in \mathbb N$, be a sequence of $C^1$ functions. For every fixed $m\in \mathbb N^*$, suppose that the sequence of functions $$\{f_{n}\psi_m(...
- 161
1
vote
1
answer
426
views
$L^p$ compactness for a sequence of functions from compactness of cut-off
Fix $p \in [1,\infty)$. Let $f_n:[a,b] \to \mathbb R$, $n \in \mathbb N$, be a sequence of $C^1$ functions. For every fixed $m\in \mathbb N^*$, suppose that the sequence of functions $$\{f_{n}\psi_m(...
- 161
1
vote
1
answer
178
views
Growth assumption and example of finite (arbitrarily small) time blow up for ODE
Consider the following ODE initial value problem
\begin{align*}
&\frac{d}{dt}\Phi(t,x) = \boldsymbol{F}(t,\Phi(t,x)), & t \in [0,T], \ \ x \in \mathbb{R}^N,\\
&\Phi(0,x) = x, & x \in \...
- 839
0
votes
1
answer
125
views
A slight generalization of triconfluent Heun equation: what is known?
I have recently come across an ODE of the form
$$y''+(a+b x^2)y'+(c+dx+h/x^2)y=0 \hspace{30mm} (*)$$
where $y=y(x)$ and $a,b,c,d,h$ are arbitrary constants.
As far as I understand (please correct ...
- 312