All Questions
Tagged with ca.classical-analysis-and-odes reference-request
323 questions
7
votes
4
answers
3k
views
How does curvature change under perturbations of a Riemannian metric?
Let $M$ be a compact subset of $\mathbb R^2$ with smooth boundary, and let $g$ be a Riemannian metric on $M$. If $g'$ is another Riemannian metric which is "close" to $g$, then they should have ...
- 8,512
2
votes
3
answers
233
views
Difference equation and formal series
For a given formal series $g(x)=\sum_{k=0}^\infty g_k x^k$ I would like to find a formal series $f(x)=\sum_{k=0}^\infty f_k x^k$ such that they satisfy the difference equation
$$
f(x+1)-f(x)=g(x).
$$
...
- 1,343
10
votes
1
answer
955
views
Ramanujan's problem 754 still open?
In addition to the MO question The Ramanujan Problems. , I would like to ask the following.
Problem 754 from the list of the Ramanujan's problems ( http://www.imsc.res.in/~rao/ramanujan/...
- 16.5k
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
12
votes
1
answer
1k
views
A generalization of intermediate value theorem on R^k
Let $f:[0,1]\to\mathbb R^k$ be a continuous function with $f(1) = \overrightarrow 0$.
Is it true that there always exist $k$ points $0 \le a_1 \le a_2 \le \ldots \le a_k \le 1$ such that $\sum_{i=1}^k ...
- 207
6
votes
2
answers
516
views
Texts about Dwork's work
I want to ask about references to papers, that probably exist, which explain the articles of Bernard Dwork starting from "The rationality of the zeta function of an algebraic variety" to "On the ...
- 69
3
votes
2
answers
306
views
Asymptotics for the number of digits of the ratio of binomial coefficients
Let $a$ and $b$ be distinct positive real numbers. Let $(a_n)$ and $(b_n)$ be sequences of natural numbers such that $a_n\sim an$ and $b_n\sim bn$. All the limit relations here are for $n\to\infty$. ...
- 128k
7
votes
2
answers
880
views
Survey of the history of calculus?
Boyer 1939 is a nice readable survey of the history of the calculus, but it's showing its age. Discussing the notion of instantaneous velocity, he has:
Mathematics knows no minimum interval of ...
user21349
2
votes
2
answers
406
views
Solution to semilinear heat equation at $t=0$: $u_t(0,x) - \Delta u(0,x) + f(x,u,u_x)= 0 \ ?$
Consider the following Cauchy problem
$$u_t - \Delta u + f(x,u,u_x) = 0, \quad (t,x) \in (0,T) \times \mathbb{R}^n,$$
with initial condition $u(0,x) = g(x), \ x \in \mathbb{R}^n.$
Suppose that $u \...
- 303
1
vote
1
answer
262
views
Relationship between $f(t,x)$ as $t \to \infty$ and $f(t/\epsilon, x/\epsilon^2)$ as $\epsilon \to 0$ (periodic functions)
Let $f: (0,\infty)\times \mathbb {R} \to \mathbb{R}$ be $1$-periodic in the second variable and in $L^\infty((0,\infty)\times \mathbb{R}).$ If it is necessary, we can also assume $f$ to be continuous. ...
user89890
4
votes
0
answers
673
views
Proofs of the second fundamental theorem of calculus
I am referring to the following version of the theorem, in the setting of the Lebesgue integral.
Theorem Let $f: [a,b] \rightarrow \bf R$ be an everywhere differentiable function whose derivative is ...
- 18.7k
8
votes
1
answer
338
views
A representation of the Bernoulli numbers
Let
\begin{equation}
\ell_{m,p}:=\sum_{j=1}^m\gamma_{m,j}\sigma_{p,j},
\end{equation}
where
\begin{equation}
\gamma_{m,j}:=\frac{2 (-1)^{j-1} }{j }\binom{2 m}{m+j}\Big/\binom{2 m}{m},\quad
\...
- 128k
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
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
0
votes
0
answers
63
views
Feller semigroups and fractional operators
Have Feller semigroups been used to investigate the properties of the Cauchy problem associated with the fractional Laplacian (just like they have been used to study local degenerate second order ...
user60665
2
votes
2
answers
261
views
Viscosity solutions for $u'(x) + \alpha u(x) - f(x) = 0$: supersolutions dominate subsolutions
Let $$u'(x) + \alpha u(x) - f(x) = 0,$$ with $x \in [0,\infty)$ and $\alpha \in \mathbb{R}$. Suppose $f \in C(\mathbb{R})$.
If
$u_1$ is a viscosity supersolution (or a viscosity solution, or a $C^...
user102027
5
votes
1
answer
267
views
Generalized Plateau problem with non-Jordan boundary
Let $C_\pm$ be the two circles obtained by intersecting the cylinder $x^2+y^2=R^2$ with the planes $z=\pm 1$, on which we mark four points $A_\pm:(R,0,\pm 1)$ and $B_\pm:(-R,0,\pm 1)$. Assume that $R$...
- 2,581
3
votes
0
answers
55
views
system of Euler like ode's
I am interested in solving some linear elliptic system like
$$ -\Delta \phi(x) + \frac{C_1 \psi(x)}{|x|^\beta} =f(x)$$
$$ -\Delta \psi(x) + \frac{C_2 \phi(x)}{|x|^\alpha} =g(x)$$ in $B_1$ (the ...
- 1,385
4
votes
2
answers
371
views
Literature on ZS-AKNS systems with independent potentials
For those with some familiarity with integrable systems, I'll summarize my question as such:
Where can I find literature on ZS-AKNS systems, and their solution via the inverse scattering transform, ...
- 319
3
votes
0
answers
203
views
Identity for the product of two different associated Legendre polynomials
In the answer to Clausen’s identity for associated Legendre polynomials the following result was indicated:
$$
\small{\left(P_n^m(\cos\theta)\right)^2=(\sin{\theta})^{2m}\frac{(m+n)!}{(n-m)!}\sum_{k=0}...
- 16.5k
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
9
votes
1
answer
630
views
$C^{k,\alpha}$ diffeomorphisms and vector fields
This feels like something I should know, but I have a hard time finding a definite reference.
Let $M$ be a compact (Riemannian) manifold, $k\ge 1$ be an integer and $\alpha\in(0,1)$. When v is a $C^k$...
- 14.4k
1
vote
1
answer
380
views
Infinite compositions of holomorphic functions, is there literature on the subject?
I've recently become very intrigued by infinite compositions. To get at what I mean by the term, I'll be as explanatory as possible.
Consider a sequence of holomorphic functions $\{\phi_j\}_{j=0}^\...
user78249
6
votes
2
answers
1k
views
Existence of a measure-preserving bijection
Let $f, g \, \colon \mathbb{R}^n \rightarrow \mathbb{R}$ be two Borel-measurable functions such that $f$ is non negative and
g is radially symmetric,
the function $ (0, \infty )\ni t \mapsto g (tx)$ ...
- 161
5
votes
0
answers
329
views
Could there be something like a Grzegorczyk hierarchy in Analysis?
My most prevalent interest in mathematics has always been hyper-operators. I first learned about them when I was in highschool, and quite frankly, they amazed and dazzled me. For those who've yet to ...
user78249
11
votes
2
answers
802
views
Functions that Calculate their $L_p$ Norm
are there any examples of functions $f:x\in\mathbb{R}_0^+\rightarrow\mathbb{R}_0^+$ and intervals $(a,b), 0\le a \lt b \le \infty$ , for which $$\Big(\int_a^b{|f(x)|^p dx}\Big)^\frac{1}{p} = f(p)$$ $$\...
- 13.2k
7
votes
2
answers
2k
views
Cantor Sets Inside Cantor Sets
(Or: "I heard you liked Cantor Sets...")
I'm working on a student project, and the following construction came up very naturally: If $C$ is the usual Cantor Set, build a countable union of copies of ...
- 4,586
2
votes
1
answer
455
views
Smooth dependence on the initial condition of the integral of an ODE
I am considering an ODE $\dot{x}=f(x)$, with $x\in\mathbb{R}^d$ and $d<\infty$. $f$ is a $C^k$ function and I denote by $\Phi_t x$ be the value of the solution at time $t$.
I assume that my ODE ...
- 562
3
votes
2
answers
621
views
Who needs a symmetric upper asymptotic density on the integers?
The upper asymptotic density on $\mathbf Z$, viz. the function
$$
{\sf d}^\ast: \mathcal P(\mathbf Z) \to [0,1]: X \mapsto \limsup_{n \to \infty} \frac{|X \cap [1,n]|}{n},
$$
has a ''symmetric ...
- 10.5k
7
votes
2
answers
697
views
Local positivity of solutions to linear differential inequalities (Chaplygin's theorem)
According to the entry "Differential inequality" of the Encyclopedia of Mathematics
http://www.encyclopediaofmath.org/index.php/Differential_inequality
the following result is due to Chaplygin (1919)...
- 1,371
3
votes
2
answers
314
views
Reference request: using integral equations to study asymptotics of ODEs
I was told by my supervisor that one way to study the asymptotic behaviour of solutions to ODEs is "to reformulate them as integral equations, and use fixed-point kind theorems on the resulting ...
- 473
3
votes
1
answer
361
views
bounded analytic function as a power series
Suppose $$f(x)=\sum_{k=0}^\infty a_k\frac{(i x)^k}{k!}$$ where $$a_k=k!\int_0^1 p_k(y_{k-1})\int_0^{y_{k-1}}p_{k-1}(y_{k-2})\cdots \int_0^{y_1}p_1(y_0) dy_0\cdots dy_{k-2}\;dy_{k-1}$$ for functions $...
- 587
1
vote
2
answers
11k
views
Borel Sets on $\mathbb{R}^n$ [closed]
Define the Borel sigma-algebra on $\mathbb{R}^n$ as the smallest sigma-algebra containing all $n$-rectangles
$(a_1, b_1) \times \cdots \times (a_n, b_n)$.
Is it true that the Borel sigma algebra ...
- 1,101
3
votes
5
answers
519
views
Good reference for the construction of a Greens functions fur the Sturm-Liouville
Does anyone know a good reference for the constructions of a Greens functions fur the Sturm-Liouville Boundary Value Problem.
- 1,256
1
vote
0
answers
617
views
History of Cauchy-Euler Equations
As I teach a class in ODE, and following this post and Rota's paper, I wandered what is the history of the research of -
$\sum\limits_{k=0}^n a_k x^k y^{(k)}(x) = g(x),\quad \forall k=0,\cdots ...
- 3,574
12
votes
1
answer
239
views
Interval arithmetic with different definitions of intervals
Interval arithmetic normally deals with intervals defined as $[a,b]$ with rules like $$[a,b]+[c,d]=[a+c,b+d]$$ I am interested in interval arithmetic with different interval definitions such as $$\{a\}...
- 497
3
votes
2
answers
153
views
An English version Borok's work on finite-infinite systems of ordinary differential equations
I am looking for the English translation of the paper by V. M. Borok (originally in Russian)
The Cauchy problem for finite-infinite systems of linear differential equations. This work is about the ...
1
vote
0
answers
341
views
Reference for PDE problem book
What I need is a source of solved exercises, problems in Partial Differential Equations; to be hard enough (olympiad style) and in areas like Calderon-Zygmund theory and applications, Paley-Littlewood ...
- 85
2
votes
1
answer
415
views
Pseudo-differential evolution equation
I'm looking for results (or some ideas) on the following kind of pseudo-differential evolution equation:
$$
\frac{\partial u(t,x)}{\partial t} = \int_{-\infty}^{t} B(t-s,x)\, A(x,D_{x})u(s,x)\,ds \; ;...
- 55
5
votes
2
answers
732
views
The Weyl algebra modules which are also rings
Consider the space $C^\infty(\mathbb{R})$. We have on it a natural action of the Weyl algebra generated by $x$ and $d/dx$, where $x$ is the coordinate on $\mathbb{R}$, and there is plenty of Weyl ...
- 389
1
vote
0
answers
176
views
Coefficient perturbations of polynomials with real roots only
Let
\begin{align}
P(x) &= x^n+a_{n-1} x^{n-1} +\ldots+a_0 = \prod_{i=1}^n (x-p_i)\\
Q(x) &= x^n + b_{n-1} x^{n-1} + \ldots +b_0 = \prod_{i=1}^n (x-q_i)\\
p_i, q_i& \in \mathbb{R},\ 0<...
- 175
7
votes
2
answers
1k
views
For what spaces is the Hardy-Littlewood maximal operator of strong type $(p,p)$ if and only if $p > p_0 > 1$?
(This is essentially a continuation of my previous question, here.)
Let $(X,d,\mu)$ be a metric measure space, i.e. $\mu$ is a Borel measure on the metric space $(X,d)$. Further assume (though you ...
user14166
3
votes
1
answer
304
views
Hyperfunctions supported at a point
Is it true that the space of hyperfunctions on $\mathbb{R}^n$ supported at 0 coincides with the space of Schwartz distributions supported at 0?
More explicitly, is it true that any hyperfunction ...
- 21.8k
4
votes
1
answer
917
views
PDEs on torus $\mathbb T$
(Hope this question is o.k. for MO)
I have been learning PDE(non linear dispersive equations) techniques, mainly using harmonic analysis(kind of Strichartz estimates, estimates for unimodular ...
- 1,051
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
5
votes
2
answers
454
views
Reference for the fact that the images of the narrow and wide Denjoy integrals are respectively $ACG_\ast$ and $ACG$?
The narrow Denjoy integral (which also goes by the names Henstock-Kurzweil integral, Perron integral, and Lusin integral) is a transfinite integration process defined by Denjoy in the early 20th ...
- 1,601
6
votes
1
answer
309
views
Survey paper on isoperimetry
I am searching for a comprehensive survey article (or more different articles) on the subject of isoperimetric problems from ancient Greece to modern mathematical physics. Could you point out some ...
user60665
1
vote
1
answer
482
views
Wong-Zakai smooth approximation in probabilty for stochastic differential equations
I'm looking for a result of the form: Let $B_\epsilon$ denote a "natural" smooth $\epsilon$-approximation to an $n$-dimensional Brownian motion $B$ (e.g. by mollification or simply piecewise linear) ...
- 111
8
votes
2
answers
2k
views
Divergent series expansion in Apéry's proof of the irrationality of $\zeta(2)$ and $\zeta(3)$
UPDATE. I am now making this a CW in the hope someone can improve the content of this question and/or correct the text.
This is a concise version of this math.SE question of mine. I've got an answer ...
5
votes
1
answer
1k
views
Request for the proof of a result from Ramanujan's letter to Hardy.
Srinivasa Ramanujan in his first letter to G.H. Hardy stated many results for which he didn't give proofs. Among them the result taken from this link seems interesting :
If $$\int\limits_{0}^{\infty} ...
- 4,795