Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [real-analysis]

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

1
vote
0answers
33 views

Necessary and Sufficient conditions for integrable function

Suppose that $a, b$ and $c$ are constant. Is there the necessary and sufficient conditions of $a ,b, c$ for the following integration is integrable? i.e. $$\int_0^{\infty}\int_0^{\infty}\int_0^{\...
1
vote
1answer
250 views

Uniformly Bounded (updating)

Suppose that $a_1<1$, $a_3<1,$ $a_1+a_2+a_5>1$, $a_3+a_4+a_5>1,$ $a_1+a_2+a_3+a_4+a_5>2,$ and $b_1, b_2>0$. For $x,y>0,$ (1) define a fucntion $$H(x,y)=\frac{x^{\frac{1}{2}}\...
0
votes
0answers
97 views
+100

How do we introduce a signed finite measure on the space of curves confined into the box $[0,1]^{n}$?

Given $\Omega_{n} = \{\alpha:[0,1]\rightarrow[0,1]^{n}\,|\,\alpha\,\,\text{is smooth}\}$, consider the equivalence relation: \begin{align*} & \alpha_{1} \sim \alpha_{2} \Leftrightarrow \int_{0}^{1}...
1
vote
1answer
64 views

Continuous inclusion of metric spaces of smaller capacity

If $(X,d_X)$ is a compact metric space, and $(Y,d)$ is another metric space. Moreover, suppose that the metric capacity of $(Y,d)$ is at-least that of $(X,d_X)$, that is $$ \kappa_X(\epsilon)\leq \...
0
votes
0answers
45 views

Looking for example of integral transformations that preserve number of zeros

Let $f:\mathbb{R} \to \mathbb{R} $ have $n<\infty$ zeros. I am looking for non-trivial examples of integral transformation \begin{align} g(x)= \int f(t) h(t,x) dt \end{align} such that $f$ and $g$...
5
votes
0answers
135 views

Weighted reverse Poincare inequality over a function class of neural networks

We consider a probability measure supported on the whole space $\mathbb{R}^n$, whose density is $p(x)$. We also consider a (one-layer) neural network function class $\mathcal{C}$, whose elements have ...
1
vote
2answers
118 views

One-Sided Analyticity Condition Guarantees Analytic Function?

Let $f \ \colon \ [0,\infty) \to \mathbb{R}$ be a function satisfying: $f$ is differentiable infinitely many times in $(0,\infty)$, and has a right-derivative of any order at $0$. $f$ satifsfies the ...
4
votes
3answers
136 views

Uniqueness of minimizers in a problem in the Calculus of Variations - Part II

Take any convex set $A\subset\mathbb{R}^n$ which contains a neighborhood of the origin and let $f_A$ be the associated Minkowski functional $$ f_A(x) = \inf\{\lambda>0\mid x\in\lambda A\}, $$ which ...
1
vote
2answers
159 views

Reference request: Functions of bounded variation in one real variable

Is there a good reference for facts and theorems about BV real valued functions? I’m looking for something with much more than say Stein and Shakarchi 3, or Evans and Gariepy. Thanks!
3
votes
0answers
120 views

Chern number of projection-Topological magic in physics

I enclosed a computation from a well-known paper in the field of mathematical physics where the Chern number of the first Landau level is computed (the result claimed is $-1$) and the full paper can ...
1
vote
2answers
345 views

Standard Brownian motion, Hölder continuous with exponent $\gamma$ for any $\gamma < 1/2$, not for any $\gamma \ge 1/2$

In some results on Hölder continuity with regards to standard Brownian motion, the following is asserted without proof. It is not hard to see that for every $k < \infty$, and every $\epsilon >...
0
votes
1answer
186 views

Stone–von Neumann theorem?

The Stone–von Neumann theorem says that given two unitary groups on a Hilbert space $H$ satisfying the canonical commutation relations (CCR) $$ U(t)V(s) = e^{-i st} V(s) U(t) \qquad \forall s, t $$ ...
1
vote
1answer
149 views

Approximation of a two-variable function by tensor products

Let $X$ and $Y$ be compact metric spaces and $f: X \times Y \to \mathbb{R}$ be a continuous function. We know that, for every $n \in \mathbb{N}$, by the Stone-Weierstrass theorem, there exist $k_n \...
2
votes
2answers
116 views

Example of convex functions fulfilling a (strange) lower bound

I am reading a preliminary version of a paper which focuses on some minimization problems connected to a class of integral functionals. Reading the assumptions of one of the theorems I cannot convince ...
7
votes
2answers
209 views

Textbook recommendation request: Exercises to supplement Evans and Gariepy

While a great book about measure theory and real analysis in $\mathbb R^n$, the only downside is the lack of exercises. Can anyone provide a good book to supplement it with exercises? I plan to use it ...
2
votes
1answer
65 views

Uniqueness of minimizers in the Calculus of Variations

Let $f \colon \mathbb R^2 \to \mathbb R$ be the function defined by $$ f(x,y):= (x^+)^2 + (y^+)^2 $$ where $a^+ = \max\{a,0\}$ for any real number $a$. Given a Lipschitz regular domain $\Omega \...
13
votes
3answers
521 views

Is the intersection of two Caccioppoli (i.e. finite perimeter) sets Caccioppoli?

Recall that we say that a bounded measurable set $S\subset\mathbb R^n$ is said to be Caccioppoli if the indicator function $1_S$ is BV, and we set $$ \operatorname{perim}(S)=\| \nabla 1_S\|_{TV} $$ ...
-1
votes
0answers
76 views

Proof that $2^y x + 2^y - 1$ is an closed formula of $g(1,x,y)$ [closed]

I should proof that $2^y x + 2^y - 1$ is an closed formula of $g(1,x,y)$ with induction or something else. Given is: $g(n,x,y)=\begin{cases} x+y,\quad if\quad n=0 \\ x,\quad \quad \quad if\quad n>...
7
votes
2answers
671 views

Does anyone know what is the right reference for the following simple lemma from harmonic analysis?

The lemma says that given $\lambda\geq 1$, $p\geq 1$, $a_j\geq 0$, for a collection of balls $\{B_j\}_{j\in\mathbb{N}}$ in $\mathbb{R}^n$, it holds $$\bigg\|\sum_j a_j\chi_{\lambda B_j}\bigg\|_p\leq C(...
8
votes
2answers
822 views

Differentiating an integral that grows like log asymptotically

Suppose I have a continuous function $f(x)$ that is non-increasing and always stays between $0$ and $1$, and it is known that $$ \int_0^t f(x) dx = \log t + o(\log t), \qquad t \to \infty.$$ ...
0
votes
0answers
18 views

Parametric statistics: how to estimate the supremum of a set of parameters from a random sample

I would like to ask a question on how to estimate the supremum norm of a set of parameters in the following setting. I appreciate any pointer or suggestion. Thanks. Question: Suppose we have $m$ ...
-1
votes
0answers
43 views

Changing width of integration [on hold]

For $F: \mathbb{R} \to \mathbb{R}$ and $w \in \mathbb{R}$, define $g_w(a) = f(a + w) - f(a)$. Given $g_1$ (and not $F$), how can we compute $g_w$ for other $w$? We can assume $F$ is well behaved: $...
12
votes
1answer
447 views

Can $C^1$ mappings with derivative of low rank be approximated by smooth maps?

Asked once on SE-mathematics. Let $U$ be an open subset in $\mathbb{R}^n$, $m\in\mathbb{N}$, $1\leq m<n$ and let $$\mathcal{C}^k_{\leq m}(U,\mathbb{R}^n):=\lbrace g\in\mathcal{C}^k(U,\mathbb{R}^n)\...
1
vote
2answers
80 views

Quantitative bound on irrational rotation recurrence time

Given an irrational $a$, the sequence $b_n := na$ is dense and equidistributed in $\mathbb S^1$ where we view $\mathbb S^1$ as $[0, 1]$ with its endpoints identified. Given a point $p$ in $\mathbb ...
0
votes
1answer
88 views

Smallest Lipschitz Constant of a Differentiable Function [closed]

Let $X \subset \mathbb{R}^{n}$ be compact and convex. Moreover, let $f:X \rightarrow \mathbb{R}$ be a differentiable map with $\sup_{x \in X} \|\nabla f(x)\| = K < \infty$, where $\|\cdot\|$ ...
7
votes
1answer
157 views

Almost orthonormal projection and orthonormal projection in Hilbert space

Let $(e_i)_i$ be a family of vectors in a Hilbert space being almost orthonormal but not quite, i.e. $$\langle e_i, e_j \rangle \approx \delta_{i,j} + \alpha e^{-\vert i-j \vert} $$ and $\alpha$ is ...
3
votes
1answer
188 views

A certain generalisation of the golden ratio

Consider a real number $a \ge 1$, and let $g(a)$ be the unique positive solution $x>0$ of $x^a - x^{a-1} - 1 = 0.$ We have $g(1) = 2$, $g(2) = {1+\sqrt{5}\over2}$ (the golden ratio), and $g$ is ...
6
votes
0answers
149 views

Concavity of product and ratio of sums

Apologies if this question is not appropriate for MathOverflow. I have asked at Math.StackExchange without success. Consider the function $f:\mathbb{R}^n\rightarrow \mathbb{R}$ defined as $$ f(x)=\...
6
votes
1answer
131 views

Anisotropic perimeter and regularity of anisotropic minimal surfaces

1. Introduction. By-now classical results assert that minimal surfaces (in $\mathbb R^n$) are generically "smooth" out of a "small" set. Question. What are the known regularity results for ...
0
votes
1answer
60 views

Bringing a Heun equation into canonical form

It is a well known fact that any second order Fuchsian differential equation on the complex plane $$u''(x) + p(x)u'(x) + q(x)u(x)=0$$ with exactly $4$ regular singular points may be suitably ...
4
votes
0answers
79 views

On a much weaker version of the Normal conjecture

I would like to ask you about the following question. It is conjectured that every algebraic irrational number is normal (absolutely normal). I know the result by Bugeaud and Adamczewski about the non-...
3
votes
1answer
96 views

What “mild solution” means, and how to find it?

In this paper: Existence and uniqueness of a classical solution to a functional-differential abstract nonlocal Cauchy problem Byszewski studied this form of functional-differential nonlocal problem (1)...
5
votes
1answer
247 views

Functions that map open balls to open balls of different radius?

For $n \geq 2$ we say a continuous function $f: \mathbb R^n \to \mathbb R^n$ such that the image of any bounded open ball is a bounded open ball of different radius is a balloon function. ...
2
votes
1answer
85 views

Approximate sequence of numbers

Let $n \in \mathbb N$ and $k_n \in \left\{0,..,n \right\}$ then we define the numbers $$x_{n,k_n} = \frac{k_n+n^2}{n^3+n^2}.$$ It is easy to see that these numbers satisfy $$x_{n,0} = \frac{1}{n+1} ...
1
vote
1answer
132 views

For every table of interpolating nodes, there is a positive continuous function whose interpolating polynomials are not positive infinitely often

Fix an interval $[a,b]$. Is it true that for every table of interpolating nodes $\{x_{0,n},x_{1,n}...,x_{n,n}\}_{n=1}^{\infty}$, there exists a continuous function $f:[a,b]\to (0,\infty)$ such that ...
0
votes
0answers
73 views

If two spheres are isometric, does there exist a bijective isometry $T:S\to S$ with $\|Tu-\alpha Tv\|_Y \leq \|u-\alpha v\|_X$ for all $\alpha>0?$

Let $$(S,\|\cdot\|) = \{(x,y)\in \mathbb{R}^2: \|(x,y)\| =1\},$$ that is, $S$ is the collection of all norm one vectors in $\mathbb{R}^2$ with respect to the norm $\|\cdot\|.$ Question: Let $\|\...
2
votes
2answers
392 views

Efficiently reversing the triangle inequality with additional information

Suppose $f$ and $g$ are bounded functions, having whatever niceness properties you want, on some space of finite measure. Assume they are normalized so that $\int |f|^2=\int|g|^2=1$. I am looking for ...
2
votes
1answer
107 views

Difference quotient for functions of bounded variation

Let $u:\mathbb{R}^N \to \mathbb{R}^N$, $u \in BV(\mathbb{R}^N)$, be a function of bounded variation. We have that the following holds $$(\ast) \qquad \frac{1}{|B_r(0)|}\int_{B_r(0)} \frac{|u(x+z)-...
22
votes
4answers
713 views

Is this a known question about the expression of a function on $\Bbb R^2$ as an infinite sum of products?

The question below was posted on Mathematics Stack Exchange. It received no answer, and I do not expect any direct answer to it here. However, the question seems to me a natural one. Thus I wonder ...
-1
votes
0answers
58 views

Is this expression true? [migrated]

Let $a_1=b_1/h,...,a_n=b_n/h\in\mathbb{R}$ with $h\in\mathbb{R}$ small. It's true that, given a $\alpha\in\mathbb{R}$: \begin{eqnarray} (a_1+...+a_n)^\alpha=\sum_{i=1}^n (a_i)^\alpha+\mathcal{O}\left(\...
16
votes
3answers
3k views

Density of smooth functions under “Hölder metric”

This question came up when I was doing some reading into convolution squares of singular measures. Recall a function $f$ on the torus $T = [-1/2,1/2]$ is said to be $\alpha$-Hölder (for $0 < \alpha ...
0
votes
4answers
319 views

How to compute this series: $\sum_{k=0}^\infty \frac{C_k}{2^{2k+1}}$ [closed]

How to compute this series: $$\sum_{k=0}^\infty \frac{C_k}{2^{2k+1}}$$ where $C_k$ is the catalan number: $C_k=\frac{1}{k+1}{2k \choose k}$. (Further, is there any general method to treat this ...
5
votes
1answer
130 views

An inequality involving $L^1$ and $L^\infty$ norms of a function of a real variable and its derivative

I got to the following inequality by a (hopefully correct) tortuous argument: If $F:[a,b] \to \mathbb{R}$ is a absolutely continuous monotone function then: $$ \|F'\|_1^2 \leq 4 \|F\|_1 \, \|F'\|...
9
votes
4answers
2k views

When is the infimum of an arbitrary family of measurable functions also measurable?

Let $(X,\Sigma,\mu)$ be a measure space and consider a family of $\mu$-measurable functions $f_i:X \to \mathbb{R}$ for $i$ lying in some index set $I$. Define $$f(x) = \inf_{i \in I} f_i(x)$$ I think ...
0
votes
0answers
54 views

Prove that an iterative estimate implies Holder continuity

Let $u$, $w$ be nonnegative continuous functions such that $\frac{u}{w}$ is bounded on $B_{2^{-1}}$. Why the inequality $$a_k \le \frac{u}{w} \le b_k \quad \text{ on $B_{2^{-k}}$} , \qquad b_k - a_k ...
19
votes
0answers
407 views

Partitions of ${\rm Sym}(\mathbb{N})$ induced by convergent, but not absolutely convergent series

Let $(a_n) \subset \mathbb{R}$ be a sequence such that the series $\sum_{n=1}^\infty a_n$ converges, but does not converge absolutely. Then there is a partition of the symmetric group ${\rm Sym}(\...
2
votes
0answers
133 views

a Kernel free asymptotic for a sampling operator

Let $\Pi=\left\{ t_{k}\right\} _{k\in\mathbb{Z}}$ a sequence of real numbers such that $-\infty<t_{k}<t_{k+1}<+\infty$ for every $k\in\mathbb{Z}$, $\lim_{k\rightarrow\pm\infty}t_{k}=\pm\infty$...
14
votes
1answer
1k views

Are continuous functions almost completely determined by their modulus of continuity?

Given a function $f: \mathbb{R}\to\mathbb{R}$, we define its left modulus of continuity, $L(f): \mathbb{R} \times (0, \infty)\to [0,\infty]$ by $$L(f)(x, e) := \sup \{d \ge 0 \,:\, f((x, x+d)) \...
3
votes
0answers
347 views

What tools from functional analysis are relevant to investigating this operator?

Given a sequence of continuous functions ${{f_n}}$, define the varicontinuity index $$V({f_n}): \mathbb{R} \to [0, \infty]$$ by \begin{split} V({f_n})(x) &=\sup \Big\{\varepsilon > 0\big|\; \...
4
votes
1answer
378 views

Conserved Positive Charge for a PDE

Let $(x,t) \in \mathbb{R}^2$ and consider the following partial differential equation for the real-valued function $U(x,t)$: \begin{equation} \frac{\partial^2 U}{\partial t^2} = - \frac{\hbar^2}{4m^2} ...