The real-analysis tag has no wiki summary.

**3**

votes

**1**answer

118 views

### Uniqueness of the maximum derivative of a rational function

This may seem like an elementary question, but bear with me; you'll find that it is actually quite hard. Consider the function
$$f(x)=\frac{a_nx^n}{\sum_{i=0}^n a_ix^i}$$
with all $a_i\geq 0$ and ...

**3**

votes

**1**answer

183 views

### Chances for a cosine polynomial to be positive at a point

Let $k_1,\ldots,k_n$ be distinct integers. Let $s_n(t)=\cos (k_1t)+\cdots+\cos (k_nt)$ be a trigonometric sum. Consider any interval $I\subset [-\pi,\pi)$ of length $\delta=\delta(n)$. Let $\,U$ be a ...

**2**

votes

**1**answer

134 views

### Quantitative stability: Hausdorff distance between subdifferentials

Suppose I have two convex functions $f$ and $g$ mapping $\mathbb{R}^{n}\to\mathbb{R}$ (so they are 'more' than proper). Suppose $\|f-g\|_{\infty}<\epsilon$, the sup-norm. In particular, the ...

**1**

vote

**1**answer

202 views

### Can (how) one distinguish germs of continuous functions by a countable set of params?

Continuous functions can be distinguished by their values at say rational points of [0 1].
Germs of analytic functions can be distinguished by derivatives at a point.
So in both cases we see ...

**0**

votes

**0**answers

83 views

### Existence and Uniqueness of Volterra integral equations of the first kind

$$
\int_0^t k(s,t)f(s)ds=g(t)
$$
To prove the existence and uniqueness of solutions of Volterra integral equation(VIE) of the first kind, we usually differentiate it and convert to the VIE of the ...

**3**

votes

**1**answer

225 views

### “Nice” functions on infinite-dimensional space of germs of continuous functions at a point

Consider set of all germs of continuous functions at some point.
Question: What are some functions ("any/nice/constructive/whatever") from this set to R (reals) ? (Except evalution at point and made ...

**-2**

votes

**1**answer

182 views

### A calculus question [closed]

Fix $q>1$. Define the function
$$
f_q(c):=\int_e^\infty \frac{e^{-c r^2}r}{\log(r)^q}d r.
$$
The problem is whether the following is true,
$$
\lim_{c\rightarrow 0} c \log(1/c)^q f_q(c) = C \in ...

**0**

votes

**2**answers

96 views

### Inner Product of Given Sum Positive Sequence

Let $$A = \Big\{(a_1,a_2,\dots)\ \Big|\ a_i\ge 0, \sum_{i=1}^\infty a_i=1\Big\},$$ $$v(x)=\sup\left(\bigg\{\sum_{i=1}^\infty a_ib_i\ \bigg|\ (a_i)_{i=1}^\infty,\, (b_i)_{i=1}^\infty \in ...

**0**

votes

**0**answers

118 views

### Can we define log-convex operators?

Let $I\subset\mathbb{R}$. A function $f:I\rightarrow\mathbb{R}$, is said to be log-convex if $\log f$ is convex or equivalently for all $x,y\in I$ and $\alpha\in [0,1]$
$$f(\alpha x+(1-\alpha)y)\leq ...

**-1**

votes

**1**answer

99 views

### Analytic extension of the exterior Newtonian potential into the domain

I just want to know for a domain with smooth boundary whether exterior Newtonian potential has singular analytic extension into the domain or into a part of the domain.
Definition of Newtonian ...

**0**

votes

**0**answers

159 views

### Establishing an upper bound for a dyadic average of a function in $ {L^{p}}([0,1)) $

Suppose that $ f $ is $ 1 $-periodic and that $ f \in {L^{p}}([0,1)) $, where $ p > 1 $. Let
$$
(D_{n})_{n \in \mathbb{N}_{0}} =
\left( \left\{
I^{n}_{j} \stackrel{\text{df}}{=} \left[ ...

**30**

votes

**1**answer

2k views

### What did Rolle prove when he proved Rolle's theorem?

Rolle published what we today call Rolle's theorem about 150 years before the arithmetization of the reals. Unfortunately this proof seems to have been buried in a long book [Rolle 1691] that I can't ...

**0**

votes

**0**answers

40 views

### Stability of simple conditions on functions under convolution and/or mixture

We consider families of smooth probability densities defined on $\mathbb{R}^+$, $p=(x\in \mathbb{R}^+ \mapsto p_n(x))_{n\in\mathbb{N}}=(p_n)_{n\in\mathbb{N}}$ satisfying
(i) $\int_{\mathbb{R}^+} ...

**1**

vote

**1**answer

139 views

### Estimates on evolution operator

Let's consider the following evolution operator in $\mathbb{R}^3$
$$S(t)=e^{(i+\delta)t\Delta }$$
How to get the following estimate
$$\Vert S(t)f\Vert_2\leq C_\varepsilon t^{-\frac{1}{4}}\Vert ...

**1**

vote

**1**answer

163 views

### Relationship between LlogL and Hardy spaces

I think that for positive, one-dimensional, periodic functions, the following statement is true:
$$
f\in L log L(\mathbb{T})\Leftrightarrow f\in H^1(\mathbb{T}),
$$
where
$$
LlogL=\{f\in ...

**7**

votes

**3**answers

302 views

### Non-smooth function with all differences of translates smooth?

Suppose $f:\mathbb{R} \to \mathbb{R}$ has the property that for every fixed $t\in\mathbb{R}$ the function
$$
g_t : x \mapsto f(x) - f(x-t)
$$
is $C^\infty(\mathbb{R})$. Does it follow that $f$ is ...

**15**

votes

**0**answers

266 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 ...

**1**

vote

**1**answer

106 views

### Evaluation of the multiple integral [closed]

Would you give me any suggestions or comments on evaluating the following $n$-dimensional
integral? $$ \int_{[0,t]^n} h(x) dx $$
where
$ x=(x_1 ,x_2 , \cdots, x_n ), h(x)= \prod_{k=1}^n min( ...

**0**

votes

**1**answer

122 views

### Most natural smooth interpolation of 1,4=2^2,3^27,4^4^4^4, [closed]

Is there a functional equation for extending this to a smooth real function?

**1**

vote

**1**answer

34 views

### Can we implicitly fit a system of linear ODEs by reduced information?

Assume we are given several initial vectors $x^{(1)},\ldots,x^{(r)} \in \mathbb{R}^n$, where the dimension $n$ is in the range of 50 to 100, and the number of initial vectors $r$ is in the range of ...

**0**

votes

**1**answer

112 views

### Extending derivations to the superposition closure

Let $X$ be a set and $\mathcal{F}\subseteq {\mathbb{R}^X}$ an arbitrary family of functions.
The superposition closure of $\mathcal{F}$ is defined as
$$
\overline{\mathcal{F}}=\{ ...

**0**

votes

**0**answers

87 views

### An integration limit

Given $z\geq 0$, denote
$$A_m(z) = \{x\in \mathbf R^{m-1}\, :\, \min_{1\leq i\leq m-1} x_i > z\},$$
and
$$F_m(z) = \int_{A_m(z)} (1+|x|^2)^{1-m} dx.$$
Does the following limit
...

**2**

votes

**0**answers

58 views

### question about a genralized Skorokhod topology

Let $D:=D([0,1], R)$ be the space of all cadlag functions defined on $[0,1]$. Now we have the known Skorokhod topology defined by: $\forall f, g\in D$
...

**6**

votes

**1**answer

139 views

### Convergence in energy of bounded (semi)subharmonic functions

Consider a sequence $(f_n)$ of functions in the flat torus $T^d$ converging Lebesgue-a.e. to a limit function $f$.
Assume that:
1) $|f_n|(x)\leq 1$ for every $n,x$
2) $\Delta f_n\geq -1$ in the ...

**3**

votes

**0**answers

83 views

### Is every supersmooth function a local polynomial?

This question is a follow up question to this question that I recently asked.
A $C^{\infty}$ function $f:(c,d)\rightarrow\mathbb{R}$ shall be called a local polynomial if whenever ...

**4**

votes

**0**answers

204 views

### Does there exist a supersmooth non-polynomial function?

Let's call a $C^{\infty}$-function $f:\mathbb{R}\rightarrow\mathbb{R}$ Lebesgue supersmooth if whenever $a_{n}\in\mathbb{R}$ for all $n$, then $\lim_{n\rightarrow\infty}a_{n}f^{(n)}(x)\rightarrow 0$ ...

**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

46 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

135 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

177 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

88 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 ...

**4**

votes

**2**answers

280 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

370 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

170 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

177 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

169 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 ...

**2**

votes

**1**answer

606 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

61 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

141 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

402 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

126 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

65 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

410 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

356 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 ...