**1**

vote

**1**answer

138 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

200 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

573 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

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

**3**

votes

**1**answer

600 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

67 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

346 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

109 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

232 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

167 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

148 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

44 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

116 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

153 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

380 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

150 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

224 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

75 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

144 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

79 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

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

**7**

votes

**2**answers

326 views

### Number of critical points of smooth functions on $S^1$

Let $u$ be a smooth function on the unit circle $S^1$ such that $\int_{S^1}ux_j=0$, for $j=1,2$. Is the number of critical points of $u$ strictly bigger than 2?

**2**

votes

**0**answers

119 views

### Volume of bounded regions in hyperplane arrangements

I am given a hyperplane arrangement $\mathcal{H}_0$ in $\mathbb{R}^n$ and a function $\phi \colon \mathbb{R}^n \to \mathbb{Q}.$ I choose any enumeration on the set of primitive vectors (i.e. vectors ...

**2**

votes

**0**answers

99 views

### Under what conditions do time averages of ergodic transformations satisfy a central limit theorem?

Let $(X, \mu)$ be a probability space and $T:X\rightarrow X $ an ergodic transformation, i.e. $T$ is measure preserving and the only $T$ invariant subspaces have either measure $0$ or measure $1$ ...

**3**

votes

**1**answer

166 views

### Is this parametric inequality true?

Puzzled by this still open question, I tried comparing the arithmetic mean $A(x,y)=(x+y)/2$ with a mean intermediate between a geometric-type mean $G(X)=(x^a y^{1-a}+x^{1-a} y^a)/2\;$ for $0\le a \le ...

**6**

votes

**2**answers

281 views

### Continuous functions with convex level sets

Assume that $f:\mathbb{R}^{2}\to \mathbb{R}$ is a continuous function such that each level set $f^{-1}(c)$ is a convex set.
To what extent such functions are studied?
In particular:
Is there ...

**2**

votes

**0**answers

90 views

### Regularity of Dirac measure on Baire sets [closed]

Suppose $X$ is a locally compact Hausdorff space.
Define the Baire sets in $X$, denoted by $\mathcal Ba(X)$,
to be the smallest $\sigma$-algebra that contains all compact $G_\delta$ subsets of $X$.
...

**1**

vote

**3**answers

306 views

### Decompose the Laplacian

Is there a way to write the negative Laplacian on the 2-sphere as a decomposition of an operator $A$ and its adjoint $A^*$? I am interested in finding such a decomposition, but I could not get one by ...

**7**

votes

**0**answers

285 views

### About the first decimal of $\sqrt {n!}$

Do we have :
$$\sup\{\sqrt {n!} - E(\sqrt {n!}); n\in I\!\!N\}=1?$$
Where $E(\cdot)$ is the integer part function, and $n!=1\times 2...\times n$.

**1**

vote

**0**answers

86 views

### variation norm of a Fourier transform

Motivated by certain uniform estimate in oscillatory integrals, I am now trying to calculate the Fourier transform of the function ${\large e^{i|t|^{\epsilon}}/t}$ on $\mathbb{R}$, where $\epsilon\in ...

**1**

vote

**1**answer

217 views

### A calculus question related to the nonnegative definite functions

I am looking for some sufficient conditions for an even, continuous, nonnegative, non increasing function $f(x)$ on $R$ such that
$$
\int_0^\infty \cos(xz) f(z) d z \ge 0 \qquad\text{for all $x\ge ...

**4**

votes

**1**answer

454 views

### Elementary Proof of the Uniqueness of Smooth Structures on R

Is there any 'elementary' proof of the uniqueness of smooth structures on $\mathbb{R}$? By elementary, I mean that the proof does not use any sophisticated topological machinery. In particular, I'm ...

**-3**

votes

**1**answer

297 views

### Hilbert space vector representation for data in a metric space. Where am i wrong in this experiment?

Consider the function space $M$ such that all its elements are of bounded variation, square integrable and of unit norm. An equivalence class is defined over this set as, $f \sim g$ iff for some ...

**1**

vote

**1**answer

233 views

### Nepero game (by Yacov Perelman)

I have already posted this question time before on stackexchange, but didn't receive a definitive solution.
So this is the game: consider a positive integer number $n$ and divide it in a finite ...

**1**

vote

**0**answers

116 views

### Is it possible to improve the order of convergence of averages of random variables if they are not identically distributed?

Let $X_n$ be a sequence of independent random variables (but not necessarily identically distributed)
taking values in $[-1,1]$ that have the following property:
1) The average $A_n := \frac{(X_1+ ...

**0**

votes

**1**answer

65 views

### Precompactness of a sequence of convex functions

Suppose we have a bounded convex open set $\Omega$ in $\mathbf{R}^n$,and a sequence of convex functions $P_n$ such that $||P_n||_{L^2(\Omega)}\leq C\forall n$.Is it possible to find a subsequence ...

**0**

votes

**0**answers

103 views

### Asymptotic Expansion of Double integral

Crosspost from math.stackexchange. Have a look at the great answers there, even though they do not quite answer the question completely.
Define
$$G(\theta) = \int\limits_0^\infty \int\limits_0^{2\pi} ...

**10**

votes

**1**answer

448 views

### Metric $d(A,B) = \mathbb P(\overline A\cup\overline B\mid A\cup B)$

I'm wondering where the relative probabilistic distance was first studied:
$$d(A,B) =\mathbb P(\overline A\cup\overline B\mid A\cup B)$$
where $\overline A$ is the complement of $A$.
A web search ...

**3**

votes

**2**answers

353 views

### Looking for some function

Is there a continuous function $F: R\to R$ such that $F$ is a surjection but not an injection, $F(Q)\subset Q$ and the restriction $F: Q\to Q$ is an injection, but not a surjection. Here $Q$ denotes ...

**1**

vote

**0**answers

235 views

### On the remainder term in Taylor's formula [closed]

(1) What are the main differences, in terms of "usefulness" while solving problems (even at research level), among Cauchy, Lagrange, and Schlömilch's forms of the remainder in Taylor's formula? Could ...

**13**

votes

**2**answers

1k views

### New research and re-discovering classic results in “basic” real analysis

Sometimes, it happens that researchers publish a new proof of an old well-known result in "basic real analysis" (I'm referring to what some American people may call "honors calculus"). For instance, ...

**5**

votes

**0**answers

63 views

### Cusp point and straightness of a smooth curve.

I have a smooth curve of length $L$ with a single cusp point $P$ occuring at length $s = L_P$. Let the curve in arc length parametrization be $\alpha_t(s) \equiv (X_t(s),Y_t(s)) $. They are actually a ...

**1**

vote

**0**answers

71 views

### Convergence of solutions of the volterra integral equation with convergent kernels

Consider the following Volterra integral equation
$$
g(t) = \int_0^t K_n(t,s)w_n(s) ds
$$
where g(t) and K_n(t,s) are continuous and $K_n(t,s)\geq K_{n+1}(t,s)$ for all $t,s$. Moreover, $K_n(t,s)$ ...

**8**

votes

**4**answers

749 views

### What does it mean when we say we have computed a number to a certain accuracy using a probabilistic algorithm?

My intention is to ask a general question about probabilistic (Monte Carlo) algorithms. But to keep things simple, I will focus on a few specific examples.
Let me start the discussion with ...

**14**

votes

**1**answer

332 views

### Are all well behaved “mean” functions on $\mathbb{R}^+$ equivalent?

Given a set $S$, a function $M: S\times S \rightarrow S$ is a mean if it satisfies the properties:
$M(a,a)=a\qquad$ (identity)
$M(a,b)=M(b,a)\qquad$ (commutativity).
and possibly
...

**3**

votes

**0**answers

435 views

### Two (strictly related) proofs by induction of inequalities

This is a question I originally asked on MSE, receiving no answer, even with a bounty (which expired) on it. Therefore I am crosslinking in order to prevent duplication of effort: see here for the ...

**2**

votes

**0**answers

77 views

### Uniqueness of an embedding theorem for Real differential fields

I will follow a preliminary exposition for the problem in question, which will essentially follow the format on http://www4.ncsu.edu/~singer/papers/model_diff_fields.pdf [pg. 87]:
Let $K$ be a real ...

**-2**

votes

**1**answer

172 views

### Prove that $\sum_{a<n\le b}\{f(n)\}=\frac{1}{2}(b-a)+O(\lambda^{1/3}(b-a)+\lambda^{-1/2})$ [closed]

Let $a,b\in\mathbb{Z}$, and $f\in C^2([a,b])$ such that $|f''(t)|\asymp \lambda$ for $a\le t\le b$. Prove that
$$\sum_{a<n\le b}\{f(n)\}=\frac{1}{2}(b-a)+O(\lambda^{1/3}(b-a)+\lambda^{-1/2}).$$
...

**3**

votes

**0**answers

479 views

### Question on a proof by Solonnikov,Ladyzhenskaya,Ural'tseva

I have already asked this question on Mathematics SE, because I suppose that it is not research level. But I haven't got an answer, possibly here someone can answer.
Let $G(t,x)$ be the fundamental ...