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

learn more… | top users | synonyms (2)

-1
votes
0answers
15 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) = ...
5
votes
1answer
144 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 ...
0
votes
1answer
110 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 ...
-9
votes
1answer
153 views

Do the mathematicians really know the exact values of what usually called “indeterminate forms”? [closed]

First of all I would point out that exact value of a function and the limit of the function in that point do not necessarily coincide. For instance, it is often assumed that $0^0=1$ even though the ...
1
vote
2answers
65 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
19 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
92 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
28 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
110 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
114 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
255 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
76 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
48 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
136 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
102 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
38 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
97 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
109 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
18 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
138 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
204 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
64 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)$. ...
5
votes
2answers
231 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
178 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
453 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
82 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
64 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
60 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) + ...
2
votes
1answer
79 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
72 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
163 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
369 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
178 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
173 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
303 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 ...
14
votes
0answers
258 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
89 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
124 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
34 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
57 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
77 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
95 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
159 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 ...
1
vote
0answers
52 views

How naturally can functions defined by parametric integrals be interpolated from $\mathbb N$ to $\mathbb R^+$?

It is well known that several definite integrals $I_n$ containing a parameter $n\in\mathbb N$ can be expressed recursively (e.g. doing integration by parts) in terms of $I_{n-1} $ or $I_{n-2} $, and ...
0
votes
1answer
142 views

Can a smooth function on a cross be extended to the whole plane?

Consider a real function on the union of two lines R×0 and 0×R in R² whose restrictions to R×0 and 0×R are smooth functions R→R. Is it possible to extend this function to a smooth function on R²? ...
3
votes
1answer
124 views

Hardy-type inequality for point boundary

Let $f$ be in $W^{2,p}(\mathbb{R}^n)$ for $n\geq 3$ and $p>n/2$, with $f=0$ at the origin. I want to show that the integral $$\int_{B(0,r)} (f |x|^{-2})^p dV <\infty$$ for some small $r>0$. A ...
1
vote
0answers
66 views

A question about the existence of a solution for an ODE

Let $\gamma_+$, $\gamma_-:\mathbb{R}_+\to\mathbb{R}$ be two given functions. Assume that $\gamma_+$ ($\gamma_-$) is smooth, strictly increasing (decreasing) and $\gamma_{+}(+\infty)=+\infty$ ...
0
votes
0answers
130 views

path integral and index theorem

I actually have an integral which is used to prove Atiyah-Singer index theorem for spin complex in a path integral fashion. The integral I need to evaluate is following (in simplified form) $\int ...
0
votes
1answer
59 views

Zeroes of Sturm-Liouville solutions as a function of the (complex) eigenvalue

Given the Sturm-Liouville type (time independent Schroedinger) equation \begin{equation} \frac{d^2 y}{d x^2} - \left(\mu + V(x)\right) y = \lambda \, y,\quad x \in \mathbb{R} \end{equation} where ...