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

learn more… | top users | synonyms (2)

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
166 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 ...
1
vote
1answer
64 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
28 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
61 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
68 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
46 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
24 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 : ...
1
vote
0answers
61 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 ...
-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
44 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
82 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
253 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
69 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},$$ ...
15
votes
3answers
367 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
288 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 ...
1
vote
1answer
119 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
183 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} ...
13
votes
1answer
411 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 ...
3
votes
1answer
141 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 ...
10
votes
1answer
207 views

Calculation of the integral related to the gravitational shock wave

The following integral $$\int\limits_0^\infty \frac{\cos{\left(\frac{1}{2}\sqrt{3}s\right)}}{\sqrt{\cosh{s}-\cos{\theta}}}\,ds$$ can be found in the paper Tevian Dray and Gerard 't Hooft, The ...
6
votes
1answer
153 views

The unique positive real root of summation function

update: add one condition according to answer below. I post this question in MSE a week ago. I thought this should be an easy freshman exercise, but it turns out not easy... The original question ...
2
votes
0answers
96 views

Lie Symmetries of the Bessel Differential Equation

The Bessel differential equation has an arbitrary looking form, but a lot is known about it. $$ x^2 \frac{d^2 y}{dx^2} + x \frac{dy}{dx} + (x^2 - n^2)y = 0 $$ Is there a way to derive the Bessel ...
6
votes
0answers
216 views

An inequality which involves a sum of integrals

Please help me to prove $$ \sum\limits_{j=2}^n \frac{1}{j^\alpha (j-1)^\alpha} \int\limits_{j-1}^j \frac{dx}{x^{1-\alpha}(n-x)^\alpha} \leq \int\limits_0^1 \frac{dx}{x^{1-\alpha}(n-x)^\alpha},\quad ...
2
votes
2answers
150 views

Pointwise convergence for continuous functions

Let $f_n:[0,1]\rightarrow \mathbb R$ be a sequence of continuous functions converging pointwise, i.e. such that $\forall x\in [0,1]$, the sequence $(f_n(x))_{n\in \mathbb N}$ converges. We set ...
0
votes
0answers
52 views

Some problems about symmetric convolution semigroup on the unit circle

These are problems from Example 1.4.2 of Fukushima's book "Dirichlet forms and symmetric Markov processes". Let $\Lambda$ be the set of all real sequences $\left\{\lambda_n\right\}_{n\in\mathbf{Z}}$ ...
0
votes
0answers
67 views

Necessary condition for decouplings for surfaces in $\mathbb{R}^4$

I'm currently studying the paper Decouplings for surfaces in $\mathbb{R}^4$ written by Bourgain and Demeter. This paper is available in here. As an example of nondegenerate $2$-dimensional surfaces ...
1
vote
0answers
83 views

Resolvent of the operator

Consider the Laplace operator defined on the biggest possible subset of$L^{2}(R^{2})$: $T= - \partial^{2}_{x} -\partial^{2}_{y}+x^{2}+y^{2}+ 2.i(x \frac{\partial}{\partial ...
5
votes
0answers
159 views

Faà di Bruno formula

Let $f,g$ be smooth functions from $\mathbb R$ to $\mathbb R$. Then $$ \frac{(g\circ f)^{(n)}}{n!}=\sum_{1\le r\le n}\frac{(g^{(r)}\circ f)}{r!} \sum_{\substack{(n_1,\dots, n_r)\in {\mathbb ...
2
votes
0answers
97 views

Log-concave polynomial is a log-concave function?

A polynomial $\sum\limits_{k=0}^n a_kx^k$ is log-concave if $a_0,\ldots,a_n$ constitute a log-concave sequence. I wonder whether the log-concave polynomial is also a log-concave function with respect ...
3
votes
2answers
189 views

functions with orthogonal Jacobian

I'm working on a model that would require to use vectorial functions of $\mathbb{R}^n \rightarrow \mathbb{R}^n$, such that $\forall x, y \in \mathbb{R}^n$, $\lVert \frac{df(x)}{dx}(y) \lVert_2 = ...
8
votes
2answers
299 views

Is the Fourier transform of $e^{-|x|^n}$ positive?

Let $$\Phi(x) = \int_{\mathbf{R}^n} e^{-|y|^n +i (x,y)} dy.$$ Is $\Phi$ positive everywhere in $\mathbf{R}^n$? Could someone helps me answer this question or gives a reference for it? Thanks.
4
votes
1answer
108 views

Hellinger integral for the Student/Cauchy family

Let $p$ and $q$ be probability densities on $\mathbb R$, with respect to the Lebesgue measure $dx$. The corresponding Hellinger integral is $H(p,q):=\int_{\mathbb R}\sqrt{pq}\,dx$. Let now $p$ be ...
1
vote
0answers
73 views

A limsup representation for the upper Buck density

The upper Buck density, introduced by R.C.Buck in 1946, is defined to be the function $$ \mathfrak{b}^\star: \mathcal{P}(\mathbf{N}^+) \to \mathbf{R}: X\mapsto \inf_{X\subseteq A:A\in ...
1
vote
0answers
44 views

Bounds on $\sum_{j=1}^m\frac{\pi^j}{\Gamma(j)(x^2+(j+1/4)^2)}$

During our search of real rooted entire function approximations to Riemann $\Xi$ function, we need to calculate the upper and lower bounds of $$f_m(x):=\sum_{j=1}^m ...
3
votes
1answer
55 views

Redundancy in transseries representation of functions?

"Transseries" are a kind of generalized power series that allow things like fractional exponents and exponentials (with another transseries as the exponent). I know very little about them but I have ...
1
vote
1answer
60 views

ODE estimate for boundary value problem

Let $X$ be a solution to the boundary value problem $$ X^{\prime\prime}(s) = A(s)X(s), \quad X(0) = X_0, ~~X(t) = X_1,$$ where $0 < t \leq 1$, $A$ is some matrix-valued function, defined on $[0, ...
-1
votes
1answer
54 views

Idempotent solutions to the implict function theorem other than the identity?

I am interested in the following problem. Assume that an (anti)symmetric function $g:\mathbb{R}^2 \to \mathbb{R}$ satisfies the implicit function theorem. That is, $g(x,y) = \pm g(y,x)$ and $g(x,y)=0$ ...
9
votes
2answers
739 views

Algebraic independance of exponentials

First of all, a happy new year. Be it better than 2015, healthy, wealthy, fruitful and cross-fertilizing for you, familly and friends. In order to cope with families of solutions of evolution ...
8
votes
1answer
142 views

How to eliminate secular terms for perturbed non-oscillatory equations?

Even in a linear second order equation like $x''+x'+\epsilon x=0$ the standard asymptotic expansion has a secular term already in the first order of $\epsilon$, namely ...
9
votes
1answer
361 views

Number of real roots of an exponential polynomial

Let $a_1, a_2, \dots, a_n$ and $b_1, b_2, \dots, b_n$ be real numbers, and assume that $\{a_i\} \neq \{b_i\}$. Can the equation $$ e^{a_1 x} + e^{a_2 x} + \dots + e^{a_n x} = e^{b_1 x} + e^{b_2 x} + ...
3
votes
2answers
163 views

Roots of the Chebyshev polynomials of the second kind

It is known that the roots of Chebyshev polynomials of the second kind, denote it by $U_n(x)$, are in the interval $(-1,1)$. I have noticed that, by looking at the low values of $n$, the roots of ...
1
vote
2answers
129 views

Convergence of Sobolev functions near the boundary

Let $B_0(1)$ be the unit ball in $\mathbb R^n$, $n\geq2$. Let $f\in W_0^{1,2}(B_0(1))$, and $W^{1,2}(B_0(1))\ni f_i\to f$ in the sense of $L^2(B_0(1))$-norm, as $i\to \infty$. Question 1: Can we ...
1
vote
0answers
45 views

“Harmonic oscillator” with $p$-Laplacian

I wonder if there is any literature on the eigenvalue problem for the "$p$-harmonic oscillator" $$-(|u'|^{p-2}u')'(x)+(x^2-\lambda) |u(x)|^{p-2} u(x)=0$$ in $L^p(\mathbb R)$, $p\in(1,\infty)$. Are ...
6
votes
1answer
104 views

Are the extremal points of a certain set of functions $\mathcal P(\mathbf N) \to \bf R$ weakly additive?

Let an upper density (on $\mathbf N$) be a (set) function $f: \mathcal P(\mathbf N) \to \mathbf R$ such that, for all $X, Y \subseteq \bf N$ and $h,k \in \mathbf N^+$, the following hold: (F1) ...
9
votes
3answers
292 views

Decay of real continuous algebraic functions at infinity

Let $f$ be a real valued continuous algebraic function on $\mathbb R^n$. Suppose the zero set of $f$ is bounded, i.e., if $|x|$ is large enough, $f(x)\neq 0$. Is there any estimate of the sort ...
2
votes
0answers
59 views

Reference request on a notion of independence for families of [real-valued] functions

This is basically another reference request. Let $X$ be a set, and $\mathscr{F} = (f_i)_{i \in I}$ an indexed family of functions $X \to \bf R$. If $\preceq$ is a partial order on $I$, we say that ...