**5**

votes

**0**answers

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

**2**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**3**answers

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

**1**answer

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

**2**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**2**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**2**answers

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

**2**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**2**answers

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

**1**answer

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

**1**answer

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

**2**answers

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

**2**answers

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

**0**answers

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

**1**answer

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

**3**answers

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

**0**answers

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 ...