Real-valued functions of real variable, analytic properties of functions and sequences, limits, continuity, smoothness of these.

learn more… | top users | synonyms

2
votes
1answer
82 views

Majorization of cyclic products

Let $k,m,n\in\mathbb N$ such that $n>k$. For a partition $\alpha=(\alpha_1,\dots,\alpha_k)\vdash m$ with $\alpha_1\ge\dots\ge \alpha_k>0$ and nonnegative $ x_1,\dots,x_n$ define $x^\alpha :=\...
2
votes
0answers
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
1answer
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
1answer
122 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
1answer
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
1answer
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
0answers
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
2answers
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 ...
2
votes
2answers
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
1answer
72 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
3answers
550 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
1answer
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
0answers
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
1answer
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
1answer
260 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
2answers
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
1answer
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
1answer
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
3answers
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
0answers
103 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
0answers
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
0answers
49 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
0answers
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
3answers
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
0answers
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
3answers
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
1answer
389 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
1answer
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
2answers
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
1answer
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
0answers
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
0answers
150 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
1answer
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
0answers
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
0answers
224 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
0answers
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
0answers
230 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
0answers
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
2answers
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
1answer
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
1answer
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
0answers
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
0answers
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
2answers
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\...