The real-analysis tag has no wiki summary.

**2**

votes

**2**answers

102 views

### First order pde with characteristics [closed]

Consider a first order pde of the type $$u_y+b(x)u_x=0$$ and suppose that the coefficient $b$ is not necessairly continuous (for instance with a jump in some point).
Is it still possible to apply in ...

**0**

votes

**0**answers

45 views

### computational question concerning singular integral theory

Let $m\in C^\infty(\mathbb{R}^d-\{0\})$ be homogeneous of degree zero and has mean zero on the sphere$(S^{d-1})$. Then $m$ defines a tempered distribution and $\partial_j^dm\in S'(\mathbb{R}^d)$ is ...

**0**

votes

**0**answers

133 views

### extension of function in an abstract metric space

my question is the following.(Maybe my title is not quite proper for this question):
Let $(E,d)$ be a Polish space (or a separable metric space), let $\xi: E\to R_+$ be a Lipschitz function. Now set ...

**2**

votes

**1**answer

104 views

### Characterization of a subset of [0,1] $III$

I have a question related to the previous one.
Characterization of a subset of [0,1] $II$
Let $T\subseteq [0,1]$ be some subset closed under lower limit topology, i.e.
$t_n$ is said to converge to ...

**-1**

votes

**1**answer

175 views

### Does the divergence of the sum of reciprocals of a set of integers imply this density statement about the set?

Suppose $A \subseteq \mathbb{N}$ is such that $\displaystyle{\sum_{n \in A} n^{-1}} = \infty$. Suppose $B \subseteq \mathbb{N}$ is infinite.
Is there a set $X \subseteq [1,\infty)$ and a increasing ...

**2**

votes

**1**answer

87 views

### Does directional limits along any given direction, always exist for a function of bounded variation?

If a function $f:\mathbb{R}^N\to\mathbb{R}$ is of bounded variation (in modern sense or in Tonelli sense or according to any of the existing definitions), then can we say that, given any point $x\in ...

**3**

votes

**0**answers

96 views

### Density of function spaces

Let $\Omega$ be a subset of either $\mathbb{R}^n$ ($n\geq 3$, if it matters) or of a compact manifold. In either case, we'll call the manifold $M$. Let $V_i\subset V_{i+1} \subset \Omega$ be an ...

**3**

votes

**2**answers

273 views

### Generalized Hardy-Littlewood-Sobolev Inequality

The Hardy-Littlewood-Sobolev Inequality says that
$$\text{for $p,q,r\in (1,+\infty)$ such that }\quad
1-\frac1p+1-\frac1q=1-\frac1r,\tag {$\sharp$}
$$
$$
\exists C, \forall u\in L^p(\mathbb ...

**1**

vote

**1**answer

209 views

### is $x_{n}\ll \overline{x}_{n}^{2}$?

This question is a cross-post from MSE, cause I didn't get any answer there. I hope it is well suited for MO:
Let $(x_{n})_{n\ge 1}$ be an increasing sequence of positive integers and ...

**7**

votes

**1**answer

354 views

### Counting norms on an infinite dimensional vector space

It is known that whenever E is a finite dimensional real vector space, there is only one norm on E up to equivalence (actually one non discrete vector space topology).
Is it known what happens when E ...

**3**

votes

**1**answer

233 views

### Characterization of a subset of [0,1] $II$

My question follows the previous one
Characterization of a subset of $[0,1]$
But I don't know whether it is correct to ask again with a new title.
Thanks a lot for pointing the mistake and I ...

**2**

votes

**1**answer

160 views

### Differentiability of Nemytskii operator on Sobolev space

I am trying to consider hypothesis on $g$ such that the operator
$$ H_0^1 (\Omega) \to L^2(\Omega), \qquad v \mapsto g(v) $$
is $\mathcal C^1$. As additional hypothesis $\Omega$ is bounded and $g(0) = ...

**1**

vote

**1**answer

176 views

### Characterization of a subset of $[0,1]$

Let $T\subseteq[0,1]$ be a subset containing $1$. Now we know that $T$ satisfies the following property:
For every $t\in [0,1)$, if there exists a decreasing sequence $\{t_n\}_{n\ge 1}\subset T$ such ...

**0**

votes

**1**answer

149 views

### Existence of bounded $n-$th derivative of the solution of differential equation

This question is the copy from mat.stackexchange.com here. I requestioned here due to the very limited responses there.
Let $\phi:\mathbb{R}\mapsto\mathbb{R}$ be the standard normal density, ...

**5**

votes

**0**answers

168 views

### Reference for Hodge decomposition

Let $U$ be a bounded open subset of $\mathbb{R}^d$ with Lipschitz boundary, and $g \in L^2(U,\mathbb{R}^d)$ be a solenoidal vector field (i.e. $\nabla \cdot g = 0$). Then $g$ can be written in the ...

**1**

vote

**1**answer

567 views

### For what nonnegative measures $\mu$ does $\mu*e^{-|\cdot|}\in L^{\infty}$?

I am trying to characterize all measures on $\mathbb{R}$ such that
$$
\sup_{x\in\mathbb{R}} \: (\mu*f)(x)<+\infty,
$$
where $f(x)$ is some specific integrable functions, such as $f(x)=e^{-|x|}$, ...

**0**

votes

**1**answer

60 views

### A function with one partial derivative Hölder continuos is Hölder continuos?

I'm having trouble finding a function of two variables, say $u(t,x)$, such that for some $\alpha\in ]0,1]$
1. $(t,x)\mapsto \partial_x^2 u(t,x)$ is $C^{0,\alpha}$;
2. $(t,x)\mapsto \partial_x ...

**0**

votes

**1**answer

139 views

### Is the span of those vectors dense in $\ell_2$?

For all $x \in \mathbb{R}^n$ and $\alpha \in \mathbb{Z}_{\geq 0}^n$ let $x^\alpha=x_1^{\alpha_1} \cdots x_n^{\alpha_n}$. Let $$\ell^2=\{z=(z_\alpha)_{\alpha \in \mathbb{Z}_{\geq 0}^n}:\, z_{\alpha} ...

**15**

votes

**1**answer

553 views

### Solving a non linear equation

I've been trying to prove that the following equation has a unique solution in interval 0 < x < 1 :
$$ x = \Big(\frac{1 - (1-x^2)^K}{1 - (1-x)^K}\Big)^2 $$
Where K is a number (integer, if it ...

**3**

votes

**1**answer

399 views

### the existence of a real polynomial satisfying the following property

It is easy to verify that
$$ \frac{t}{2}\leq \frac{1}{4}+\frac{1}{4}t^2\leq \frac{t}{1-(1-t^2)^2}-\frac{t}{2}
\quad \quad 0<t\leq1$$
I want to ask if there exist a real polynomial $h(t)$ such ...

**2**

votes

**2**answers

125 views

### Question on the number of equilibria

Let $f: C \to C$ be a smooth function and $C$ be a compact set, subset of $\mathbb{R}^n$.
We assume that all the fixed points are hyperbolic. Is it true that the number of fixed points is finite or ...

**2**

votes

**1**answer

64 views

### Monotonicity of Trapezoid Approximations

Here's a numerical analysis question which may not be very important, especially in practice, but has been bugging me.
Suppose $f$ is a continuous function on an interval $[a,b]$. Let $T_n(f)$ be ...

**4**

votes

**3**answers

407 views

### Inequality of arithmetic, geometric and harmonic means

Let $a_1,\dots,a_n$ be positive numbers, does the following inequality holds?
$$\frac{a_1+a_2+\cdots+a_n}{n}-\sqrt[n]{a_1a_2\cdots a_n}\geq\sqrt[n]{a_1a_2\cdots ...

**2**

votes

**1**answer

305 views

### Inequality for the tail of normal distribution function

Let $ Ф(x) = \frac{1}{\sqrt{2\pi}} \int_{-\infty}^{x} e^{-t^2/2} \, dt $ be the cumulative distribution function of the standard normal distribution.
Numerical calculations suggest the following ...

**0**

votes

**2**answers

159 views

### Can a monotone exponentially decreasing function be uniformely approximated bt Gaussians?

This question originates an engineering application.
There is a certain process that is presumed to be a sequence of diffusions and is usually modelled as a sum of Gaussians:
$$\Sigma_n ...

**2**

votes

**1**answer

294 views

### Integration of gaussian times absolute value of cosine

Is there a way to compute/estimate the following integral?
$\int_0^\infty e^{-(x/c)^2}\left|\cos{x}\right|dx$
where $c$ is a real constant. I would like to know if it is of order $e^{-c^2/4}$ like the ...

**0**

votes

**1**answer

58 views

### Extending point-wise bound to uniform bound

Suppose $f(t,x)\in \mathcal{C}^0([0,1]\times \mathbb{R}^n)$. Further suppose that for each $t$
$$ C(t):= \sup_{x\in\mathbb{R}^n} |f(t,x)|<\infty \, .$$
Does it follow that $f$ is bounded?
Note ...

**3**

votes

**1**answer

142 views

### Separability of $R_+\times\mathcal{C}(R_+)$

Let $\mathcal{C}(R_+)$ be the space of continuous functions $f$ defined on $[0,+\infty)$ with $f(0)=0$. Denote by $\Omega$ the product of $R_+$ and $\mathcal{C}(R_+)$. Now endow $\Omega$ with the ...

**4**

votes

**1**answer

153 views

### Are there superexponential Pfaffian functions?

This question is motivated by model theory, but it's really an analysis question (which means it may have an easy analysis answer that I just don't have the background for). Here's the main question, ...

**5**

votes

**0**answers

141 views

### Strong convexity of the trace of the square root of a matrix function

Any clues about how to prove that the following function is strongly-concave in $x$? (We conjecture it is $2$-strongly concave but cannot prove it. We have already proved strict concavity through ...

**6**

votes

**0**answers

144 views

### Interpolation between L^1 and Sobolev Space

Suppose $D^\alpha$ is fractional differentiation of order $\alpha$ on the real line. Is it true that
$||D^\alpha f||_{L^\frac{2 \beta}{2 \beta - \alpha}({\mathbb R})} \leq C_{\alpha,\beta} ...

**-1**

votes

**2**answers

127 views

### Is real analytic function good enough (see problem)? [closed]

Let $f \colon \mathbb{R}\to \mathbb{R}$ be real analytic and let $A\subseteq \mathbb{R}$ be such that the set $A'$ of all accomulation points od $A$ is not empty. If $f(a)=0$ for all $a \in A$ is then ...

**0**

votes

**0**answers

138 views

### Does there exist this special kind of homeomorphism?

Let $A,B\subset\mathbb{R}^n, n\geq 2,$ are two different shaped spindles. One is thick and one is thin. (Sorry for my unprofessional statements. Unsure about how to say it rigorously.) So there are ...

**0**

votes

**0**answers

104 views

### how to solve f(f(x))=x^2+x [duplicate]

Now I just know the equation f(f(x))=x^2+x, how can I find the f(x)?
I have already tired many times,but I found it is difficult to solve it by any way I knew.So please help me solve the problem,and ...

**3**

votes

**3**answers

489 views

### Non-zero smooth functions vanishing on a Cantor set

It is easy to give examples of continuous functions $f:[0,1]\to \mathbb R_+\cup\{0\}$ non-zero but vanishing on a Cantor set (ex: Can Cantor set be the zero set of a continuous function?). It is ...

**5**

votes

**0**answers

236 views

### Inverse Function Theorem on Zygmund Spaces, is the inverse in the same Zygmund Space?

Preliminary Definitions
Let $\Omega \subset \mathbb{R}^n$ be open. We define the Zygmund spaces $C^r_{*}(\Omega)$ with $r>0$, $r \in \mathbb{R}$ in the following way: (all the functions are ...

**8**

votes

**0**answers

176 views

### If the generating function summation and zeta regularized sum of a divergent exist, do they always coincide?

One could assign a value to divergent series by means of several summation methods. One summation method we could consider is the generating function method. Let's sum, for example, the fibonacci ...

**1**

vote

**1**answer

280 views

### Prove that these two definitions of “natural” integration constant coincide when both converge

These are two possible definitions of antiderivative (integral) incorporating a supposedly natural choice of an integration constant (see this question for further details).
The first one is based on ...

**-2**

votes

**1**answer

479 views

### Why calculus textbooks do not include the natural integration constants in the tables of integrals? [closed]

The formulas for integrals in the textbooks usually define indefinite integral up to a constant term. Yet the natural integration constant for antiderivative can be fixed from the following formula ...

**25**

votes

**9**answers

1k views

### Continuous relations?

What might it mean for a relation $R\subset X\times Y$ to be continuous? In topology, category theory or in analysis? Is it possible, canonical, useful?
I have a vague idea of the possibility of ...

**13**

votes

**4**answers

594 views

### Is the sequence of Apéry numbers a Stieltjes moment sequence?

Consider the sequence of Apéry numbers
$$
A_n = \sum_{k=0}^n \binom{n}{k}\binom{n+k}{k}\sum_{j=0}^k \binom{k}{j}^3
= \sum_{k=0}^n \binom{n}{k}^2\binom{n+k}{k}^2 .
$$
In an email, physicist Alan Sokal ...

**0**

votes

**0**answers

37 views

### Integrating over the Intersection of Convex Regions

Is there a way to integrate over the intersection of a finite collection of convex regions, using only the definition of the regions (i.e. without actually calculating the intersections)?
The ...

**1**

vote

**2**answers

221 views

### Set of distinct real numbers such that all combination of sums are distinct

Let $\Lambda :=\{\lambda_1, \dots, \lambda_n\}$ be a set of $n$ distinct real numbers.
For a given $p \in \mathbb N$, consider further the set
$$I_p := \{ \{i_1, i_2, \dots, i_p\} : i_j \in \{1, ...

**4**

votes

**1**answer

184 views

### Can't figure out “standard application” of the Garsia-Rodemich-Rumsey Lemma

I'm currently reading the paper http://arxiv.org/abs/0908.2473 and can't figure out what they call a "standard application" of the Garsia-Rodemich-Rumsey lemma (see p.8). Summed up, they have a ...

**0**

votes

**0**answers

69 views

### what is the best estimation for the following

Suppose a continuous $2\pi$-periodic function $f:R\rightarrow R$ satisfies
$$
|f(x+\delta)+f(x-\delta)-2f(x)|\leq \mathrm{const}\frac{\delta}{\Big(\log\frac{1}{\delta}\Big)^{\gamma}}, \,\,\, ...

**4**

votes

**2**answers

253 views

### What is the status of the extreme value theorem in forms of constructive mathematics, such as Smooth Infinitesimal Analysis?

In certain intuitionistic frameworks the extreme value theorem cannot be proved. Depending on the exact framework, counterexamples can be constructed as well; see for example pp. 294-295 in
...

**1**

vote

**0**answers

82 views

### Estimating convolutions of powers

I would like an asymptotic estimate of
$$
\sum_{y \in \mathbb{Z}^d} \frac{1}{|y-a_1|^{d-1} \ldots |y-a_n|^{d-1}}
$$
that does not involve any infinite summation. In order to lighten the notation, I ...

**8**

votes

**2**answers

254 views

### Finiteness as a motivation for compactness

Another history question, and I am not sure if I will get any answers. (If anyone knows of a good history of math list to use for this question I would be happy for any tips. The one I used to post to ...

**1**

vote

**1**answer

84 views

### Continuous real function on germs

Let $C_0^{m,n}$ be the space of germs of continuous maps from $\mathbb{R}^m$ to $\mathbb{R}^n$, located at $0\in\mathbb{R}^m$, with the usual inductive limit topology. One can also consider ...

**4**

votes

**1**answer

151 views

### On a.e. approximate differentiability of certain continuous real functions

I have the following question:
If $f:[0,1]\to \mathbb{R}$ is a bounded continuous function of $\sigma$-finite variation in sense 1, then is it true that $f$ is approximately differentiable a.e. on ...