**1**

vote

**0**answers

59 views

### What are good bounds on ratios of subdeterminants?

Let $A$ be a symmetric matrix and $A_i$ be the matrix obtained from $A$ by dropping the $i^{th}$ row and column. Then what are some good bounds on the value of $\frac{det(A_i)}{det(A)}$ ?
Using the ...

**0**

votes

**1**answer

116 views

### Equality cannot hold unless $x \in \{-1,1\}$ and/or Wronskian is not zero [closed]

By playing around with assoc. Legendre polynomials, I arrived at
$$((l+1)+m) (P_l^m(x))^2+((l+1)-m)(P_{l+1}^m(x))^2 = 2(l+1)x P_l^m(x)P_{l+1}^m(x).$$
Now, I want to show that we don't have equality ...

**0**

votes

**0**answers

63 views

### What does integrability of a strictly monotonic function imply about the tails of that function?

In particular, if $f:\mathbb{R}_{+}\rightarrow[0,1]$ is a strictly monotonic decreasing function and $f$ is integrable then does it necessarily hold that $f^{-1}(1/t)=o(t)$?

**3**

votes

**1**answer

198 views

### Gross's log Sobolev inequality proof with variational calculus?

For $f\in C^{1}(\mathbb{R}^{n})$, Gross's logarithmic Sobolev inequality says that
$$\int f^{2} \log f^{2}\,d\mu -\int f^{2}\,d\mu \log\left(\int f^{2}\,d\mu\right)\leq \frac{2}{c}\int |\nabla ...

**6**

votes

**1**answer

174 views

### When is this sum of perfect powers bounded

For any positive integers $n,d$, let
$$
A_d(n)=\frac{\sum_{k=1}^n k^{2d}}{n(n+1)(2n+1)}
$$
It is easy to see (and well-known) that for fixed $d$, $A_d(.)$ is
a polynomial of degree $2d-2$. Then we ...

**2**

votes

**2**answers

310 views

### Bi-Lipschitz constant of arc-length parametrisation of convex curve

Assume that $f:[0,2\pi]\to [0,2\pi]$ is a an increasing diffeomorphism, and let $\underline f = \min f'$ and $\overline f = \max f'$ and define $$g(s) = \int_0^s e^{if(t)} dt.$$ Assume that ...

**2**

votes

**0**answers

113 views

### About the small set expansion conjecture

Given a graph $G=(V,E)$ and a $\delta > 0$ one wants to calculate $h(G,\delta)=min_{\vert S\vert \leq \delta \vert V \vert } \phi(S)$. ($\phi(S) = \frac{ E(S,\bar{S}) }{d min \{\vert S \vert , n - ...

**0**

votes

**0**answers

44 views

### A special approximation of BV functions

Suppose $\Omega:=B(0,1)\subset \mathbb R^2$. Let $u\in BV(\Omega)$ be a radially symmetric, i.e., $u(x)=u(Rx)$ for all $R\in SO(2)$. In addition, suppose $w$ to be an affine function,. i.e., ...

**4**

votes

**1**answer

174 views

### Function and its Gradient with Prescribed Norms

I'm not sure if the following question is too elementary for Mathoverflow. I'm sorry if it is the case.
Question:
Let $n\in\mathbb{N}$ and let $1\leqslant p<\infty$. Let $\alpha,\beta>0$. ...

**0**

votes

**1**answer

102 views

### Boundedness of a singular integral operator on $L^p(\mathbb{R})$, $1<p<\infty$

My singular integral operator is defined by
\begin{align}
Sf(x)=-\int_{-\infty}^{\infty}f(t-x) \frac{dt}{2\sinh\frac{\pi}{2}t},
\end{align}
that is, a convolution $-\frac{1 }{2\sinh\frac{\pi}2x}\ast ...

**0**

votes

**1**answer

65 views

### Graph of bounded continous functions with distance 1

Let $V = \{f:[0,1]\to \mathbb{R}: f \text{ is continuous}\}$ and consider the metric that is defined for $f,g\in V$ by $$d(f,g) = \max\{|f(t)-g(t)|: t\in [0,1]\}.$$
We set $E = \{\{f,g\}: f,g \in ...

**34**

votes

**6**answers

2k views

### On an example of an eventually oscillating function

For $x\in(0,1)$, put
$$f(x):=\sum_{n=0}^{\infty}(-1)^{n}x^{2^{n}}.$$
This function possesses interesting properties. It grows monotonically from $0$ up to certain point. Then it starts to oscillate ...

**0**

votes

**0**answers

32 views

### Deriving inequalities from a polynomially-bounded derivative

In this paper (p. 2, definition/remark) the following notion of ‘polynomial growth’ is defined for a non-negative real function $g(x)$ and a real constant $b\in(0;1)$:
There exist positive ...

**0**

votes

**1**answer

75 views

### Hadwiger-Nelson problem in higher dimensions

Given a positive integer $n\in \mathbb{N}$ we define the Hadwiger-Nelson graph $\text{HN}_n$ by
$V(\text{HN}_n) = \mathbb{R}^n$;
$E(\text{HN}_n) = \{\{v_1, v_2\}: v_1, v_2 \in \mathbb{R}^n \text{ ...

**2**

votes

**2**answers

123 views

### About preserving real-rootedness of multivariable polynomials

Say $f_i(z_1,z_2,..,z_m)$ are polynomials real rooted in the $z$s for a bunch of polynomials indexed by $i$. When can one say that $\sum_{i} p_i f_i(z_1,z_2,..,z_m)$ is also real rooted?
If ...

**6**

votes

**1**answer

117 views

### Inequality of the norm of the convolution in $L^p(\mathbb{R}^n)$ with symmetric decreasing rearrangement?

Is it true that
$$
||f*g||_p \le ||\,|f|^* * |g|^*||_p\quad ?
$$
where $|f|^*$ and $|g|^*$ are the symmetric decreasing rearrangements of the functions $|f|$ and $|g|$. Under what conditions on $f$ ...

**1**

vote

**1**answer

76 views

### “Schwarz symmetrization” on annulus

If $\Omega=\{x\in \mathbb R^n| 0<r_0<|x|<r_1\}$ is an annulus on $\mathbb R^n$, I am looking for a symmetrization result on $\Omega$. To be precise, for any $u \in W_0^{1,2}(\Omega)$, can we ...

**2**

votes

**1**answer

170 views

### Asymptotic behaviour of eigenvalues

If you look at $-\Delta + q$ on the sphere in $\mathbb{R}^3$ for example and $||q|| < \infty,$ is there a way to asymptotically describe the behaviour of the eigenvalues? Probably they behave ...

**0**

votes

**1**answer

159 views

### Proving a complicated inequality with powers of logarithms

I am currently formalising some results from complexity theory with a theorem prover. For that, I have to prove the following statement:
Let $p, b, \varepsilon \in \mathbb R$ with $\varepsilon>0$ ...

**1**

vote

**0**answers

88 views

### Summing a function at integer points

For a real function $f$ defined on the reals, and real $y$, define the 2-way infinite sum
$$ F_f(y) = \sum_{i\in\mathbb Z} f(y+i). $$
If $F_f(y)$ is defined for all $y$, it is periodic of period 1.
...

**3**

votes

**1**answer

110 views

### Extension of Sobolev Functions

Let $\,D\subseteq\mathbb{R}^{n-1}$ be a convex bounded domain. Let$A:D\to(0,\infty)$
be a Lipschitz continuous function. Let $\,\Omega\,$ be bounded domain in $\,\mathbb{R}^{n}\,$
of the form
...

**2**

votes

**1**answer

121 views

### Does $\int \Phi \left( \frac{u}{\xi} \right) f_t(\xi) \mathrm{d} \xi \to \Phi(u)$ imply that $f_t \to \delta_1$?

I'm looking at a family $(f_t)$ of densities of some continuous random variables and know that
$$\int_{-\infty}^{\infty} \Phi \left( \frac{u}{\xi} \right) f_t(\xi) \mathrm{d} \xi \xrightarrow{t \to ...

**0**

votes

**1**answer

104 views

### Number of critical points

Let $f:[0,2\pi]\rightarrow R^2$ be a smooth function such that $f([0,2\pi])$ is a smooth closed simple curve $C$. Suppose $(0,0)$ lies inside the the bounded open region enclosed by $C$ and ...

**1**

vote

**0**answers

87 views

### Set nor its compliment contain an uncountable closed set [closed]

Does there exist a set $X$ subset of the real numbers such that no uncountable closed set is contained in $X$ or $X^c$?

**1**

vote

**1**answer

98 views

### What is the fractional derivative smoothness of functions from the Zygmund class?

Let $\Lambda([0,1])$ be the Zygmund class of continuous on $[0,1]$ functions for which $$\sup h^{-1}|f(x+2h)-2f(x+h)+f(x)|<\infty.$$ What would be the exact smoothness class for the fractional ...

**3**

votes

**0**answers

87 views

### On Rényi entropy/divergence

The Rényi entropy for a probability density function $f$ with dominating measure $\mu$ of order $\alpha>0$ is defined as
$$H_\alpha(f)={1 \over {\alpha-1}}\log\int f^\alpha d\mu.$$
If $f$ is ...

**0**

votes

**0**answers

47 views

### minimal entropy approximation of a truncated discrete measure

Consider a measure $\mu$ on $\mathbb{N}$ given by the sequence $(\mu(n))_{n \geq 0}$ with $\mu(0)>0$. For example $\mu(n)=n^2+1$ on the figure below.
For each $n$, let $X_n \sim \mu(\cdot \mid ...

**0**

votes

**0**answers

74 views

### Must the Lebesgue measure of a $\rho$ - neighbourhood of an $(n-2)$ - dimensional set be at least $c\rho^2$?

The Lebesgue measure of a $\rho$-neighbourhood of a point in $\mathbb{R}^2$ is of course equal to $c\rho^2$. Similar such considerations in higher dimensions lead me to the following question:
Given ...

**1**

vote

**1**answer

142 views

### Infinite sum of asymptotic expansions

I have a question about an infinite sum of asymptotic expansions:
Assume that $f_k(x)\sim a_{0k}+\dfrac{a_{1k}}{x}+\dfrac{a_{2k}}{x^2}+\cdots$
with $a_{0k}\leq \dfrac{1}{k^2}$, $a_{1k}\leq ...

**4**

votes

**1**answer

214 views

### Orlicz Norm and A result on expectation

I am reading paper which is mainly about Dobrushin's contraction coefficient and its generalization. In page 27, the following is defined:
Consider arbitrary, non-negative, convex function ...

**7**

votes

**4**answers

621 views

### Inserting an open and simply-connected set between a compact set and an open set

In a paper I am reading, the following is considered obvious:
Let $K$ be a compact and connected subset of $\,\mathbb R^2$, with $\mathbb R^2\smallsetminus K$ also connected, and $U\subset \mathbb ...

**15**

votes

**1**answer

427 views

### Integrals of pullbacks and the Inverse function theorem(s?)

The usual story goes like this:
Smooth picture (?):
For a smooth bijection $\phi: M \to N$ between $n$-manifolds the following
is true:
$\phi^{-1}$ is a local diffeomorphism a.e.
...

**5**

votes

**1**answer

763 views

### A result attributed to Whitney

One of the basic results of real analysis says that any closed subset of a smooth ($C^\infty$) manifold $M$ is the set of zeros of some map $\lambda\in C^\infty(M;[0,1])$. This result (or some ...

**1**

vote

**0**answers

68 views

### Uniform estimate of a function given by an integral

consider the function $f_{n}(x,a,t):=e^{-(ax+n+1/2)^2t}$ with $t,x,a > 0$. The claim is now that there exists a constant $C>0$ such that for all even natural numbers $n=2k$, $k\in\mathbb{N}$ one ...

**10**

votes

**2**answers

351 views

### An inequality for copulas

Suppose that $f$ from $[0,\infty]$ onto $[0,1]$ is completely monotonic on $(0,\infty)$, and let $g$ be the inverse of $f$. For $(u,v)$ in $[0,1]^{2}$, define $C(u,v) = f(g(u)+g(v))$, and let $a = ...

**2**

votes

**1**answer

114 views

### Approximation of subharmonic functions

Let $u$ be an (upper semi-continuous) locally bounded subharmonic function in a domain in $\mathbb{R}^n$. Let $\chi_\epsilon$ be a standard smoothing kernel, namely
...

**4**

votes

**2**answers

263 views

### Equation between the two branches of the lambert w function

My question: Is there an equation connecting the two branches $W_0(y)$ and $W_{-1}(y)$ of the Lambert W function for $y \in (-\tfrac 1e,0)$?
For example the two square roots $r_1(y)$ and $r_2(y)$ of ...

**3**

votes

**0**answers

172 views

### A difficult integral which the Risch algorithm shows is not elementary

For reasons which aren't conceptually related to the problem a few of my colleagues and I are in need of finding an expression for the following integral in terms of $a$ and $\delta$:
...

**1**

vote

**0**answers

158 views

### Perturbation of Laplacian via Kato-Rellich theorem

Let's consider a potential $V(x)\in L^3(\mathbb{R}^3)$. I want to know if the following Hamiltonian
$$-\Delta+V(x)$$
is self-adjoint on $H^2(\mathbb{R}^3)$.
My idea is to use Kato-Rellich theorem; ...

**0**

votes

**0**answers

45 views

### Extension of a smooth function to a small neighborhood of a cone

Let $C\subset\mathbb{R}^n$ be an open polysimplicial cone. Let $f$ be a smooth function on $C$ such that all its derivatives extend by continuity to $\overline{C}$ (the closure of $C$). Does this ...

**2**

votes

**0**answers

117 views

### Does this symmetrization operator have a name? Any theory?

Consider a function $f(x_1,\ldots,x_n)$ of $n$ complex variables. Define
$$f_{\mathrm{symm}}(x_1,\ldots,x_n) =
2^{-n}\sum_{\varepsilon_1,\ldots,\varepsilon_n=\pm 1}
...

**1**

vote

**0**answers

164 views

### Generating the sigma algebras on the set of probability measures

I was wondering if somebody could help me see/provide a reference to the following fact: Let $X$ be a metrizable set, $\mathcal{F}$ the corresponding Borel sigma-algebra on $X$, and ...

**3**

votes

**3**answers

400 views

### Find an integrable, positive, unbounded, analytic function

Is there a standard example of a function $f \in L^1( \mathbb R)$ which is analytic, positive, integrable but not bounded?
An example which comes immediately to mind is to take the series of narrower ...

**2**

votes

**1**answer

153 views

### Legendre transform and Lipschitz approximation

Let $(X,d)$ be a compact metric space and $f:X \to \mathbb{R}$ a real valued continuous function. Let us agree that a modulus of continuity means concave, nondecreasing, uniformly continuous function ...

**7**

votes

**2**answers

229 views

### Recent trends in effective analysis

The references listed at http://en.wikipedia.org/wiki/Computable_analysis have all been published 30-15 years ago. Are the approaches which these references expose still up-to-date and relevant to the ...

**1**

vote

**1**answer

134 views

### Sequence of smooth maps converging to the identity [closed]

Let $\{g_{n}:B_{1}(0) \rightarrow \mathbb{R}^{2}\}_{n\in \mathbb{N}}$ be a sequence of smooth maps where $B_{1}(0)=\{x\in \mathbb{R}^{2} \mid |x|<1\}$ is the unit ball in $\mathbb{R}^{2}$. Assume ...

**1**

vote

**1**answer

81 views

### Are Carnot groups (as Carnot Caratheodory metric spaces) doubling?

I need to use the Lebesgue differentiation theorem for doubling metric measure spaces and was wondering if Carnot groups are doubling. If yes, is there any reference you can point me to? Thank you.

**5**

votes

**0**answers

147 views

### Characterizations of an exotic measure on the open sets in the circle $S^{1}$

Suppose that $U\subseteq S^{1}$ is open where $S^{1}=\{z\in\mathbb{Z}:|z|=1\}$. Then define $\mu_{n}(U)=\max_{t\in S^{1}}\frac{1}{n}\cdot|\{k\in\{1,...,n\}|t\cdot e^{\frac{2\pi ik}{n}}\in U\}|$. ...

**0**

votes

**0**answers

80 views

### Discrete measures and discrete kernels

This is a cross-post from math.stack. Let $d\in\mathbb N$ and $\mu$ be the probability measure on $\mathbb R^d$ defined by $\mu=\sum_{k=1}^\infty 2^{-k}\delta_{x_k}$ for some sequence ...

**1**

vote

**2**answers

356 views

### A question on the Lebesgue differentiation theorem

In the paper [Jessen, B., Marcinkiewicz, J., and Zygmund, A. Note on the differentiability of multiple integrals. Fundamenta Mathematicae 25.1 (1935): 217-234] it is considered the limit
$$
...