All Questions
Tagged with ca.classical-analysis-and-odes reference-request
323 questions
5
votes
3
answers
478
views
Nonlinear ODE: $y'=(1+axy)/(1+bxy)$
Consider the first order nonlinear ODE problem:
$$
y'(x)=\frac{1+ay(x)x}{1+by(x)x}, \quad x>0
$$
where $a, b>0$ are some constants. I would like to know if these kind of equations were ...
- 3,946
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
5
votes
2
answers
840
views
Decompostition of a Lipschitz domain
We say that $\Omega$ is a strongly star shaped domain (with respect to $0$ for example) in $\mathbb R ^n$ if:
$$\Omega = \{x\in \mathbb R ^n : \left \| x \right \| < g(\frac{x}{\left \| x\right \...
- 291
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
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
5
votes
2
answers
774
views
Can we calculate the inner product of a semicontinous function with the Dirac delta function?
Dear all,
It is clear that if $f:R\mapsto R$ is a continuous function, than $< f, \delta_x >=f(x)$. Now, if $f$ is only semicontinous, can we say that $< f, \delta_x >=f(x)$? I think this ...
- 1,649
5
votes
2
answers
917
views
Is the inclusion of Lebesgue spaces compact?
[Disclaimer: this may be a very trivial question; it certainly looks like it ought to have been studied and understood. I started thinking about it this morning when writing some notes for Rellich-...
- 39k
5
votes
3
answers
565
views
Reference/Introduction to partial difference(NOT differential!) equations
The title says it all. Despite heavy googling I have not been able to find anything. What I am interested in, is theory (maybe modelling), not for the moment finite difference methods as ...
- 2,600
5
votes
1
answer
1k
views
Continuous dependence on initial parameters of an ODE for non-Lipschitz functions?
For ODEs, the standard theorem of continuous dependence of initial parameters deals only with functions that are Lipschitz. Do there exist more general results holding for non-Lipschitz functions? If ...
- 215
5
votes
1
answer
4k
views
Rigorous multivariate differentiation of integral with moving boundaries (Leibniz integral rule)
The Leibniz integral rule, in its multivariate form, deals with differentiation of the following sort:
$$ \frac{\partial}{\partial t} \int_{D(t)} F({\bf x}, t) \, d{\bf x} \, , \qquad D(t)\in \mathbb{...
- 3,574
5
votes
1
answer
136
views
Reference for higher order Campanato Lemmas, e.g. `Sufficiently fast L^2 decay on balls to affine functions implies C^{1,\alpha}'
Whence can I reference the following fact (I have seen it quoted as `standard' in respectable places, so I hope it is so)?:
Let $f : B_2(0) \to \mathbb{R}$, say $f \in L^2(B_2(0))$ . Suppose that ...
- 1,771
5
votes
2
answers
272
views
Integral involving Legendre polynomial
In a physics problem the following integral shows up $$\int\limits_0^{2\pi}P_m(\cos{(\theta-\alpha)})\,\cos^{m+2}{(n\alpha)}\;d\alpha,$$ where $P_m$ is the Legendre polynomial and $n,m$ are integer ...
- 16.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
5
votes
1
answer
297
views
A scaled fractional ''Sobolev inequality''
Does a fractional interpolation inequality similar to $$
\int_{B_R(0)} |u| dx \le C R^{2} \sqrt{\log(2R)} \Big( \int_{\mathbb R^2}\int_{\mathbb R^2} \frac{|u(x)-u(y)|^2}{|x-y|^{2+2s}} dxdy + \int_{B_1(...
- 109
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
5
votes
0
answers
109
views
Asymptotics in the Chebyshev-type optimization problem
Let $g(x)\colon [-2,2]\to \mathbb{R}$ be a continuous function. Let $f_n(x)$ be a polynomial of degree $n$ such that $\log |f_n(x)|\leqslant ng(x)$ for all $x\in [-2,2]$. Then the maximal possible ...
- 109k
5
votes
0
answers
91
views
Reference request: sufficiently smooth functions on the plane belong to the projective tensor square of $L^2$ of the line
Let $\newcommand{\ptp}{\widehat{\otimes}}\ptp$ denote the projective tensor product of Banach spaces. Some back of the envelope calcuations, using the Fourier transform and Plancherel/Parseval, ...
- 25.8k
5
votes
0
answers
163
views
Minimizing total variation
Let $f:\mathbb{R}\to \mathbb{R}$ be a function of bounded variation. Define $\overline{f}(x)$ by
$$\overline{f}(x) = \limsup_{\mu(I)\to 0} \frac{1}{\mu(I)} \int_I f(x) dx,$$ where $I$ ranges over ...
- 20.2k
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
5
votes
0
answers
136
views
Solving the difference equation in exotic scenarios
The difference equation, as referenced in the title, is a very specific object I'm referring to. If you have a holomorphic function $\phi$ on a domain $G$, then a solution $F$ to the difference ...
user78249
5
votes
0
answers
79
views
Some questions about the Lévy monoid of certain densities
Let $\bf H$ be a set, $f: \mathcal P({\bf H}) \rightharpoonup \bf R$ a partial function, and $\mathcal{D}$ the domain of $f$.
Next, denote by $\mathcal M(f)$ the set of all (total) functions $\theta: ...
- 10.5k
5
votes
0
answers
224
views
Unit eigenvalue of the linearized Poincare return map
Consider a surface $S$ and a vector field on the surface which has a closed orbit. The vector field on both sides of the closed orbit spirals towards it, which gives us that the linearized Poincare ...
- 51
5
votes
0
answers
855
views
Extension operator for Lipschitz domain for fractional Sobolev spaces
Let $\Omega\subset\mathbb{R}^n$ be a bounded domain, with Lipschitz smooth boundary. Then a well known result by Stein gives that there exists an extension operator $E: H^k(\Omega)\rightarrow H^k(\...
- 3,217
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
4
votes
5
answers
2k
views
Reference request: importance of Lipschitz continuity
I see that Lipschitz continuity is a common assumption used in optimisation, statistics, machine learning, etc.
Could you point me in the direction of some literature that discusses why Lipschitz ...
- 161
4
votes
5
answers
891
views
Analytic hypoellipticity of linear ordinary differential operators
Let $P = a_n(x) D_x^n + a_{n-1}(x) D_x^{n-1} + \ldots + a_0(x)$ be a linear ordinary differential operator with polynomial (or real analytic) coefficients $a_j(x)$. Suppose that $a_n(x)$ doesn't ...
- 1,412
4
votes
1
answer
442
views
Reference or proof of a theorem of L. Fejér on summability of Fourier series
In the article "Ensembles exceptionnels" by A. Beurling, the author cites the following theorem of Fejér:
Suppose that a $2\pi$ periodic function $ f $, Lebesgue integrable in $(0,2\pi)$ ...
4
votes
2
answers
610
views
Unit ball of the sum space
Let $V$ be a vector space and $\|\cdot \|_1$ and $\|\cdot\|_2$ two norms on $V$.
Let $\|\cdot\|_+$ be given by
$$ \|v\|_+ := \inf_{v = v_1 + v_2} \|v_1\|_1 + \|v_2\|_2 $$
It is well-known that $\|\...
- 39k
4
votes
1
answer
461
views
Estimate on $C^1$-norm of solution of the Dirichlet problem for the Laplace equation
Let $\Omega\subset \mathbb{R}^n$ be a bounded domain with $C^\infty$-smooth boundary. Let $\phi\in C^\infty(\partial \Omega)$. Let $u$ be the solution of the Dirichlet problem of the Laplace equation
\...
- 21.8k
4
votes
1
answer
265
views
a limit by Gosper involving a product of arctan and $4^{1/\pi}$
On the Wolfram page about pi formulas, there is this curious limit by R. W. Gosper (130) $$\lim\limits_{n\to\infty}\prod\limits_{k=n}^{2n}\dfrac{\pi}{2\arctan k}=4^{1/\pi}.$$
The only reference given ...
- 13.4k
4
votes
1
answer
487
views
Nonsmooth version of Hopf boundary point lemma
Let
$$
Lu=-a_{ij}(x)\partial_{ij}u+b_i(x)\partial_i u
$$
be a uniformly elliptic operator, with $A(x)=(a_{ij}(x))$ positive-definite.
Here I'm only considering smooth coefficients, and the domain $\...
- 5,380
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
4
votes
2
answers
734
views
Analyzing the solution to a second-order, non-linear ODE
Let $\psi : [0,\infty] \to \mathbb R$ be a strictly positive, continuously differentiable function, and consider the non-linear ODE $$\ddot x = - \frac{1}{4} \frac{\psi'(x)}{\psi(x)} \left( \dot x^2 - ...
- 8,512
4
votes
2
answers
283
views
Bounding the series of the geometric means of the terms of a given positive series
Let $ \{ a _ k \} _{k\in\mathbb{N} _ +} $ be a sequence of non-negative numbers, and let $MG(a_1,\dots,a_n)$ denote the geometric mean of the first $n$ terms. Then, the inequality
$$ \sum _ {n\ge 1}...
- 60.5k
4
votes
1
answer
162
views
Definite integral of power of sine ratio
I stumbled on the following rather appealing trigonometric definite integral,
\begin{equation}
\int_0^y \left(\frac{\sin x}{\sin (y-x)}\right)^a \mathrm{d}x = \pi \frac{\sin(ya)}{\sin(\pi a)}
\end{...
- 3,927
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
2k
views
How to mathematically characterize a feedback loop in ODEs?
I have a biological system that exhibits a feedback type of behavior. The diagram is a schematic of the system of ODEs. In this system, the total amount of $x_1, x_2, x_3$ is conserved; however, there ...
- 513
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
4
votes
1
answer
902
views
Exact Differential Equations of Order n via Pfaffian Differential Equations?
I'm wondering if somebody could both shed some light on, & offer references for more details about, this interesting quote:
The derivation of the conditions of exact integrability of an ...
- 93
4
votes
1
answer
1k
views
Limit of a discrete time dynamical system
I have the following discrete time dynamical system
$$ y(t+1) = y(t) + \frac{1}{1+\exp(z+ u f y(t))} ,\quad y(0)=0,$$
where $z$ is a real number $f$ and $u$ are non-negative reals. I know I have ...
- 53
4
votes
1
answer
118
views
almost linear ODE
Let $A,B$ be $n\times n$ matrices. I am interested in the following ODE in $\mathbb{R}^n$
$$ \frac{dx_t}{dt}=Ax_t+Bx^+_t $$
where $x_t^+=(x^+_{1,t},...,x^+_{n,t})$ and $(\cdot)^+$ is the rectifier: $...
- 315
4
votes
1
answer
354
views
Reference request: Invariant sets of dynamical systems
(I should preface this with the disclaimer that this is a slightly elaborated version of a question that I posted onto math se recently to which I received no responses, and have since deleted the ...
- 185
4
votes
1
answer
375
views
Asymptotic solution of the integral equation
What is the asymptotic solution (for $s\gg 1$) of the following integral equation $$z(s)=1+\gamma\int\limits_{-\infty}^s ds_1\int\limits_{-\infty}^{s_1}ds_2
\cos{(s_1^2-s_2^2)}z(s_2)\;?$$
In fact I ...
- 16.5k
4
votes
1
answer
232
views
Name of a Frobenius-like method for ODEs
Mike McNulty, who is a postdoc working with me, showed me the following trick for looking at asymptotic behavior of ODEs near singular points that he found; my question: does it have a well-known name ...
- 39k
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
4
votes
0
answers
233
views
References for derivative w.r.t. initial condition of an ODE
Let $b:\mathbb R_+ \times \mathbb R^d \to \mathbb R^d$ be measurable such that for all $n \in \mathbb N$ we have
$$
\sup_{t \ge 0} |b(t, 0)| + \sup_{t \ge 0} \sup_{x \in \mathbb R^d} |\nabla^n_x b (t, ...
- 835
4
votes
0
answers
802
views
Reproducing kernel Hilbert space of Matérn kernels
I am trying to read a recent paper titled "Interpolation and learning with scale dependent kernels" by Pagliana, Ruidi, De Vito, and Rosasco. (The paper can be found on ArXiv)
On the top of ...
4
votes
0
answers
84
views
Elementary functions (growing faster than exponential ones) with elementary Legendre–Fenchel transforms
Let $F$ be the set of all convex functions $f\colon[0,\infty)\to[0,\infty)$ with $f(0)=0=f'_+(0)$ and $f_+(\infty-)=\infty$, where $f'_+$ is the right derivative of $f$. For any function $f\in F$, its ...
- 128k
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
0
answers
672
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