8
votes
1answer
189 views
Is this combination of generalized polygamma and dilogarithm actually zero? $\Im\;\psi^{(-2)}(1+i)+\frac1{4\pi}\text{Li}_2(e^{-2\pi})-\log\sqrt{2\pi}+\frac{5\pi}{24}+\frac12$
I encountered this quantity in my calculations and tried to simplify it. Approximate numeric calculations suggested it could be zero (more precisely, it is certainly less than $10^ …
2
votes
0answers
76 views
Constructing a Sobolev space containing the differential k-forms of a Riemannian manifold
I am currently writing a paper about the Hodge theorem for an algebraic topology course. The specific formulation I am proving can be stated thus. Let $M$ be a compact, orientable …
7
votes
1answer
188 views
Continuous dependence of the expectation of a r.v. on the probability measure
$\newcommand{\bsV}{\boldsymbol{V}}$ $\newcommand{\bsE}{\boldsymbol{E}}$ $\newcommand{\bR}{\mathbb{R}}$ Suppose that $\bsV$ is an $N$-dimensional real Euclidean space. Denote by …
0
votes
0answers
55 views
New differintegral formula: how is it related to other differintegral formulas?
Lets define new differintegral formula as
$$\mathbb{D}^s_xf(x)= \sum_{m=0}^{\infty} \binom {s}m \sum_{k=0}^m\binom mk(-1)^{m-k}f^{(k)}(x)$$
or, equivalently,
$$\mathbb{D}^s_xf(x …
0
votes
0answers
45 views
Fundamental solutions for degenerate elliptic equations
Hello,
I am looking for a paper or a book that says about the existence and some estimates (like these in the non-degenerate case) of the fundamental solutions for degenerate elli …
0
votes
1answer
74 views
Generalisations of the Gronwall’s lemma
Suppose we have the following differential inequality
$F''(w)\le \frac{p-1}{p}\frac{(F'(w))^2}{F(w)}$ on $w\in(w_0,w_0+\varepsilon)$, $w_0>0$, $\varepsilon>0$, $p>1$. In addition, …
0
votes
1answer
152 views
Littlewood-Paley theory and norm estimation
In the paper "A Convolution Inequality Concerning Cantor-Lebesgue Measures", the Littlewood-Paley theory is used to estimate the norm of multiplier operator in Lemma 1.
It is claim …
4
votes
2answers
278 views
The Isoperimetric problem for domains constrained to lie between two parallel planes
It is well known that for a given volume $V$, a sphere is the shape that minimizes the surface area. I am interested in the same problem under the constraint that the shape must li …
0
votes
1answer
131 views
Variation on Fatou’s lemma for Sobolev norms
Recall that Fatou's Lemma says that for every sequence $f_n$ of non-negative measurable functions
$$\int \liminf_{n\to \infty} f_n \ d\mu\leq \liminf_{n\to \infty} \int f_n\ d\mu …
0
votes
1answer
205 views
I have this linear PDE…
Hi,
The PDE in question is: $A P_{yy}(y,z) + B P_{zz}(y,z) + ( [ C y -D z] P(y,z) )_y + ( [ D y + C z ] P(y,z) )_z=0,$
where subscript $y,z$ indicates derivatives and $A,B,C,D$ a …
1
vote
0answers
188 views
Fourier coefficients as spectrum
Let $\mathbb{T}=[0,1]$ be identified with the circle $\{ e^{2 \pi it} : t \in [0,1] \}$, $\delta_0 \in M(\mathbb{T})$ be the Dirac measure at $0 \in \mathbb{T}$. Suppose $f \in L^1 …
3
votes
0answers
111 views
Convexity of polylogaritms
I want to prove the following proposition:
The function $w\to (-Li_{5/2}(-e^w))^{2/5}$ is convex on $\mathbb R$.
And, as I think, the same is true for the function $w\to (-Li_{p} …
5
votes
1answer
210 views
For what spaces is the Hardy-Littlewood maximal operator of strong type $(p,p)$ if and only if $p > p_0 > 1$?
(This is essentially a continuation of my previous question, here.)
Let $(X,d,\mu)$ be a metric measure space, i.e. $\mu$ is a Borel measure on the metric space $(X,d)$. Further a …
0
votes
1answer
137 views
A sufficient condition for a probability measure to have compact support
Consider a probability measure $\mu$ on, let's say, $\mathbb R$.
Is there a necessary and sufficient condition so that $\mu$ has compact support $Supp(\mu)$ ?
I agree this quest …
6
votes
1answer
208 views
Could we interpolate the compactness of compact operators?
Classical theorems of Marcinkiewicz and Riesz and their extensions to general Banach spaces by Calderón, Lions, Peetre, et al. allow us to interpolate the continuity of two operato …

