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

learn more… | top users | synonyms

1
vote
1answer
226 views

The existence of differential operator of the form $AB=0$

We define $\mathcal A$ is a differential operator of order $n$ with variable coefficients if $$ \mathcal A:=\sum_{|\alpha|\leq n}A_\alpha (x) D^\alpha $$ where $\alpha$ is an muti-index and ...
0
votes
0answers
38 views

convex function with distributional Hessian $D^2 f \leqslant \lambda$, $\lambda$-concave?

Let $f:R^n \to R$ be convex (may not $C^1$), $$[D^2f]=[D^2f]_{ac}+[D^2f]_s=[h_{ij}] L^n+[D^2f]_s$$ is the Lebesgue decomposition of the Hessian matrix. Where $[h_{ij}]$ is the density w.r.t the ...
1
vote
1answer
170 views

Is regularity closed under products?

Let $G \colon [0,1] \to [0,1]$ be a differentiable cumulative distribution function (monotonically non-decreasing function with $G(0) = 0$ and $G(1) = 1$). We say that $G$ is regular if $$ x - ...
7
votes
0answers
129 views

Intersection of connected components in $\mathbb{R}^n$

Let $n$ be a positive integer and let $K\subseteq \mathbb{R}^n$ be compact. Pick $x^* \in \mathbb{R}^n\setminus K$. Let $E$ be the connected component of $\mathbb{R}^n\setminus K$ that contains ...
7
votes
1answer
177 views

Poincaré inequality for curl-integrable functions

Let $B=B(r)$ denote a ball of radius $r$ in $\Omega \subset \mathbb R^d$ and $$ u_B := \frac1{|B|}\int_B u \, dx. $$ The standard Sobolev-Poincaré inequality states that if $u \in W^{1,p}(\Omega)$, ...
0
votes
1answer
131 views

When can two Cauchy transforms intersect?

Given two polynomials $p$ and $q$ over reals and being guaranteed that both have all roots real I want to know if there is any characterization of the solutions of the equation $\frac{p'}{p} = ...
4
votes
0answers
111 views

$H^s$ norm of a solution of a nonlinear Schrödinger equation

I'm reading the paper "Global existence and scattering for rough solutions of a nonlinear Schrödinger equation on $\mathbb{R}^3$ by Colliander, Keel, Staffilani, Takaoka and Tao. They study the ...
5
votes
1answer
116 views

Simultaneous approximation of arbitrary functions in Hölder space and in $L^2(\mu)$ by a smooth function and its derivative

Let $\mu$ be a probability measure on the circle $S^1=\mathbb{R}/\mathbb{Z}$ which is singular with respect to the Lebesgue measure $\lambda$. Consider the functions spaces $L^2(\mu)$ on the one hand, ...
0
votes
0answers
117 views

Problem with operator and Fourier transform

I am currently dealing with a problem in functional analysis where I want to show the following. Let $\phi_{k+1}(x):=\sqrt{2} \sum_{n \in \mathbb{Z}} h(n) \phi_k(2x-n)$ and $\phi_0= \chi_{[0,1]},$ if ...
8
votes
2answers
284 views

Radial limit does not exist almost everywhere

Problem 4 in Chapter 4 of Stein's book "Real Analysis" says $\sum_{n\geqslant 0}z^{2^n}$ doesn't have radial limit as $z$ approaches the unit circle from inside almost everywhere. It's fairly easy ...
1
vote
1answer
161 views

Finite trigonometric polynomial

I noticed by numerical and some explicit calculations for a few examples that for real-valued finitely supported functions $\phi \in L^2(\mathbb{R})$ we have that $T(x):= \sum_{n \in \mathbb{Z}} ...
0
votes
0answers
39 views

Is every $C^1$-domain which is homeomorphic to the unit ball in $\mathbb{R}^d$ Lipschitz equivalent to the unit ball?

Suppose we have a domain $\Omega\subset \mathbb{R}^n$ which is homeomorrphic to the unit ball $B(0,1)\subset \mathbb{R}^n$ and such that $\partial \Omega$ is of class $C^1$ (technically, this means ...
0
votes
1answer
62 views

Regular curve given implicitly

Let $F:D\subseteq\mathbb{R}^2\to\mathbb{R}$, $D$ open and connected set, be a $C^1 (D)$ application. What are the minimum requirements for $F$ such that the solutions of the equation $F(x,y)=0$ are ...
2
votes
0answers
41 views

Writing a function as a sum of functions of bounded diameter

This problem is distilled from one arising in a study of complex random variables, but I've removed as much baggage as I can without (I hope) making it trivial. Fix $D>0$. A function $f:\mathbb ...
4
votes
2answers
132 views

How to find an ODE with prescribed terminal values?

Let us consider an ODE $$\frac{dx_t^y}{dt}=g(x_t^y),$$ where y is the initial condition i.e. $x_0^y=y$. Now, given a function $f$ (increasing and smooth) is it possible to find $g$ (i.e. an ODE) ...
5
votes
2answers
185 views

Continuous map from connected subset of R^n to one of the real zero of an odd degree polynomial whose coefficients are polynoms of the variables

Let take a real multivariate polynomial $P(x_1, \ldots, x_n, y)$ such as the degree of P relatively to the variable $y$ is odd. Thus, for each $X = x_1,\ldots,x_n \in\mathbb{R}^n$, the univariate ...
8
votes
1answer
132 views

Specifying $L^p$ norms of derivatives

Given a sequence of positive numbers $\{a_n\}$ and $1 < p < \infty$, $p\neq 2$, is it possible to build a function $f\in C^\infty(\mathbb R)$ so that $\|f^{(n)}\|_{L^p(\mathbb R)} = a_n$? For ...
6
votes
1answer
177 views

Henstock, Differentiation under the integral sign

Does anyone know, where I can find the proof of necessary and sufficient conditions for differentiating under the integral sign in case of Henstock integral? Here are the theorems but not all the ...
6
votes
1answer
280 views

An indicator of a planar subset as an element of a tensor product

Denote $I=(0, 1)$, and let $\mu$ be the Lebesgue measure on $I$. Does there exist a function $f$ on $I\times I$ viewed as an element of the space $L^\infty(\mu\times\mu)$ such that $$ f^2=f $$ (that ...
3
votes
0answers
92 views

Regularity in PDE theory

I stumbled over this question in the context of PDE theory and thought that maybe somebody here knows whether the following is true or not? Let $U$ be connected,open and bounded in $\mathbb{R}^n$ ...
11
votes
1answer
722 views

Calculate in closed form $\int_0^1 \int_0^1 \frac{dx\,dy}{1-xy(1-x)(1-y)}$

The following question has a 500 points bounty on MSE that soon comes to an end, and no answer as expected was given yet. How would a professional solve the problem? Wish you succcess. ...
0
votes
0answers
85 views

The Lebesgue measure of the low level sets of the two-dimmension Fourier transform of a compactly supported function

Let $f\in {{L}^{1}}\left( {{\mathbb{R}}^{2}} \right)$ be a density function with the support $\operatorname{supp}\left( f \right)\subset \left[ a,b \right]\times \left[ c,d \right]$. Denoted by ...
-1
votes
1answer
51 views

Glueing smooth functions give a smooth function if reparametrized [closed]

Given $\mathbf{r}:(t_0-\varepsilon, t_0+\varepsilon)\to\mathbb{R}^2$ be a $C^{1}$ application, with $\mathbf{r}'(t)=(0,0)\Longleftrightarrow\ t=t_0$, and $$\mathbf{r}(t)=\begin{cases} \mathbf{r}_1 ...
1
vote
1answer
116 views

Interesting property of analytic functions

Let $f:(t_0-\varepsilon, t_0+\varepsilon)\to\mathbb{C}$, be an analytic application, such that: $f(t)=0\Longleftrightarrow\ t=t_0$. Is it true that there is an analytic function $g:(t_0-\varepsilon, ...
5
votes
0answers
116 views

Local version of the Hardy-Littlewood-Sobolev theorem for Riesz potentials: $\|I_\alpha(f)\|_{L^q} \le C \|f\|_{L^p}$?

Recently, I have been studying the properties of the Riesz potential $$ I_\alpha(f)(x) = c_{d,\alpha} \int_{\mathbb R^d} \frac{f(y)}{|x-y|^{d-\alpha}} \, dy. $$ The classical Hardy-Littlewood-Sobolev ...
2
votes
1answer
41 views

Convergence in an infinite matrix

Let $\omega$ be the first infinite ordinal, and let $A$ be a real $(\omega+1)\times(\omega+1)$-matrix, that is $A$ is a map $A:(\omega+1)\times(\omega+1) \to \mathbb{R}$. Suppose that $A$ has the ...
3
votes
1answer
87 views

Horizontal Sobolev space on Carnot group

This question is connected with my previous: Heisenberg group: function without vertical derivative. Here I am trying to look from another side: what is a difference between Sobolev space and ...
5
votes
0answers
163 views

Degree of Chebyshev polynomial necessary

In general, given $0<a<1$, I want to find a polynomial $f(x)\in\Bbb R[x]$ such that $f(x)\in[1-\frac{a}2,1+\frac{a}2]$ at every $x\in[1-a,1+a]$ and $f(0)=0$. What is minimum degree that is ...
2
votes
0answers
53 views

Weak Morrey Spaces

As is well known, Morrey spaces are widely used to investigate the local behavior of solutions to second order elliptic partial differential equations. Recall that the classical Morrey spaces ...
8
votes
3answers
472 views

Degree necessary of a polynomial?

Given $-1<a<b<0$, I want to find a polynomial $f(x)\in\Bbb R[x]$ such that $f(x)\in[a,b]$ at every $x\in[b^2,a^2]$ and $f(0)=0$. What is minimum degree that is needed and maximum degree that ...
0
votes
0answers
123 views

Orthogonal complements of intersections of closed subspaces

Let $H$ be a Hilbert space and $H_1, \cdots, H_n$ be closed subspaces of $H$. $\mathbf{Question}:$ Is it always true that the orthogonal complement $(H_1\cap\cdots\cap H_n)^\bot$ of the intersection ...
0
votes
1answer
97 views

Lagrangian flow preserves symplectic form

Let $X$ be a configuration space and $L: TX \rightarrow \mathbb{R}$ a Lagrangian. Then I want to show that the Lagrangian flow $F^t(x(0),x'(0)) = (x(t),x'(t))$ preserves the symplectic form just like ...
13
votes
1answer
385 views

Positive roots of a polynomial

Let $a_i>0$, $i=1,\dots,n$, and put $\overline{a}:=\frac{1}{n}\sum_{i=1}^n a_i$. Assuming not all $a_i$'s are equal, take $$ p(x):=\sum_{i=1}^n a_i (a_i-\overline{a})\prod_{k=1,\dots,n\;k\neq i} ...
6
votes
0answers
238 views

Heisenberg group: function without vertical derivative

Let $\mathbb H$ be Heisenberg group with vector fields $$ X=\partial_x - \frac12y\partial_t,\quad Y=\partial_y + \frac12x\partial_t,\quad T=\partial_t $$ and $U\subset\mathbb H$ is an open set. I am ...
3
votes
0answers
67 views

Maximizing the discrepancy in Jensen's inequality for a certain function

Let $\underline{b}=\{b_1,\dots,b_n\}$ be a fixed sequence of positive numbers, and let $a>0$ be a parameter. Define $$ D(a;\underline{b}):=\frac{1}{\frac{1}{na}+\frac{1}{\sum_{i=1}^n b_i}} ...
6
votes
1answer
265 views

how wiggly is a generic level set?

Typical level sets of smooth real-valued functions are manifolds, so they cannot be fractals. If we coarse grain a bit though, sometimes we get space-filling behavior, eg. every point could be within ...
3
votes
1answer
75 views

random odes adapted solution

Let $\{\omega_t\}$ be a Levy process (like Brownian Motion, stable process). Consider the following random ode $$x_t=x_0+\int_0^tb(x_s+\omega_s)ds$$ Where $b$ is a bounded continuous function (not ...
9
votes
1answer
164 views

Reference request: Riesz potential $I_\alpha : L^{d/\alpha} \to \rm{BMO}$?

Let us denote the Riesz potential in $\mathbb R^d$ by $$ I_\alpha (f)(x) := c_{d, \alpha} \int_{\mathbb R^d} \frac{f(y)}{|x-y|^{d-\alpha}} \, dy.$$ By the classical Hardy-Littlewood-Sobolev theorem ...
8
votes
1answer
147 views

Best Hölder exponents of surjective maps from the unit square to the unit cube

The Peano's square-filling curve $p:I\to I^2$ turn's out to be Hölder continuous with exponent $1/2$ on the unit interval $I$ (a quick way to see it, is to note that $p$ is a fixed point of a ...
5
votes
3answers
384 views

Introductory texts to mathematics [closed]

I am interested in texts recomendations for a 14 years old boy who wants to study more mathematics than he does at school. He seems quite talented, but his knowledge of maths is rather low. I would ...
2
votes
1answer
51 views

When is a convex program continuous in its constraint vectors?

Consider $$F(z)=\min ae^{-x}+b e^{-y} s.t. x\ge 0, y\ge 0\text{ and } x+y=z$$ I checked if this function is continuous, but it is not at $z=0$. $F(z)=2\sqrt{ab}e^{-z/2}$ when $z\ne 0$, and ...
4
votes
1answer
82 views

Does this infinite sum arising from separation of variables converge?

This problem came up in a PDE where I used separation of variables to formally get a solution. Now I need to know whether that formal solution is sensible. Let $a_k >0$ be an increasing sequence ...
2
votes
1answer
302 views

Real and imaginary part of an holomorphic function

I guess this could be a very elementary question. Anyway I can not find an answer in literature. Let $f:U\rightarrow\mathbb{C}$ be an holomorphic function on an upen subset $U\subseteq\mathbb{C}$. ...
7
votes
2answers
224 views

A moment problem

Suppose $X, Y$ are two positive random variables such that $\mathbb{E}[X^\alpha] = \mathbb{E}[Y^\alpha]$ for all $\alpha \in (0, 1/2)$. It is also known that the first moment exists for each of them, ...
1
vote
1answer
163 views

Fourier coefficients of real analytic functions on an n-dimension torus

Let $(\mathbf{R}^n,\langle\;,\; \rangle)$ be the n-dimensional euclidean space endowed with the standard inner product. For a lattice $L\subseteq \mathbf{R}^n$ we let $cov(L)$ denote the covolume of ...
48
votes
4answers
2k views

When has the Borel-Cantelli heuristic been wrong?

The Borel-Cantelli lemma is very frequently used to give a heuristic for whether or not certain statements in number theory are true. For example, it gives some evidence that there are finitely many ...
0
votes
0answers
48 views

Characterization of the maximizer of a function based on a parameter's value

Consider a smooth, continuously differentiable, and jointly concave function $f(x,y,z;a)$, where $x,y$ and $z$ are decision variables and $a$ is a problem parameter. I have two optimization problems. ...
1
vote
0answers
155 views

What does the Riemann–Stieltjes integral measure? [closed]

The Riemann–Stieltjes integral is a generalization of the Riemann integral, and has a definition based on a sum analogous to the Riemann sum: $$ S(P,f,g) =\sum_{k=1}^{n} f(x_k)\Delta g(x_k) $$ where ...
6
votes
0answers
167 views

Asymptotic behavior of a sequence of functions

For $n\in\mathbb{N}$ and $q\in(0,1)$, define $$f_{n}(q):=\sum_{i_{1},i_{2},\dots,i_{n}=1}^{\infty}\frac{q^{i_1+i_2+\dots+i_n}}{(1-q^{i_1+i_2})(1-q^{i_2+i_3})\dots(1-q^{i_{n-1}+i_n})(1-q^{i_n+i_1})}.$$ ...
3
votes
1answer
86 views

Gradient estimate of convex functions

Consider a special type of convex function $g(\cdot):\mathbb{R}^d \to \mathbb{R}_+\cup\{+\infty\}$ such that $g(x)=+\infty$ as $|x|\to \infty$. Then $g$ is differentiable almost everywhere within its ...