Questions tagged [real-analysis]

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

Filter by
Sorted by
Tagged with
0 votes
0 answers
55 views

Help me find the antiderivative of $W(W(x))$ where $W$ denotes the Lambert W Function

Let $W$ denote the Lambert W Function. I must know the antiderivative of $W^2 = W(W(x))$. I'm already convinced this function is not elementary. This does nothing to settle up my curiosity, as I ...
Alma Arjuna's user avatar
-3 votes
0 answers
75 views

Can we deduce $a_n\le Cn^2$ from $a_{n+1}\le Ca_n+Ca_n^{1/2}$? [closed]

Assume $\{a_n\}$ is a positive sequence satisfying $a_1\le C$ and $a_{n+1}\le C a_n+C a_n^{1/2}$. Can we deduce by induction $a_n\le Cn^2$? Here C's could be different constants.
guest's user avatar
  • 1
0 votes
0 answers
57 views

Construct a continuous function $f(x)$ periodic with period $2\pi$ such that the Fourier series of $f(x)$ is divergent at $x = 0$

The following question was asked on Math Stack Exchange by me 15 days ago. I used a bounty, but still no response.So I am posting the question here Here is the link of the question here problem ...
Sbsty 's user avatar
  • 109
-1 votes
0 answers
80 views

Ratio of l1/l2 norm over n dimensional vector

According to here $$\frac{(|c_1|+|c_2|+\cdots+|c_n|)^2}{c_1^2+c_2^2+\cdots+c_n^2}\geq 1$$ The equality holds when for each $i\neq j\in[n]$, $|c_i||c_j|=0$. Could we improve the lower bound by ...
tony's user avatar
  • 335
4 votes
2 answers
215 views

A function that maps every perfect set to $\mathbb{R}$

It's known that some real functions map every nonempty open subset onto $\mathbb{R}$. Is there any function from $\mathbb{R}$ to $\mathbb{R}$ that maps every nonempty perfect set onto $\mathbb{R}$?
Luca T. Castrillón's user avatar
0 votes
1 answer
99 views

Continuous extensions of tangent vector fields

Let $\Omega$ be an open subset of $S^2$ with $\bar{\Omega}\neq S^2$. Suppose a continuous tangent vector field $G$ is given on $\partial \Omega$ with $|G(y)|=1$ for all $y\in \partial \Omega$. Does ...
MathLearner's user avatar
0 votes
1 answer
74 views

Continuous modification of tangent vector fields

Let $\Omega$ be an open subset of $S^2$, and assume that there exists a continuous tangent vector field $F(x)$ defined on $\bar{\Omega}\neq S^2$ with $|F(x)|=1$ for all $x\in \bar{\Omega}$. Suppose a ...
MathLearner's user avatar
17 votes
2 answers
578 views

Etymology of “real numbers"

I would like to know why the real numbers are called “the real numbers.” I would also like to know the meaning of “real” in the phrase “real number.” Further questions and clarifications: I’d like to ...
Paul Talma's user avatar
1 vote
0 answers
71 views

Function whose derivatives eventually vanish almost everywhere

As a takeaway of this post we have the following result. P. Let $f:[0,1]\to\mathbb{R}$ be infinitely differentiable such that for all $x\in[0,1]$ the sequence $\{f^{(n)}(x)\}$ is eventually $0$. Then ...
Luca T. Castrillón's user avatar
0 votes
0 answers
31 views

Reference request: injectivity of CWT, density of dilations and translations in $L^p$

Recently, I encountered the notion of Continuous Wavelet Transform (CWT), and I find it very intriguing (for a reference, see the wiki). I believe it offers a different and more general perspective on ...
Zhang Yuhan's user avatar
-5 votes
0 answers
26 views

decimal expansion and distance [closed]

If we have a infinite sequence of decreasing irrational numbers say $$\{\gamma_1,\gamma_2,\gamma_3,\cdots \}, ~~~~~ \text{s.t}~~~~~0< \gamma_i<1 $$ can we say $$\sum_{i=1}^{\infty}{\gamma_i}$$ ...
cocoPuffs's user avatar
0 votes
0 answers
60 views

Multiplication with dilations of nonzero measurable function is injective

Denote $f_s(x):=f(sx)$ as the dilation of a function $f$. I want to know whether the following statement is true: Suppose $f$ and $g$ are measurable functions on $\mathbb{R}$, and $f$ is not almost ...
Zhang Yuhan's user avatar
2 votes
0 answers
108 views

Is $L^2([a,b]; L^2(S^2))$ the same as $L^2([a,b] \times S^2)$?

The space $L^2([a,b];L^2(S^2))$ is a Banach space with respect to the norm $$\left\Vert f \right\Vert_1^2 = \int_{a}^b \left\Vert f(r) \right\Vert_{L^2(S^2)}^2 dr$$ The space $L^2([a,b]\times S^2)$ ...
Laithy's user avatar
  • 885
0 votes
0 answers
126 views

Antiderivatives via Taylor series and the FT of Calculus

If $f$ is a real function on an interval $[a,b]$ such that $f$ is computationally tractable on $[a,b]$: you can calculate $f(x)$ to $n$ bits of precision using an algorithm which is polynomial in $n$ ...
Joe Shipman's user avatar
-1 votes
1 answer
83 views

Lipschitz function which is surjective on subset implies that the subset is dense

Let $f: \mathbb{R}^n \to \mathbb{R}^n$ be a Lipschitz-function. Suppose $A \subseteq \mathbb{R}^n$ is an $(n-1)$-connected subset such that $f(A) = \mathbb{R}^n$. I would like to show that $A\subseteq ...
psl2Z's user avatar
  • 107
0 votes
0 answers
56 views

Sum of upper semi continuous and lower semi continuous functions

Let $X$ be a compact metric space. Assume that $f: X \to \mathbb{R}$ is upper-semi continuous and $g:X \to \mathbb{R}$ is lower semi-continuous. Assume that $\sup \{ f(x)+g(x) : x \in X \}$ is finite. ...
Adam's user avatar
  • 1,001
2 votes
1 answer
262 views

A strange functional inequality

Let $f,g \in C([-2,2],\mathbb R_+^*)$ even and concave real functions. Is it true that $$ \int_0^1 f\big(\cos(x^{-1})+\sin(x^{-1})\big) \cdot g\big(\cos(x^{-1})-\sin(x^{-1})\big) \mathrm{d}x\\ \leq f(...
Dattier's user avatar
  • 3,759
0 votes
0 answers
41 views

Are there probability densities $\rho, f_n$ such that $\lim_n \frac{[\rho * f_n]_\alpha}{\|\rho * f_n\|_\infty} = \infty$?

We fix $\alpha \in (0, 1)$. Let $[f]_\alpha$ be the best $\alpha$-Hölder constant of $f: \mathbb R^d \to \mathbb R^k \otimes \mathbb R^m$, i.e., $[f]_\alpha := \sup_{x \neq y} \frac{|f(x) - f(y)|}{|x-...
Akira's user avatar
  • 851
1 vote
1 answer
42 views

Lower bound the best $\alpha$-Hölder constant of a convolution

Let $\mathcal D_1$ be the set of bounded probability density functions on $\mathbb R^d$. This means $f \in \mathcal D_1$ if and only if $f$ is non-negative measurable such that $\int_{\mathbb R^d} f (...
Akira's user avatar
  • 851
1 vote
2 answers
80 views

Is the difference between $\alpha$-Hölder constants of $f*\rho$ and $g*\rho$ controlled by $\|f-g\|_\infty$?

Let $\mathcal D_1$ be the set of bounded probability density functions on $\mathbb R^d$. This means $f \in \mathcal D_1$ if and only if $f$ is non-negative measurable such that $\int_{\mathbb R^d} f (...
Akira's user avatar
  • 851
2 votes
0 answers
72 views

Limit of lacunar power series at $1^-$

I've asked this question on MSE but I didn't get a convincive answer so I'm trying here. Here is the question : Let $\sigma:\mathbb{N}\longrightarrow\mathbb{N}$ be strictly increasing, and consider ...
Tuvasbien's user avatar
  • 176
2 votes
1 answer
127 views

Understanding the integral $\int_0^1\det(v(t),v'(t))dt$ where $v(t)$ is path in the plane

Let $v(t) : [0,1]\rightarrow\mathbb{C}^2$ be a smooth path, and let $v' := dv/dt$. I'd like to understand what the integral: $$I(v) := \int_0^1 \det(v(t),v'(t))dt$$ tells us about $v$, where $\det(v(t)...
stupid_question_bot's user avatar
0 votes
0 answers
79 views

Characterization for the multipliers of Schwartz space

Is the following true? A function $m:\mathbb R^n\to\mathbb C$ is a Schwartz multiplier (i.e. $[f\mapsto mf]:S(\mathbb R^n)\to S(\mathbb R^n)$ is bounded linear) iff the following: For every $\alpha$ ...
Liding Yao's user avatar
4 votes
2 answers
344 views

Functions with asymmetrically decreasing Fourier transform?

$\def\ii{{\rm i}}\def\bbR{\mathbb R}\def\bbC{\mathbb C}\def\bbNo{\mathbb N_0}\def\Fou{\mathscr F}$Specifically, I would like to have a compactly supported continuous function $f=u+\ii\,v:\bbR\to\bbC$ ...
TaQ's user avatar
  • 3,390
1 vote
0 answers
53 views

Density of zero modes

Let $(M,g)$ be a compact smooth Riemannian manifold with a smooth boundary. Let $\{(\lambda_k,\phi_k)\}_{k\in\mathbb N}$ be the spectral data on $(M,g)$, namely an orthonormal basis for $L^2(M)$ ...
Ali's user avatar
  • 4,087
3 votes
1 answer
335 views

Does $f(t) \le \int_0^t (t-s)^{-\frac{1}{2}} [f(s) + |f(s)|^{\beta}] \, \mathrm d s$ imply $f=0$?

Let $\beta \in (0, 1)$. We assume $f : [0, 1] \to [0, \infty)$ is a measurable and bounded function such that $$ f(t) \le \int_0^t (t-s)^{-\frac{1}{2}} [f(s) + |f(s)|^{\beta}] \, \mathrm d s, \quad \...
Akira's user avatar
  • 851
2 votes
1 answer
119 views

Grönwall-type inequality for $f(t) \le \alpha + \int_0^t (t-s)^{-\frac{1}{2}} [f(s) + |f(s)|^{\beta}] \, \mathrm d s$

Let $\alpha \in (0, \infty)$ and $\beta \in (0, 1]$. We assume $f : [0, 1] \to [0, \infty)$ is a measurable and bounded function such that $$ f(t) \le \alpha + \int_0^t (t-s)^{-\frac{1}{2}} [f(s) + |f(...
Akira's user avatar
  • 851
2 votes
1 answer
137 views

Example of a conditionally convergent series $\sum_{n=1}^\infty b_n$ such that $n^2(b_n-b_{n+1})$ is bounded

Let $(b_n)_{n \in \mathbb{N}}$ be a real sequence such that $(nb_n)$ is bounded. I know that if the series $\sum_{n=1}^\infty b_n$ is conditionally convergent, then $(n^2b_n)_n$ is not bounded. But, ...
Kanydo Mat's user avatar
0 votes
1 answer
103 views

How to understand the unique continuation result

Let $E$ be the closure of $C_c^{\infty}\left(\mathbb{R}^N\right)$ ($N \geqq 3)$ under the norm $$ \|u\|_E=\left(\int_{\mathbb{R}^N}|\nabla u|^2\right)^{1 / 2}. $$ Suppose $K(x) \in C^1\left(\mathbf{R}^...
Davidi Cone's user avatar
6 votes
3 answers
589 views

Evaluating the infinite product $\prod_{k\geq 2}(1-\frac{1}{k^3})$

Does anyone know how to evaluate the infinite product $$ \prod_{k = 2}^{\infty} \left( 1 - \frac{1}{k^3} \right)? $$ I know that a generalized quadratic version has a nice closed form $$ \frac{\sin(\...
kodlu's user avatar
  • 10.1k
2 votes
1 answer
93 views

On compactly supported functions with prescribed sparse coordinates

Let $\{\phi_n\}_{n=1}^{\infty}$ be an orthonormal basis for $L^2((0,1))$ consisting of Dirichlet eigenfunctions for the operator $-\partial^2_x + q(x)$ where $q \in C^{\infty}_c((0,1))$ is fixed. ...
Ali's user avatar
  • 4,087
4 votes
1 answer
154 views

Bound in terms of harmonic oscillator

I wonder if the following is true: Let $\alpha >0$ be a positive real number, do we have $$\Vert H^{\alpha} \psi''\Vert \le \Vert H^{\alpha+1} \psi\Vert,$$ where $H = -\frac{d^2}{dx^2} + x^2$ is ...
António Borges Santos's user avatar
1 vote
0 answers
40 views

If a weighted Laplacian's eigenfunction is zero in an open set, when is it identically zero?

Let $m, s \in ([0, 1]^d \rightarrow \mathbb{R}_{\geq 0}$). Define a weighted Laplacian $\Delta_{m, s}f$ evaluated at $x \in [0, 1]^d$ to be: $m(x) \cdot \text{div} ( s(x) \nabla f(x))$. What ...
Timothy Chu's user avatar
-1 votes
0 answers
64 views

Convergence of convex compact bodies implies Hausdorff convergence

I am wondering about the following : In $\mathbb{R}^n$, suppose you are given compact convex bodies $\left\{ C_k : k \geq 1 \right\}$ and $C$, such that: (simple convergence) for every $x \in \mathbb{...
Anthony's user avatar
  • 43
5 votes
1 answer
289 views

Does the Poincaré inequality hold on annular domains?

Does the following Poincaré inequality hold $$\int_{B_{r_2}\setminus B_{r_1}} |f-\bar{f}|^2 dx \leq C(r_2-r_1)^2 \int_{B_{r_2}\setminus B_{r_1}} |\nabla f|^2 dx,$$ where $B_r$ denotes a ball of radius ...
Student's user avatar
  • 653
0 votes
1 answer
85 views

A simple bilinear estimate

Let $2\leq p,q <\infty$ and fix $0<\alpha<1$ such that $\frac{1}{p}+\frac{1}{q}\leq 2-\alpha$. Suppose that $f\in L^{p}([0,1])$ and $g\in L^{q}([0,1])$. What is the optimal value of $t=t(\...
Medo's user avatar
  • 744
1 vote
0 answers
129 views

Can this integral be solved analytically

I have an integral of the form $$\int_{t_1}^{t_2} \frac{\sum_{i=1}^n a_i e^{b_i t}}{\sum_{i=1}^n c_i e^{d_i t}} dt$$ Where $a_i,b_i,c_i,d_i$ are $4n$ real constants, and $t_1,t_2$ are positives. Is ...
lrnv's user avatar
  • 686
2 votes
2 answers
212 views

How should the "measure theoretic" Jacobians of a dynamical map be understood in Lai-Sang Young's "Recurrence Times and Rates of Mixing"

In Young's article: Recurrence Times and Rates of Mixing, she uses multiple times the notation $JF, JF^k, JF^R$ to mean the Jacobian of a dynamical map $F:\Delta\to\Delta$ w.r.t. a given reference ...
Epsilon Away's user avatar
0 votes
1 answer
53 views

An expansion for 2d Euler equation

Let $R>0$ be a large constant, such that for any $x \in \Omega$, $\Omega \subset B_R(x)$. Consider the following problem in $\mathbb{R}^2$: $$ -\varepsilon^2 \Delta u=1_{\{u>a\}} \text { in }\, ...
Davidi Cone's user avatar
0 votes
0 answers
61 views

How to distinguish birth and death bifurcations?

Let $f : \mathbb{R} \to \mathbb{R}$ have a degenerate critical point at $x = 0 \, ($ie, $f(0) = f'(0) = f''(0) = 0)$. Perturbing $f$ locally around $0$ may cause multiple scenarios: Birth: the ...
Azur's user avatar
  • 101
0 votes
0 answers
78 views

Verifying the Cauchy behavior of a sequence

Let me consider the iteration $x_{n+1}=Tx_n$ and $T$ is a self-map from a non-empty subset $K$ of a smooth Banach space $X$ to itself, satisfying $W(Tx, Ty) \leq W(x, y)$, where $W(x, y)=\Vert x \Vert^...
PPB's user avatar
  • 75
0 votes
0 answers
57 views

Reference request for equivalent Lipschitz smoothness conditions

For an open set $Z\subseteq\mathbb{R}^n$, let $f: Z\mapsto \mathbb{R}$ be a continuously differentiable function on $Z$, and let $L>0$ be fixed. Also, suppose that (a) $f$ is nonconvex and (b) $f$ ...
William Kong's user avatar
3 votes
2 answers
379 views

Monotonicity of matrix conjugation

Let $A$ and $B$ be positive-definite matrices such that $A \le B.$ By matrix monotonicity of the root, this also implies that $A^{\alpha} \le B^{\alpha}$ for $\alpha \in [0,1].$ I am now curious under ...
António Borges Santos's user avatar
2 votes
1 answer
288 views

Fourier series but different waveform

Given a nondegenerate smooth simple closed convex curve $f: [0,2\pi]\to \mathbb C \setminus \{0\}$ with winding number (around origin) $1$, and $f$ have zero mean. Let $f_n: [0,2\pi]\to \mathbb C \...
Zhang Yuhan's user avatar
2 votes
0 answers
112 views

A sequence linked to irrationality

Let $0 < c < 1$ be a real number and $ x \in \mathbb{R}$. We define the sequence $(u_n)_{n \in \mathbb{N}}$ by : $$u_0 = x$$ $$ \mathrm{If}, u_n \le c, \mathrm{then}, u_{n + 1} = u_n + (1 - c) $$...
Azoth's user avatar
  • 41
5 votes
1 answer
198 views

An asymmetric quadrilinear estimate

Fix $1<p<2$ and let $a_{i}=1-\frac{\theta_{i}}{p^{\prime}}$ where $\theta_{i}\in (0,1/2)$, $i=1,2,3,4$, and $p^{\prime}$ is the conjugate exponent of $p$. Note here that $0<a_{i}=1-\theta_{i}+...
Medo's user avatar
  • 744
1 vote
1 answer
88 views

Examining the Hilbert transform of functions over the positive real line

$\DeclareMathOperator\supp{supp}$Let $H:L^{2}(\mathbb{R})\to L^{2}(\mathbb{R})$ be the Hilbert transform. Let suppose we have a compaclty supported function $f \in L^{2}(\mathbb{R})$ such that $\supp(...
Gabriel Palau's user avatar
2 votes
2 answers
168 views

Is there a compactly supported differentiable function whose Fourier transform is not in L1?

In my MSE answer here, I discussed the example of compactly supported continuous function $$g(x)= \begin{cases} \dfrac{\frac12 -x}{\log(x)},&0<x\leq1/2\\ 0,&\text{otherwise} \end{cases}$$ ...
D.R.'s user avatar
  • 741
0 votes
1 answer
203 views

Does this property implies Lipschitz continuity?

Let $f:\mathbb{R}^{n} \rightarrow \mathbb{R}$ be such that, for $x,y,z \in \mathbb{R}^{n}$, we have that $$|f(z) - f(x)| \leq |f(z) - f(y)| \Rightarrow \|z-x\| \leq \|z-y\|$$ Can I say that this ...
aureliano_buendia's user avatar
0 votes
1 answer
46 views

Everywhere existence of marginals

Let $f\in L^1(\mathbb{R}^2)$ be a (joint) probability density function which satisfies $f(x,y)>0$ for all $(x,y)\in \mathbb{R^2}$. What is a necessary and sufficient condition under which the ...
Amir Sagiv's user avatar
  • 3,554

1
2 3 4 5
106