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
63 views

how in can to extend the adjoint

Let $T_{a},a\in C$ be a closed operator defined on $D$ subspace of $L^{2}(R)$ onto $L^{2}(R)$ $(T_{a}: D\rightarrow L^{2}(R) )$ with $D$ contains a Schwartz space $S$. ...
2
votes
0answers
150 views

Euler-Maclaurin Formula Review

I'm using the Euler-Maclaurin formula in a research I'm working on. However brilliant is the elementary proof found here, I need and want to know more about it. Namely Generalizations to broader ...
-5
votes
0answers
58 views

how to prove the inequality on hold? [on hold]

Question:How to prove the following inequality? Is there anyone who can tell me ?thank you $$(x-y)^{\gamma}\leq x^{\gamma}- y^{\gamma}, \forall x\geq y\geq 0$$ where $\gamma>3/2$
-3
votes
0answers
24 views

unable to solve this differential equation [migrated]

$\frac{dy}{dt}=(1-y)(1+6y)$ How can I solve this, please help. I tried using Classical Runge-Kutta , but the results are not satisfying. Can anyone suggest some other method?
2
votes
1answer
164 views

Is there a matrix that converts the gradient of every possible function to gradient of other function?

I have already asked this question on math.stackexchange.com http://math.stackexchange.com/questions/1789476/is-there-a-matrix-that-converts-the-gradient-of-any-function-to-gradient-of-othe Now I ...
6
votes
1answer
193 views

Is the exponent $2$ sharp in the Balog-Szemerédi-Gowers Theorem?

The Balog-Szemerédi-Gowers theorem can be stated in the following form: let $A,B$ be subsets of $\mathbb{Z}/n\mathbb{Z}$ (say) with equal cardinality, such that $$ \|1_A*1_B\|_2 \ge K^{-1} \|1_A\|_1 ...
2
votes
1answer
142 views

Ramanujan-type sum

Could you show that $$\sum _{k=0}^{\infty } \frac{k}{e^{\frac{\pi k}{2}}+1}=\frac{7 \pi ^2+6 \left(\psi _{e^{2 \pi }}^{(1)}(1)+\psi _{e^{2 \pi }}^{(1)}\left(1-\frac{i}{2}\right)-\psi _{e^{2 \pi ...
1
vote
0answers
95 views

Ramanujan sum type

I try to show $$\sum _{k=1}^{\infty } \frac{e^{-2 k} k}{e^{-2 k}+1}=\frac{\pi ^2}{48}-\frac{\pi ^2-6 \left(\psi _{e^{\frac{\pi ^2}{2}}}^{(1)}(1)+\psi _{e^{\frac{\pi ^2}{2}}}^{(1)}\left(\frac{-2 i+\pi ...
1
vote
0answers
44 views

Dirichlet series decomposition of arbitrary function

Originally asked on MSE here: http://math.stackexchange.com/q/1780149/52694 Analytic functions can be decomposed into a Taylor series, and furthermore the Taylor series converges back to the original ...
1
vote
0answers
52 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 ...
3
votes
1answer
76 views

Algorithm for definite integral of rational functions of x and exp(-x)

I'd like to find the class of functions that may appear as definite integrals of a rational function of $x$ and $\exp(-x)$ from $0$ to $\infty$. For that I imagine there might be an algorithm to ...
3
votes
0answers
57 views

Factoring Bessel functions into an amplitude and a phase

Take some $\nu>0$. Let $J_\nu(x)$ be the Bessel function of the first kind. Let's restrict its domain to $\mathbb R^+$. Is it possible to find a pair of functions $A_\nu(x), \phi_\nu(x):\mathbb ...
7
votes
1answer
149 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 ...
0
votes
1answer
69 views

Question on Littlewood-Paley trichotomy

In proving the product estimate, we need the Littlewood-Paley trichotomy. See http://www.math.ucla.edu/~tao/254a.1.01w/notes3.ps. In the decomposition $$P_k (fg)=\sum_{k',k''\in Z} P_k (P_{k'} f ...
0
votes
2answers
52 views

Functions with scalar times orthogonal Jacobian [duplicate]

I am interested in understanding functions $f:\mathbb{R}^d \rightarrow \mathbb{R}^d $ whose Jacobian at every point $x \in \mathbb{R}^d$ is a scalar times an orthogonal matrix. I've seen a similar ...
0
votes
1answer
79 views

Branches of the tetration function

Letting $\eta = e^{1/e}$ where $e$ is Euler's constant, there exists a function $F(z)=\, ^z \eta$ with the following relevant properties. (I won't bother showing the existence of this function, or the ...
0
votes
0answers
28 views

Fourier tranform of the Euclidean norm [migrated]

where can I find the Fourier transform of the power of the Euclidean norm?, that is: $$\mathcal{F}[\|x\|^{p}](\omega) = \int_{\mathbb{R}^{d}}\exp(-2\pi i \langle\omega, x\rangle) \|x\|^{p} dx$$ ...
7
votes
1answer
251 views

Rotation invariance of an integral

Consider the integral depending on 2 parameters $$f(\tau,x):=\int_{-\infty}^{+\infty}\frac{dp}{\sqrt{p^2+1}}e^{-\sqrt{p^2+1}\tau+ipx},$$ where $\tau >0,x\in \mathbb{R}$. This integral absolutely ...
3
votes
2answers
233 views

Nice way to express $H^{-1}(\mathbb{S}^1)$

I am looking for a good way to write down what $H^{-1}(\mathbb{S}^1)$ is. What do I mean by this: Well, certainly one can define this space via charts that map from the sphere into $\mathbb{R}^2$ and ...
2
votes
0answers
110 views

Modified Jacobi’s theta function

Be $t\in\mathbb{R}_0^+$. Jacobi’s theta function is $$\Theta(t):=\sum\limits_{k=-\infty}^{+\infty} e^{-\pi k^2 t}$$ with $$\Theta(\frac{1}{t})=\sqrt{t}\Theta(t)$$ Therefore $$\sum\limits_{k=1}^\infty ...
1
vote
0answers
34 views

convergence of ODE [closed]

I have 2 coupled linear ODEs. I used Mathematica to solve for analytical solution. But the analytical solution looks too complicated. I only need to derive some monotonicity property of the solution. ...
2
votes
3answers
235 views

Nonzero solutions of an infinite product

Let $-\frac{1}{2}\le a \le\frac{1}{2}$ and $b\in[0,\infty)$. Definitions: $$f_k(a;b):=\frac{(2k+\frac{1}{2}+a)^2+b}{(2k+\frac{1}{2}-a)^2+b}(\frac{k}{k+1})^{2a},$$ $$f(a;b):=\prod\limits_{k=1}^\infty ...
2
votes
2answers
89 views

Analytic continuation of a specific integral with respect to a parameter

The following integral absolutely converges for $Re(z)<0$ and is analytic in this domain: $$F(z):=\int_{0}^{+\infty}\frac{\sin r}{r}e^{\sqrt{r^2+m^2}z}dr ,$$ where $m>0$ is fixed. Question. To ...
1
vote
1answer
140 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
votes
0answers
45 views

Harmonic functions in tempered distribution sense

Suppose $g$ is a metric on $\mathbb{R}^3$ and $\Omega \subset\subset \mathbb{R}^3$. We assume that $g$ is euclidean outside $\Omega$. My question concerns solutions to $\triangle_g u =0$ that are say ...
0
votes
0answers
28 views

Uniqueness and Properties of Nonlinear 2nd Order ODE with Asymptotically Constant Coefficients

I have the following differential equation: $$ V(z) = e^z [1-\varphi(\gamma)]+(\gamma-g)V'(z)+\frac{1}{2}\kappa^2 V''(z)$$ with $$ e^z \varphi'(\gamma) = V'(z)$$ where $\varphi(\cdot)$ is a ...
2
votes
0answers
42 views

1D inhomogeneous linear Schrodinger equation

I have the following problem: $iu_t - u_{xx} = f$ on the interval $[0,L]$ with $u(0,t)=u(L,t)=0$ and $u(x,0)=0$. I can show that $\|u\|_{L^2(x,t)}$ (space-time) is controlled by the norm ...
2
votes
0answers
27 views

A question about Carleman linearization

Carleman linearization is a technique used to embed a finite dimensional system of analytic ordinary differential equations into an infinite system of linear differential equations:¹⁻² Let $f$ be ...
5
votes
4answers
392 views

How do the roots of a polynomial change when another polynomial is added?

I need to obtain an analytical solution to an equation of the following form: $$ (x-a)(x-b)(x-c)=d(x-e)(x-f), $$ where $a$, $b$, $c$, $d$, $e$, and $f$ are known numbers and $x$ is the variable. Of ...
1
vote
1answer
154 views

find solution of complex number recurrence equation

I have the following recurrence equation: $$(\mu\ n + \nu) f_{n} + J\Phi^{*} \sqrt{n+1}f_{n+1} + J\Phi\ \sqrt{n}f_{n-1} = 0$$ for complex numbers $f_{n}$ where $n = 0,1,2,3,...,\infty$ and complex ...
2
votes
0answers
76 views

Is a one-dimensional unstable manifold of an ODE a union of the associated equilibrium point and two full orbits? [closed]

Consider an ordinary differential equation (ODE) system \begin{align} \frac{dx}{dt} = f(x) \end{align} where $x \in \mathbb{R}^n$ ($n \geq 2$) and the vector field $f$ is defined on an open subset $X$ ...
2
votes
1answer
135 views

Proof of Euler's reflection formula via rapidly decreasing Fourier series

Story I want to prove Euler's reflection formula by showing that \begin{equation*} f(s) = \sin(\pi s) \Gamma(s) \Gamma(1 - s) \end{equation*} is constant, where $s = \sigma + it$. It's easy to see ...
0
votes
0answers
88 views

Does this set of (structured) equations always have a solution?

Let $r_1,\ldots,r_K$ be arbitrary positive numbers. Does $$|\mathcal{A}|\log\left(1+\frac{1}{|\mathcal{A}|}\left(\sum_{n\in \mathcal{A}} \sqrt{x_n(\exp(r_n)-1)}\right)^2\right)\leq \sum_{n\in ...
3
votes
1answer
98 views

π based on the perimeter of inscribed polygons [closed]

So, last year I got obsessed with the idea of finding a way to calculate π that wasn't already done. After reading some history, the Greek idea of measuring polygons inscribed within circles and ...
5
votes
1answer
612 views

Is the following integral nonzero?

Recently I met an integral as follow: $$\int_0^{2\pi}\cdots\int_0^{2\pi}\left(\prod\limits_{1\leq ...
3
votes
2answers
118 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
1answer
87 views

Estimate a Fourier Transform [closed]

I'm reading an article which claims the following result (p.9): if $f : \mathbb{R}^{2} \to \mathbb{R}$ is of the form $f(x_1,x_2) = \sin (N x_{1}) h (g^{-1}(x))$, where $g$ is a diffeomorphism and $h$ ...
2
votes
0answers
57 views

What does the square root sign tells us in the wave equation? [closed]

I have been reading the paper on wave equations, and I have some confusion in notations. Consider the initial value problem(IVP)(Wave equation): $\frac{\partial ^2 u } {\partial t^2}(x,t) = ...
48
votes
1answer
2k views

Square root of dirac delta function

Is there a measurable function $ f:\mathbb{R}\to \mathbb{R}^+ $ so that $ f*f(x)=1 $ for all $ x\in \mathbb{R} $, i.e $$\int\limits_{-\infty}^{\infty} f(t)f(x-t) dt=1 $$ for all $ x\in \mathbb{R} $.
36
votes
5answers
1k views

Undergraduate ODE textbook following Rota

I imagine many people are familiar with the extremely entertaining article "Ten Lessons I Wish I Had Learned Before I Started Teaching Differential Equations" by Gian-Carlo Rota. (If you're not, do ...
5
votes
2answers
127 views

Integral over the Cantor's set Hausdorff dimension

As can be seen in the David Morin's Classical Mechanics, there are some scaling strategies in order to calculate the moments of inertia of certain fractals, for example, the Cantor's set has a moment ...
2
votes
0answers
110 views

The boundedness of an entire function along the imaginary axis

I am looking for an answer in the affirmative or the negative concerning the asymptotics of an entire function. The question, relatively simple to state, has proven very taxing to solve and requires ...
5
votes
1answer
135 views

Multidimensional integrals that diverge by oscillation

It's not hard to extend the theory of integration over ${\bf R}$ so that the integral of any compactly supported function is its usual value, while the integral of $f(t) = \cos (at+b)$ (with $a \neq ...
2
votes
1answer
49 views

How to relate this summation to standard discrete cosine transformation?

The standard type III discrete cosine transformation (DCT) is defined as follows: $${X_k} = \frac{1}{2}{x_0} + \sum\limits_{n = 1}^{N - 1} {{x_n}} \cos \left[ {\frac{\pi }{N}n\left( {k + \frac{1}{2}} ...
2
votes
1answer
86 views

Lebesgue measurability of singular set

Let $\Omega$ be a bounded domain in $\mathbb{R}^{d}$ and $f:Q\to\mathbb{R}$ be continuous function. Define a superdifferential of $f$ at $x\in Q$ by $$ D^{+}f(x)=\{p\in\mathbb{R}^{d} \mid ...
0
votes
2answers
77 views

Root of a special rational function with positive coefficients

During my research I came across the following problem: I need to find a root of the following function: $$\Gamma_{N}(x) = \sum\limits_{i=0}^{M}\left(\frac{\sum\limits_{n=0}^{n_F}n\ \alpha_{i,n} ...
6
votes
0answers
203 views

Nonzero solutions to the functional ODE $f'(x)=f(f(x))$

Does $\frac{df}{dx}=f(f(x))$ have nonzero solutions? And if so, what analytic/numerical methods can be used to characterize them?
0
votes
0answers
31 views

Interpolation functional for BV spaces?

Recently, while trying to tackle a problem, I found that it would be convenient that I could find some sort of 'interpolation theorem' for Bounded Variation Spaces. More specifically, let's define, ...
3
votes
2answers
73 views

Sequence of subharmonic functions on shrinking domains

Set $G_\eta:=\{(x,y)\in \mathbb{R}^2|-\eta<x<\eta, 0<y<1\}$. If $u_\eta\geq 0$ is a sequence of subharmonic functions defined on $G_\eta$ such that $$ \int_{G_\eta}|u_\eta|^2dx\wedge ...
1
vote
1answer
76 views

On Wazewski's theorem on system of differential inequalities

According to Springer's Encyclopedia of Math entry on differential inequalities, T. Wazewski proved in 1950 the following theorem: Consider the system of differential inequalities given by $$ ...