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

learn more… | top users | synonyms (2)

4
votes
1answer
341 views

Integral of a product of Laguerre polynomials

In order to estimate the non linear term in a particular PDE, I have to decompose $L_k^\alpha(x)^3\cdot x^{-\delta}$ (with $0<\delta<\alpha+1$) into a basis consisting of Laguerre polynomials ...
0
votes
0answers
74 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
219 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
59 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
40 views

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

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, ...
2
votes
2answers
115 views

Some Questions from Reading on Wave Front Set from Hormander's Linear PDE Vol. 1

In Hormander's Linear PDE Vol. 1 (pg 252-253, before the definition of wave front set is introduced), Lemma $8.1.1$ says that if $\phi \in C_{0}^{\infty}$ and $v \in \mathcal{E}^{\prime}$, then ...
0
votes
0answers
37 views

Initial Value for an ODE Problem [on hold]

I have the following ODE $\mathbf{A}\dfrac{d\vec{y}}{dt}+\mathbf{B}\vec{y}=\vec{x}$, where $\vec{y}$ and $\vec{x}$ are $n\times1$ vectors and are functions of $t$, and $\mathbf{A}$ and $\mathbf{B}$ ...
1
vote
1answer
167 views

All solutions to a set of integral equations

I would like a better understanding of the set of pairs $(f_1,f_2)$ of functions $[0,1] \times [0,1] \to [0,1]$ which satisfy the following conditions: For all $y \in [0,1]$, $f_1(x,y) \geq ...
20
votes
9answers
2k views

When does the zeta function take on integer values?

Here $\zeta(s)$ is the usual Riemann zeta function, defined as $\sum_{n=1}^\infty n^{-s}$ for $\Re(s)>1$. Let $A_n=${$s\;:\;\zeta(s)=n$}. The behaviour of $A_0$ is basically just the Riemann ...
2
votes
1answer
85 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
1answer
109 views

Energy of repeated filter

For given sequences $a=(a_1, a_2, \cdots)$ and $b=(b_1, b_2, \cdots)$, define $$a \star b$$ as the convolution. Formally, $$c=a \star b$$ implies the $i$th element of $c$, $c_i$, satisfies the ...
28
votes
7answers
3k views

formal power series convergence

I have spent some time using gp-pari. There is, of course, a formal power series solution to $ f(f(x)) = \sin x.$ It is displayed, below, identified by the symbol $g$ because I am not entirely sure ...
2
votes
1answer
238 views

Differentiability: Partially Defined Functions

These ideas came to my mind while reading Lee's Introduction to Smooth Manifolds. (Cf. discussion on p. 45.) Definition Let $E$ and $F$ be two Banach spaces together with a plain subset ...
0
votes
0answers
96 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 ...
2
votes
1answer
287 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 ...
1
vote
0answers
49 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 ...
8
votes
1answer
638 views

How to rearrange only negative part of a conditionally convergent series to get any sum greater then initial?

Suppose that $\sum^\infty_{n=1} u_n = s,$ where the series converges conditionally, and $s'>s$. How to prove the existence of such a permutation $\sigma,$ such that 1) $u_n\geq 0 \rightarrow ...
1
vote
1answer
29 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 ...
3
votes
1answer
388 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 ...
3
votes
1answer
239 views

First integrals of a 3D incompressible flow

Let $\Omega$ be an unbounded periodic smooth domain of $\mathbb{R}^3$. We are Given an incompressible vector field $q:\Omega\subset\mathbb{R}^3\rightarrow \mathbb{R}^3$ (i.e. $\nabla\cdot q\equiv 0$ ...
7
votes
1answer
227 views

A conjecture about the measure estimates of a trigonometric polynomial

Formulation of the Conjecture Let $\Omega =(0,\pi)\times (0,2\pi)\subset\mathbb R^2$ and let $\psi:\Omega\to \mathbb{R}$ defined by $$\psi(x,t)=\sum_{k\in S \,j\in S'} \sin(kx)\left( ...
8
votes
1answer
344 views

Basic examples of induction on scales arguments

An important ingredient in recent progress on Euclidean harmonic analysis has been that of "inductions on scales". A few examples are the papers of Wolff, Tao, and Bourgain and Guth. Here is a ...
9
votes
2answers
320 views

On the convexity of certain integrals involving Bessel functions

Let $n\geq 0$ be an integer and let $J_n=J_n(r)$ denote the usual Bessel function (of the first kind) of order $n$ i.e. one of the solutions to Bessel's differential equation ...
1
vote
0answers
87 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
82 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: $ ...
3
votes
2answers
1k views

Arctangents and the golden ratio

Why is the golden ratio lurking in $(d/dx)\arctan\left( x + \frac{1}{x} \right)$ $$ = \frac{\left(\frac{1+\sqrt{5}}{2}\right)}{x^2 + \left(\frac{1+\sqrt{5}}{2}\right)^2} + ...
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}$. ...
0
votes
0answers
142 views

Hammerstein integral equation with inverse of the solution

In signal processing theory I found this integral equation that I recognized to be of Hammerstein type: $$u(t)-\int_{0}^{1}d\phi cos(\omega t+\phi)\frac{1}{u(\phi)}=0$$ Unfortunately the solution ...
6
votes
1answer
131 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 ...
0
votes
1answer
103 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 ...
0
votes
0answers
63 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)$. ...
2
votes
1answer
161 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} ...
12
votes
1answer
311 views

Lower-Hölder embeddings of the sphere

My question is very simple: Given $d\ge 3$, does there exist $s\in (0,1)$ and an embedding $f:S^{d-1}\to \mathbb{R}^d$ such that $$ |f(x)-f(y)| \ge |x-y|^s \quad\textrm{if } |x-y|<r, $$ for ...
5
votes
2answers
219 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 ...
19
votes
9answers
3k views

Function with range equal to whole reals on every open set

There is an example of a function that is unbounded on every open set. Just take $f(n/m) = m$ for coprime $n$ and $m$ and $f(irrational) = 0$. I want to generalize this in a way to get a function ...
7
votes
5answers
443 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 ...
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 ...
4
votes
1answer
79 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
61 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 ...
1
vote
1answer
147 views

Intermediate value theorem for the Jacobian determinant restricted to a curve

Let $f:R^N \to R^N$ be a differentiable mapping, and $J_f$ its Jacobian determinant. Suppose that $\exists a,b \in R^N : J_f(a)<0,J_f(b)>0$. Is it right that on every continous curve connecting ...
9
votes
1answer
553 views

A differential inequality needed to prove a theorem about odd-dimensional souls

I need a solution to this problem (which is really a calculus problem) in order to prove a rigidity result for open nonnegatively curved manifolds with odd-dimensional souls: Suppose that ...
0
votes
0answers
54 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) + ...
4
votes
1answer
157 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 ...
1
vote
1answer
69 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 ...
2
votes
1answer
77 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 ...
-2
votes
1answer
175 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 ...
4
votes
0answers
184 views

Inverse Function Theorem on Zygmund Spaces, is the inverse in the same Zygmund Space?

Preliminary Definitions Let $\Omega \subset \mathbb{R}^n$ be open. We define the Zygmund spaces $C^r_{*}(\Omega)$ with $r>0$, $r \in \mathbb{R}$ in the following way: (all the functions are ...
3
votes
2answers
298 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 ...
1
vote
1answer
168 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 ...
14
votes
0answers
247 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 ...