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

learn more… | top users | synonyms (2)

2
votes
0answers
58 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
30 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
44 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 $\|f\|_{L^2(...
2
votes
0answers
31 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
419 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
159 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
79 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
143 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
89 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
103 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
620 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 i<j\leq9}\sin\frac{\theta_i-\theta_j}{2}\right)\left(\prod\limits_{i=1}^9(1+\cos(\theta_i-\theta_{i+...
3
votes
2answers
120 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
99 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
61 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) = \...
50
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
141 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
114 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
138 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 0$...
2
votes
1answer
51 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
87 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 \text{$f(y)\...
0
votes
2answers
78 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} x^n}{...
6
votes
0answers
205 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
34 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
74 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 dy\...
1
vote
1answer
81 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 $$ \...
6
votes
0answers
190 views

Density of polynomials in $C^k(\overline\Omega)$

Let $\Omega$ be an open and bounded subset of $\mathbb{R}^2$ and let $C^k(\Omega)$, $1\leq k<\infty$, be the space of functions $f$ with continuous derivatives of order $\leq k$ in $\Omega$, ...
5
votes
0answers
89 views

Complex L^1 spaces; reference request

I have been doing a fair amount of research into a complex analytic modified version of the Mellin transform. I have hit a few roadblocks, and am hoping there may already be literature on the subject. ...
6
votes
2answers
203 views

Solution set of non-unique solutions to First order ODE's

In short: What can we say about the collection of all solutions of an ODE when we don't have uniqueness? When we teach a first course in ODE's, we look at the equation $f:D\to \mathbb{R}, \quad D\...
1
vote
1answer
70 views

Lower Matuszewska index of positive increasing $O$-regular functions

I am not sure if this question is too specific on notations (I think the question is intuitive, but basically the only reference I know with this kind of notations is Bingham, Goldie & Teugels ...
1
vote
1answer
29 views

Fractional sobolev regularity of a truncated function

I want to generalize the following result to fractional derivatives, specifically the fractional Laplacian. Consider a function f which belongs to L2, and all its first order distributional ...
1
vote
0answers
62 views

Properties of a Sobolev bound

I am interested in computing $$ A:=\inf_{f\in L^{2}(\mathbb{R}^3)}\frac{||K^{\frac{1}{4}}f||_2^2}{||f||_{\frac{5}{2}}^2} $$ where $K:=-\Delta+1$. We call $f_c$ the function that saturates the bound. ...
2
votes
0answers
76 views

Lojasiewicz's structure theorem

The Lojasiewicz structure theorem on p. 169 in the book of Krantz/Parks A primer of real analytic functions confuses me. According to the stratification property, the zeroes of a real analytic ...
1
vote
1answer
56 views

Upper-bounding the value of a generalized Laguerre polynomial (using recurrence relation?)

I would like to produce an easily-interpretable explicit upper bound (i.e. no unspecified constants) for the function $$ f(n) := L_n^{\left(-n-\frac{d}{2}\right)}\left(-\frac{1}{2}\right), \quad n,d \...
1
vote
0answers
25 views

Duality of plurisubharmonic functions

Let $F$ be a cone of upper bounded upper semicontinuous functions on a compact set set $X$ containing all the constants. Let $z\in X $ and define a class of positive measure by $$M_z^F=\{ \mu : u(z)...
1
vote
0answers
63 views

inverse problem to resolution of the identity

Suppose $f_\lambda(x),\lambda \in \mathbb{R}$ is a continuous/smooth family of bounded function on $\mathbb{R}$. Given a measurable set $\mathfrak{m}$ on $\mathbb{R}$, define $$E_\mathfrak{m}:L^2\...
-1
votes
1answer
51 views

Does element-wise concavity guarantee joint concavity?

I have a function of two variables, and I have checked that along one direction (fixing another variable), it is a monotonically increasing and concave function. Whereas in another direction (fixing ...
1
vote
0answers
45 views

Convex Hull and Least Area Discs in Riemannian 3-Manifolds

Let $M$ be a complete Riemannian 3-manifold and $\gamma \subset M$ a simple closed curve that bounds a least-area disc $D$ - a disc that minimizes the area among all discs bounded by $\gamma$. Let $...
3
votes
0answers
84 views

continuous linear recurrent relations

For a function $f:\mathbb{R}\rightarrow \mathbb{R}$ denote $f_0(x)=x$, $f_n(x)=f(f_{n-1}(x))$. Assume that $f$ satisfies a functional equation $$f_n(x)+a_{n-1} f_{n-1}(x)+\dots+a_0 f_0(x)\equiv 0$$ ...
1
vote
1answer
258 views

Ordinal of injectivity for a smooth regular curve with a finite arc-length

Let $\gamma: [a,b]\to\mathbb{R}^d$ defined by $$\gamma(t)=(\gamma_1(t),\dots,\gamma_d(t)) $$ be a smooth (i.e., $\gamma\in C^\infty (\mathbb{R}))$ and regular ($\gamma^\prime(t)\neq \vec 0$) curve ...
1
vote
0answers
70 views

Expansion of a power series as integral of cosine functions

Suppose $$f(x)=\sum_{k=0}^\infty (-1)^k x^{2k} \int_0^1 p(\xi_{2k})\int_0^{\xi_{2k}}q(\xi_{2k-1})\cdots\int_0^{\xi_3}p(\xi_2)\int_0^{\xi_2}q(\xi_1) d\xi_1 \;d\xi_2\cdots d\xi_{2k-1}\;d\xi_{2k},$$ ...
16
votes
3answers
385 views

Evaluating an infinite sum related to $\sinh$

How can we show the following equation $$\sum_{n\text{ odd}}\frac1{n\sinh(n\pi)}=\frac{\mathrm{ln}2}8\;?$$ I found it in a physics book(David J. Griffiths,'Introduction to electrodynamics',in ...
3
votes
1answer
207 views

bounded analytic function as a power series

Suppose $$f(x)=\sum_{k=0}^\infty a_k\frac{(i x)^k}{k!}$$ where $$a_k=k!\int_0^1 p_k(y_{k-1})\int_0^{y_{k-1}}p_{k-1}(y_{k-2})\cdots \int_0^{y_1}p_1(y_0) dy_0\cdots dy_{k-2}\;dy_{k-1}$$ for functions $...
11
votes
2answers
304 views

How to prove that $\int _0^\infty\frac{\text{arcsinh}^nx}{x^m}dx$ is a rational combination of zeta values?

For $n\ge m\ge 2$, define $$I(n,m):= \int _0^\infty\dfrac{\text{arcsinh}^nx}{x^m}dx$$ Computer algebra systems say that the indefinite integral can be expressed in terms of polylog functions (of ...
0
votes
0answers
29 views

Representation of multi-variable functions as a composition of 1- or 2-variable functions [duplicate]

This is a re-post of my question from M.SE that remains unanswered for several months. I'm familiar with Kolmogorov–Arnold representation theorem, but AFAIK their construction makes essential use of ...
3
votes
2answers
208 views

Extremal problem for sequences

Let $a_n$ be a sequence of positive numbers and define $$A_n=\sum_{k=1}^{n-1} a_k a_{n-k}.$$ I am interested in the supremum of the following quantity $X/Y$ where $$X=\sum _{i=1}^{\infty } \left(\sum ...
7
votes
1answer
190 views

Asymptotics of a special function

In my research, I came up with a special function which I denote by $B(q)$ and is defined by the integral $$B(q)\equiv \int_{-\pi/2}^{\pi/2} \frac{\sin\left(\frac{q}{2}\tan\theta\right)}{\sin\theta}d\...
13
votes
1answer
429 views

Does there exist some $C$ independent of $n$ and $f$ such that $ \|f''\|_p \geq Cn^2 \| f \|_p$, where $1 \leq p\leq \infty$?

Let $f$ be a trigonometric polynomial on the circle $\mathbb{T}$ with $\hat{f}(j) = 0$ for all $j \in \mathbb{Z}$ with $\lvert j \rvert < n$. Does there exist some $C$ independent of $n$ and $f$ ...
2
votes
1answer
137 views

Using $H^2$ to find a cyclic vector in $\ell^2$

Let us consider $\ell^p(\mathbb{Z})$. We know that the vector $e_1=(\dots,0,0,1,0,0,\dots)$ is a cyclic vector in sense that given the right shift operator $S:(\dots,x_0,x_1,x_2,\dots)\mapsto (\dots,...
3
votes
1answer
146 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$...