**2**

votes

**0**answers

33 views

### Constant periodic Sobolev embedding

Dear mathoverflowers,
I would like to have a reference regarding the optimal constant in the Sobolev embedding
$$
\|u\|_{L^q}\leq C_{s,q}\|u\|_{\dot{H}^s},
$$
($H^s$ denotes the standard L^2 ...

**4**

votes

**1**answer

128 views

### Mean value of a function associated with continued fractions

Suppose that an irrational $x$ in $(0,1)$ has convergents $c(k,x)$, and let
$$d(x) = \sum_{k=0}^{\infty} \mid x - c(k,x)\mid.$$
What is the mean value of $d$?

**4**

votes

**1**answer

123 views

### Superadditivity of the lower density

Let $\mu^\star$ be a real-valued function defined on the power set of the positive integers $\mathbf{N}^+$ such that for all $X,Y\subseteq \mathbf{N}^+$ the following axioms hold:
(F1) $\mu^\star(\...

**0**

votes

**1**answer

190 views

### Is the limsup or liminf of n-wise independent events independent?

Let $(\Omega, \mathscr F, \mathbb P)$ be a probability space.
Consider events indexed by $m, n \in \mathbb N$:
$ \ \ \ \ \ \ \ \ \ \ \ A_{1,n}, A_{2,n}, A_{3,n} ...$ are n-wise independent.
$A_{m,1}...

**8**

votes

**1**answer

572 views

### Sort-of Converse of Kolmogorov Zero-One Theorem

Let $(\Omega, \mathscr F, \mathbb P)$ be a probability space. The Kolmogorov Zero-One Theorem states that
Suppose we have independent random variables $X_1, X_2, ...$. Then $\forall \ A \in \...

**0**

votes

**0**answers

183 views

### Can we find an upper bound?

Let $f\in C^1(\mathbb R)$ with $f(0)=0$ and $|f'(x)|\le m$, where $m\in (1,2]$.
Let $x(0)\in\mathbb R$ be arbitrary, and define $x(n),y(n)$ recursively by
$$
x(n+1)=f(x(n)) , \quad\quad
y(n)=\frac{x(n+...

**1**

vote

**2**answers

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

**2**

votes

**2**answers

353 views

### A logarithmic cotangent inequality

I must be a terrible googling searcher but I cannot find a reference to the following inequality:
$$ \forall_{\phi\in(0;\frac \pi 4)}\ \ln(\cot(\phi)))\, <\, \cot(2\!\cdot\!\phi) $$
I have just ...

**2**

votes

**1**answer

73 views

### Convergence of energy of Sobolev functions near the boundary

Let $B_0(1)$ be the unit ball in $\mathbb R^n$, $n\geq2$. $h\in W_0^{1,2}(B_0(1))$. For $r\in (0,1)$, define a function $f_r(x):[0,1]\rightarrow \mathbb R$ by
\begin{equation}
f_r(x):=
\begin{cases}
...

**20**

votes

**3**answers

553 views

### Evaluating an integral using real methods

This is a bit of recreational integration. The following, rather attractive integral is quite straightforward via residues:
$$\int_0^1 x^{-x}(1-x)^{x-1}\sin \pi x\,\mathrm{d}x=\frac{\pi}{e}$$
...

**2**

votes

**1**answer

155 views

### Proofs of inequalities used by Erdos-Renyi in their Random Graphs Paper 1

Please refer to this, it is Erdos-Renyi 1959 paper 1 on Random Graphs. I am currently working on this, but I am stuck on the fifth page, where they use two estimates. More specifically, here's the ...

**2**

votes

**0**answers

84 views

### Error term for Euler-MacLaurin summation formula when applied to infinitely smooth functions?

A function $f(z,x)$ is tempered if all of the following are true:
$f(z, x)$ is infinitely differentiable in $z$
$f(z,x)$ is defined for all $z,x \in \mathbb{R}$
Every derivative of $f(z,x)$ is ...

**7**

votes

**1**answer

265 views

### An interesting integration

For any positive integer $n$, let
$$A_n=\idotsint\limits_{\substack{x_1+\cdots+x_n+y_1+\cdots+y_n\leq1\\x_1,\cdots,x_n,y_1,\cdots,y_n\geq0}}\prod_{i,j=1}^n(x_i-y_j)dx_1\cdots dx_ndy_1\cdots dy_n.$$
It ...

**12**

votes

**1**answer

261 views

### An interesting inequality

Let $\mathbb{R}$ be the real field. For any homogeneous polynomial $f(X_1,\cdots,X_n)$ in $\mathbb{R}[X_1,\cdots,X_n]$, we use $S_f(X_1,\cdots,X_n)$ to denote the following homogeneous symmetric ...

**9**

votes

**2**answers

423 views

### When does $\nabla\times(\nabla\times F)=0$ imply $\nabla \times F=0$

On a (simply connected) domain $\Omega$ for a smooth vector field $F\colon \Omega \to \mathbb{R}^3$, when does $\nabla\times(\nabla\times F)=0$ imply $\nabla \times F=0$. I know that $n\cdot(\nabla\...

**3**

votes

**1**answer

43 views

### Determine a sign of the limitation of a certain integral

I can't determine a sign of an integral written below and it has hit a dead end.
My setting is rather special.
Let $a\in(0,1)$ be a given constant and $(x_{\varepsilon},y_{\varepsilon})\in[0,a)\times[...

**0**

votes

**1**answer

186 views

### the double dual of “little l one” sequence space

I remember a professor remarking a while back that the double dual of the sequence space $l_1^{\infty}(\mathbb{R})$ is a very complicated space. I understand it must contain a copy of the original ...

**9**

votes

**3**answers

293 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 $|f(x)|\...

**1**

vote

**0**answers

104 views

### An analytic family of in fact non-existent improper Riemann integrals

Question:
Are there any useful interpretations or "applications" of the formula
$$\intop_0^\infty e^{-ax}\frac{\sin x}{x}\,dx=\frac{\pi}{2}-\arctan(a)\qquad \forall\;a\in \mathbb{R},
$$
in which the ...

**1**

vote

**0**answers

139 views

### On the differentiability of a certain map from $ (0,\infty) $ to $ \Bbb{R} $

This problem arose from my study of energy-conservation for non-linear Schrödinger equations. Suppose that we have the following data:
$ u \in C^{1} \! \left( (0,\infty),{L^{2}}(\Bbb{R}^{n}) \right) ...

**1**

vote

**0**answers

51 views

### Derivatives of Minkowski function?

Let $A\subset \mathbb R^n$ and $M$ be the convex hull of the set $A$, e.g., $M:=Conv(A)$. The Minkowski function on $M$ is defined as follows
\begin{align*}
&f: \mathbb R^n \to \mathbb R\\
&f(...

**2**

votes

**0**answers

58 views

### Minimal condition $\sum \rho_{ij} \Psi_{ij} s_i s_j < \sum s_i s_j $, $\mid \rho_{ij} \mid \leq 1$, $s_i \in \mathbb R$ and $\Psi_{ij} \in \{0,1\}$

Consider a sequence of real number $\{s_i\}_{i\leq n}$. Now consider the real numbers $F$, $G$ and $\alpha$ defined below
$$F= \sqrt{ \left( \sum ~\rho_{ij} ~\Psi_{ij}~ s_i ~s_j \right)^+}, $$
$$G = ...

**0**

votes

**3**answers

82 views

### Bounds on derivative of integrable, monotonically decreasing, differentiable functions on $\mathbb R_+$

The following three conditions have shown up as hypotheses in some recent work, and despite not having been able to find an example, we assume the third is not implied by the former two. We're hoping ...

**2**

votes

**0**answers

91 views

### Distributive law

I was wondering whether there is any reference that deals with the distributive law for infinitely many elements, i.e.
$$
\prod_{i\in \mathbb N} \sum_{k\in \mathbb N} \alpha_{i,k} = \sum_{(k_i)_{i\in ...

**12**

votes

**3**answers

291 views

### Is a certain subset of the disc a convex set?

Some one asked me this question and I thought about it and I don't have any good idea to solve that. Can some one help me and give me an idea to start solve that?
Draw a Cantor set $C$ on the circle ...

**4**

votes

**1**answer

391 views

### A continuous path between two Sobolev functions

Let $\Omega\subset \mathbb R^N$ be open bounded, smooth boundary. Let $u_1$, $u_2\in H^{1}(\Omega)$ such that $T[u_1]=T[u_2]=T[\omega]$ where $T$ stands for the trace operator and $\omega\in H^1(\...

**-1**

votes

**1**answer

140 views

### separable BV space for PDE's, Whats stopping us? [closed]

Consider the metric space BV(0,1) with the following metric
$$ d(u,v) = \|u-v\|_{L^1} + |TV(u)-TV(v)| $$. It is separable, compact, uniformly bounded and complete. So What is the really obvious thing ...

**1**

vote

**2**answers

238 views

### Fourier transform localisation (still unanswered, but apparently off-topic?) [closed]

In the context of Pólya's theorem I was reading these notes here on p. 19. In the last paragraph the authors claim (it is the sentence starting like "standard Fourier theory shows...") that the ...

**-2**

votes

**1**answer

59 views

### Suppose a real differentiable function with its derivative not infinity, it is sure that its second symmetric derivative should exist? [closed]

Suppose a real differentiable function $h(x)$ with its derivative not infinity, it is sure that its second symmetric derivative $\lim_{\epsilon->0}\frac{h(x+\epsilon)-2h(x)+h(x-\epsilon)}{\epsilon^...

**0**

votes

**0**answers

70 views

### Derivatives of Mollified functions

I'm reading Controlled Diffusion Process by N.V. Krylov. On page 87-88, in the proof of theorem II.6.1, it says the following:
Let $\sigma(t,x)$ be a matrix of dimension $d\times d$, and let $b(t,x)$ ...

**7**

votes

**0**answers

152 views

### Improving Baumgartner's result?

Q1: Is it consistent with the failure of CH to have an $\aleph_1$-dense subset $A \subseteq \mathbb{R}$ such that for every $X \subseteq \mathbb{R}$ of size $\aleph_1$, there is a $C^{\infty}$ map $F: ...

**0**

votes

**1**answer

83 views

### Complement of a finite union of convex sets

Question. Let $V_1,\ldots,V_n$ be open, bounded and convex subsets of $\mathbb R^2$. Show that $F=\mathbb R^2\smallsetminus\bigcup_{i=1}^n V_i$ possesses only finitely many connected components.
I ...

**1**

vote

**0**answers

98 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: http://math.stackexchange.com/questions/1519724/integrating-a-...

**0**

votes

**1**answer

120 views

### An increasing sequence of real numbers [closed]

This was first posted to SE, but now I think its better to be posted here.
For what positive real numbers $\alpha$, the sequence $a_n = \frac{\lfloor n\alpha\rfloor}n $ is (not necessary strictly) ...

**7**

votes

**1**answer

201 views

### Unusual isoperimetry and maximizing the measure of unions of translates of a set

Let me state a standard result first. Let a $A\subset \mathbb{R}^d$ be a set of fixed volume. Define $A_t$ to be the set of all points at distance at most $t$ from $A$. Then the volume of $A_t$ is ...

**0**

votes

**1**answer

111 views

### Double Integral Equations

In my research I've come across a handful of double integral equations, and I'm nearly at a total loss for how to derive anything useful from such things.
I've been lead to believe that even single ...

**1**

vote

**1**answer

118 views

### A metric on the set of BV functions, is it mentioned/studied in literature?

I'd like to propose the following metric which operates on the set $M$ of all square integrable functions that are also of bounded variation, of the form $f : (0,1) \to \mathbb{R}$.
Given any $x,y \in ...

**4**

votes

**0**answers

355 views

### Properties of the solution of the heat equation

Note 1: the following question has been post on Math Stackexchange here but receive no respond. So I post it here to get more attention.
Note 2: This is my research problem, but the original problem ...

**3**

votes

**0**answers

135 views

### Proof without distributions

I was wondering whether there is a way to show this identity
$$\pi \int_{\mathbb{R}^3} \frac{f(x)}{|x|} dx = \int_{\mathbb{R}^3} \frac{\widehat{f(x)}}{|x|^2} dx $$ without using distributions for $f ...

**5**

votes

**0**answers

225 views

### Recurrence Formula for Zernike polynomials

I'm not sure if this is research level, so if this result is known, please excuse the intrusion. I am trying to find a relation between solutions of the Laplacian equation in $4$ dimensions and those ...

**3**

votes

**0**answers

114 views

### Eigenvalues and eigenvectors of the q-Bernstein operator

The Bernstein operator maps $f\in C[0,1]$ to its Bernstein
polynomial $B_n f.$ The eigenvalues and eigenfunctions of the
Bernstein operator on $C[0,1]$ have been described in [1]. Similar description ...

**7**

votes

**0**answers

231 views

### Proving Richardson's theorem for constants

(I asked this a little over 3 months ago on math.SE, and when I initially re-asked here, no one had responded there. $\:$ After I re-asked here, Eric Towers responded there, since I had forgotten to ...

**2**

votes

**0**answers

127 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 - 1)}(n-1)...

**6**

votes

**2**answers

278 views

### Intermediate value for a vector-valued function

Consider a vector-valued function $f: [0,1]^n\rightarrow[0,1]^n$. Write $f(x)=\{f_1(x), ..., f_n(x)\}$ with $x\in[0,1]^n$, where the $f_i: [0,1]^n\rightarrow[0,1]$ are continuous functions with the ...

**1**

vote

**1**answer

68 views

### Optimal covering with finite subcollection of open sets

This is mainly a reference request. Consider a finite collection of (let's say, for simplicity) of open balls $B_i, i = 1, 2, ..., m$ in (again, for simplicity) $\mathbb{R}^n$. I am looking for ...

**4**

votes

**1**answer

148 views

### An open mapping theorem for homogeneous functions?

I am researching different generalizations of the familiar open mapping theorem from functional analysis. Every "proof" I attempt while simply assuming positive-homogeneity, even in the finite-dim ...

**0**

votes

**0**answers

34 views

### Numerical integration over a cube with non-product weight

Numerical integration over an interval with (well-behaved) weight functions is a research area that has received considerable attention in the past centuries. Any cubature formula over a interval ...

**0**

votes

**0**answers

38 views

### Beurling density $D(X)$ of $X=\{x_j\in\mathbb R, \ |x_j-x_{i}|>\gamma>0: \ i,j\in\mathbb Z\}$

Beurling density of set $X$ is defined (see, for example "Nonuniform Sampling and Reconstruction in Shift-Invariant Spaces" by Aldroubi and Grochenig) as:
$$D(X)=\lim_{r\rightarrow \infty} \inf_{y\in\...

**2**

votes

**2**answers

141 views

### Asymptotics of the derivatives of analytic functions

Are there sources that treat questions like the following ones?
Suppose that $f\colon\mathbb{C}\to\mathbb{C}$ is an entire function such that $f(x)$ is real for all real $x$ and $f(x)\sim1/x$ as $x\...

**3**

votes

**1**answer

178 views

### comparing norms of tensor product of two Hilbert spaces

Suppose $H_1$ and $H_2$ are two Hilbert spaces with dimension $n$ and $m$, for $ x \in H_1 \otimes H_2$
consider $$\|x\|_\pi = \inf \left\{ \sum_{i=1}^n \|a_i\| \|b_i\| : x = \sum_{i} a_i \otimes b_i ...