Special functions, orthogonal polynomials, harmonic analysis, ODE's, differential relations, calculus of variations, approximations, expansions, asymptotics.

learn more… | top users | synonyms (2)

0
votes
0answers
39 views

Comparing Calculation Error in Divergent Numerical Methods

I'm not an expert in numerical methods, but I'm doing a simulation based on non-linear differential equations (General Relativity), there solutions has singularities, thus at some points numerical ...
1
vote
0answers
311 views

What is the Fourier transform of this function?

Consider the function $$ f(x_1,x_2)=|x_1x_2|^{-\alpha/2}\int_{\mathbb{R}} \frac{e^{it(x_1+u)}-1}{i(x_1+u)} \frac{e^{it(x_2-u)}-1}{i(x_2-u)} |u|^{-\beta}du. $$ It is known that $f(x_1,x_2)\in ...
12
votes
2answers
491 views

Surjectivity of curl

Let: $\mathbb R^3\ni x\mapsto v(x)\in\mathbb R^3$ be a vector field with null divergence belonging to the Schwartz class such that $$ \int_{\mathbb R^3} v(x) dx=0. $$ Is it true that there exists a ...
1
vote
0answers
90 views

variation norm of a Fourier transform

Motivated by certain uniform estimate in oscillatory integrals, I am now trying to calculate the Fourier transform of the function ${\large e^{i|t|^{\epsilon}}/t}$ on $\mathbb{R}$, where $\epsilon\in ...
4
votes
1answer
455 views

Elementary Proof of the Uniqueness of Smooth Structures on R

Is there any 'elementary' proof of the uniqueness of smooth structures on $\mathbb{R}$? By elementary, I mean that the proof does not use any sophisticated topological machinery. In particular, I'm ...
0
votes
0answers
86 views

Alternative definition of the Lagrange Inversion formula

While reading this paper, the author provides an alternative definition of the Lagrange inversion formula. Call me crazy, but my intuition tells me that there's something wrong with his derivation. ...
4
votes
0answers
106 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 ...
3
votes
0answers
159 views

Derivative of Wronskian

In the proof of Theorem 2 in this paper here on arxiv on page 10 for $k=2$ it is claimed that if the Wronskian of two solutions $y_1,y_2$ to the differential equation $$-y''_i(x) + q(x) y_i(x) = ...
6
votes
1answer
190 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 ...
3
votes
1answer
246 views

Complete solution set of a Convolutional Equation?

Here is a problem that am I stuck and I appreciate any help. In essence, I am trying to show that the only solutions for the described problem are the ones provided below. Best.. Setup: In what ...
1
vote
2answers
85 views

Finding conditions to guarantee existence of solutions to IVP [closed]

Consider the following IVP: $x'=f(t,x)$ and $x(0)=x_0$, where $x\in \mathbb{R}^n$ and $t\in \mathbb{R}$. Suppose that for all $(t,x)\in\mathbb{R}^{n+1}$, $|f(t,x)|\leq b(t) |x|^2$. In order for the ...
1
vote
0answers
26 views

Taking the potential of a super additive measure

In recent research of my coauthors and me, it has become necessary to consider the Riesz potential of a superadditive measure. Recall that the $s$-dimensional Riesz potential of a finite Borel ...
1
vote
0answers
102 views

How to find a invariant surface of a diffeomorphism

Recently, I read a paper about discrete Schrödinger operator. There is a map related to trace map from $C^3$ to $C^3$ as follows: $$T(x,y,z)=(y,z,yz-x).$$ We can calculated that $T$ has the folliwng ...
0
votes
0answers
38 views

Estimate bounds on Minkowski distance from point to a segment in Lp space

Assumptions Let $L_p(x,y)=(\sum_i|x_i - y_i|^p)^{1/p}$ (Minkowski metric), $a,b$ be arbitrary $n$-dimensional points, $c$ be a point that satisfies $L_p(a,b) = L_p(a,c) + L_p(c,b)$, i.e., a point ...
4
votes
1answer
156 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 ...
0
votes
0answers
121 views

Notion of solution of pde

Let's consider the following Schrodinger equation $$iu_t+\Delta u+F(u)=0$$ in $\mathbb{R}^n$. In Cazenave's book, "Semilinear Schrodinger equation", he defines $H^1$-weak solution as $u\in ...
3
votes
1answer
274 views

Does this function have any exponential growth?

Has anyone seen any function of the following type? $$ g(x):=\sum_{n=0}^\infty \frac{x^n}{n!}\exp\left(-\frac{a^n}{x}\right),\quad a>1,x\ge 0. $$ The question is whether for some constant ...
0
votes
0answers
102 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, ...
-2
votes
2answers
73 views

Systems of ODEs that fulfill a matrix relationship at steady state [closed]

It is well known that for a system of linear ODE $$x'(t) = A(t) \cdot x(t) + b(t)$$ with initial condition $x(t_0) = x_0$, that for a solution at any other time point $t_1$, $x(t_1) = (z_1, \ldots, ...
3
votes
1answer
232 views

Relationship between Laplacian and Hessian on compact Lie groups

If $f: \mathbb{R}^n \rightarrow \mathbb{R}$ is smooth and compactly supported, one has $$\int |\Delta f(\mathbf{x})|^2\,d\mathbf{x} = \int \| Hf(\mathbf{x}) \|_F^2\,d\mathbf{x}\,,$$ where $\Delta$ ...
0
votes
0answers
110 views

A question about the duality principle

Suppose $X$ and $Y$ are finite sets and $K:X\times Y\to \mathbb R$ is some function. We get an integral transform from the space of real functions on $X$ to real functions on $Y$ given by ...
1
vote
1answer
71 views

Condition Number and CFL Condition in Finite difference Methods

when applying a Finite Difference scheme for an IVP, two factors come to mind when considering stability: One factor would be the condition number of the approximation operator. The other factor ...
1
vote
0answers
110 views

Is there a unique solution? [closed]

Let $\mathbf{v}:(a,b)\to\mathbb{R}^2$ be a given continuous function and $t_0\in (a,b)$ a fixed point. Is it true that the following problem has a unique continuous solution ...
1
vote
1answer
132 views

Another type of derivative, and the associated primitive

Let $\mathbf{v}:(a,b)\to\mathbb{R}^2$ be a continuous function, such that $||\mathbf{v}(t)||=1,\ \forall t\in (a,b)$. Find all continuous functions $\mathbf{r}:(a,b)\to\mathbb{R}^2$ so that: $ ...
0
votes
0answers
23 views

Composition of Lossless Systems from Delay and Mixing regarding junction admittance

Given $m_1, \dots m_N \in \mathbb{N}$ and matrix $\mathbf{A} \in \mathbb{C}^{N\times N}$. Let us define a diagonal matrix $\mathbf{D}(z) = diag(z^{-m_1}, \dots, z^{-m_N})$ with $z\in\mathbb{C}$. ...
6
votes
1answer
163 views

Computing certain integrals over high-dimensional polyhedra

Let $\delta>0$ be a small real number and consider the $k$-dimensional region consisting of points for which $$\delta\leq x_1\leq x_2\leq\ldots \leq x_k$$ and $$x_1+\ldots+x_k\leq 1.$$ I am ...
2
votes
2answers
238 views

Is this infinite series related to some well-known special functions?

Please allow me to resort once again to the expertise of the MathOverflow community : During research I encoutered the following infinite series : $$\sum_{n=-\infty}^{+\infty} ...
0
votes
0answers
89 views

How to solve a couple of ODEs

Let $\phi_+ (\phi_-)$ be a strictly increasing (decreasing) function defined on $R_+$ such that $\phi_+(\phi_-)\in\mathcal{C}^0(R_+)\cap\mathcal{C}^1(R_+^{\ast})$ and $\phi_+(0)=0(\phi_-(0)=0)$. ...
6
votes
2answers
354 views

Regularity of random Fourier series

The following two statements appear to be true (but do correct me if I am wrong): The coefficients of a $C^k$ function on the torus $T^n$ decay at least as fast as $x^{-k}$ (where $x$ is some norm ...
1
vote
3answers
185 views

Estimating a sum [closed]

Good morning everyone, I would like to make a question about estimating a sum. Consider the following sum $$S_n:=\sum_{k=0}^{n-1} \frac{k^2}{(n-k)^2 (n+k)^2} $$ It is easy to see that this sum is ...
7
votes
5answers
505 views

Bound on sum of complex summands involving binomial coefficients

I am trying to find the asymptotic behavior of the sum: $$ \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 and I have ...
4
votes
1answer
92 views

Estimate on sum of $J_n^4$

If $J_n(x)$ is the Bessel function of order $n$, we know that for all $x$, $$\sum_{n=-\infty}^{\infty} J_n^2(x)=J_0^2(x)+2\sum_{n=1}^{\infty} J_n^2(x)=1.$$ What is known about $$ ...
1
vote
1answer
79 views

Maximal minimum of Bessel functions

This comes from a scattering problem. Consider the usual non singular Bessel functions of the first kind, $J_n(x)$. It is known that their zeros are countable, and all zeros are distinct. My question ...
0
votes
0answers
62 views

Nonlinear ODE system

Let $\Psi(a) = \frac{a}{2}$ if $a>0$ and $0$ if $a\le 0$. Now we consider the following coupled system of nonlinear ODEs: $$\begin{aligned}&\frac{1}{2}\sigma_1^2 u_1''(x) + \mu_1 u_1'(x) + ...
1
vote
1answer
105 views

Limit-circle and limit-point at endpoints

I was wondering if the following holds: If you have an ODE $$-y''(x) + q(x) y(x) = \lambda y(x)$$ on a finite interval $(a,b)$ and you know that this equation is limit-circle or limit-point at the ...
1
vote
1answer
83 views

Integrals involving trigonometric functions and polynomes

Let $P(x)$ be a real polynome. Specify all such $P(x)$ that one of the next integrals converge: $$ \int_0^{\infty} sin(P(x))dx, \int_0^{\infty} cos(P(x))dx ? $$ Among special cases are such ...
4
votes
1answer
195 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 ...
2
votes
1answer
422 views

A proof from Lang's undergraduate analysis

This is from P.580 of Serge Lang's undergraduate analysis (2nd edition). $\textbf {Proposition 2.3.}$ Let $A$ be an admissible set in $\mathbb R^n$ and assume that its closure $\bar{A}$ is contained ...
-2
votes
1answer
185 views

A calculus question [closed]

Fix $q>1$. Define the function $$ f_q(c):=\int_e^\infty \frac{e^{-c r^2}r}{\log(r)^q}d r. $$ The problem is whether the following is true, $$ \lim_{c\rightarrow 0} c \log(1/c)^q f_q(c) = C \in ...
1
vote
1answer
193 views

Name for series $\sum f_n x^n / (n! (n+k)!)$

Let $(f_n)_{n\ge0}$ be a real sequence. Then $\sum f_n {x^n \over n!}$ is called the exponential generating function of $(f_n)$. Let $k\ge0$ be a nonnegative integer. If we add another factorial ...
3
votes
2answers
320 views

Consistent price index

This question came out of a discussion with a colleague from economics about price indices. Here is MattF's formulation of the question which differs somehow from the original problem. Let ...
15
votes
0answers
272 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 ...
2
votes
1answer
102 views

ODE system has zero as the only solution?

Let $V \subset H$ be a continuous, compact and dense embedding with $V$ and $H$ Hilbert spaces. Let $\beta_j:[0,T] \to \mathbb{R}$ be functions for each $j$, and let $v_j$ be a basis of $V_0$. ...
1
vote
1answer
35 views

Convergence in distribution and ODE

Assuming we have an ODE $y'_n(x) = f_n(x) y_n(x)$ with $f_n$ be Gauß-densities with mean value 0 and variance $\frac{1}{n}$, then we have that they converge in distribution to a delta peak $δ(x)$. ...
1
vote
1answer
194 views

Generalization of the triple tangent identity

It is well known that if $x + y + z = \pi$ then $$\tan x \times \tan y \times \tan z = \tan x+ \tan +\tan z.$$ I came across the following generalization of this equality: $$\sqrt{1-k^2} {\rm ...
1
vote
1answer
38 views

Can we implicitly fit a system of linear ODEs by reduced information?

Assume we are given several initial vectors $x^{(1)},\ldots,x^{(r)} \in \mathbb{R}^n$, where the dimension $n$ is in the range of 50 to 100, and the number of initial vectors $r$ is in the range of ...
2
votes
1answer
64 views

The asymptotic distribution of a subset of Bessel function zeroes

For a research problem I am working on in PDE, I need to obtain asymptotics for the counting function of $$\{0<\alpha <\lambda: \exists n\in \mathbb{N} \textrm{ such that }J_n(\alpha)=0 \textrm{ ...
0
votes
0answers
93 views

Lyapunov stability, nonlinear system

Please, is there any reference for proposition below or does it perhaps follow from a standard fact? I've got it for some other problem but I actually do not know how to comment it in my article. ...
3
votes
0answers
118 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
votes
2answers
166 views

How to study analytically this ODE?

I have tried to find some known ODEs before posting on this forum, but I did not find anything about this kind of ODE: $y'(x)^2 + a(x)*y(x)^2 = 1$ with $a\in C^∞(\mathbb{R},\mathbb{R})$ and $y\in ...