**15**

votes

**3**answers

361 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

277 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

27 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

107 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

180 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

407 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

136 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

138 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

204 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

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

**1**

vote

**2**answers

136 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

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

**0**

votes

**0**answers

76 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

158 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

95 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

178 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

297 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

43 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

53 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

56 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

53 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

732 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

140 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

359 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

158 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

44 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

102 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

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

**11**

votes

**1**answer

520 views

### How to prove that a monotone function is differentiable at some point?

This fact, which eventually belongs to Lebesgue, is usually proved with some measure theory (and we prove that the function is differentiable a.e.). Is there a significantly different approach? Let me ...

**4**

votes

**3**answers

538 views

### Exact formula for $\sum_{n=0}^{+\infty}\frac1{n^2+1}$

Actually, as the corresponding integral $\frac{\ln(\cos x)}{1-x}$ or something like that) cannot be expressed in closed form by Liouville theorem, this shouldn't exist, but I believe I have seen it ...

**5**

votes

**0**answers

70 views

### Some questions about the Lévy monoid of certain densities

Let $\bf H$ be a set, $f: \mathcal P({\bf H}) \rightharpoonup \bf R$ a partial function, and $\mathcal{D}$ the domain of $f$.
Next, denote by $\mathcal M(f)$ the set of all (total) functions $\theta: ...

**1**

vote

**0**answers

53 views

### Complexity theory and closed form formulas in analysis

My question concerns definitions of "closed form" solutions. In hamiltonian systems this is closely related to complete integrability. In this context closed form can refers to having $(q(t),p(t))$ ...

**2**

votes

**1**answer

175 views

### General solution to system of stochastic linear differential equations

Assume we are given the system of linear stochastic differential equations
$$dx_i = \sum_{j=1}^n a_{ij}(t) \cdot x_j \cdot dt + \sum_{j=1}^n \sigma_{ij}(t) \cdot x_j \cdot dB_{ij,t} + b_j(t)\cdot ...

**1**

vote

**0**answers

68 views

### Asymptotics of a elliptic pde when exponent gets large

I am interested in the following pde
$$ -\Delta w_p + \left( \frac{1}{p-2} +1 \right) \frac{ | \nabla w_p|^2}{w_p} + \epsilon(p) \left( \frac{1}{w_p} \right)^{(p-2)} = (p-2) w_p $$ in the unit ball ...

**1**

vote

**0**answers

96 views

### Integrating a series expansion of $\mbox{frac}(x)\lfloor x\rfloor$ coming from Fourier series of sawtooth function

Let me preface this question by saying that I am not exactly sure it counts as research level. It is crossposted on mathstackexchange: ...

**2**

votes

**0**answers

71 views

### Non-existence for a sort of probability measures

We suppose $X$ solves our SDE $dX_{t}=-X_{t}dt+dW_{t}$ for $t\geq0$ with initial condition $X_{0}=0$ w.r.t to our measure $P$ on $(\Omega,\mathcal{F})$.
$W_{t}$ is standard Wiener.
This solution is ...

**2**

votes

**0**answers

122 views

### An alternative to the Euler--Maclaurin formula: Approximating sums by integrals only

The Euler--MacLaurin summation formula can be written as
$$ \sum_{i=0}^{n-1} f(k)\approx \int^{n-1}_0f(x)\,dx
+ \frac{f(n-1) + f(0)}2
+
\sum_{j=1}^m\frac{B_{2j}}{(2j)!}[f^{(2j - ...

**6**

votes

**1**answer

345 views

### A property of the derivatives of a function

Suppose that $f,g_1,g_2,\dots$ are functions from $\mathbb{R}$ to $\mathbb{R}$ such that $f'=f\,g_1$ and $g'_j=g_j^2-g_j g_{j+1}$. Here and in what follows, $j$ is any natural number. Then, by ...

**1**

vote

**0**answers

68 views

### Recurrence sequence

Is it possible to find a Recurrence sequence that Satisfying the following inequality
$ d_{n+k}\geq \alpha ^k d_n +\beta^k \delta(A,B),$
where $0<\alpha<1, \alpha ^k+\beta^k\geq ...

**2**

votes

**1**answer

99 views

### Lower bounds from Fourier dimension?

According to Mattila, Geometry of sets and measures in Euclidean spaces, p. 168, the Fourier dimension $\text{dim}_F(A)$ of $A\subseteq \mathbb R^n$ is the unique number in $[0,n]$ such that for any ...

**2**

votes

**0**answers

32 views

### Asymptotic expansion of Mellin transform of products of modified Bessel function K

Let $n\ge 1$ be an integer, let
$$F(x,y)=\int_0^\infty u^{n(x+y)} (K_{x-y}(u))^n du$$
for $x,y\ge 0$.
When $n=1$, this is just Mellin transform of the Bessel K function. When $n=2$, $F(x,y)$ has ...

**10**

votes

**1**answer

481 views

### A tricky tractrix question about vertical tangents

This is raised by a recent question occurring in combinatorial geometry.
It is about a sort of tractrix, but instead of a line, the pulling end moves along a circle of radius $r>\frac12$ ...