All Questions
5,628 questions
1
vote
0
answers
341
views
spaces of smooth functions with bounds on partial derivatives
EDIT: As there were no takers at all... I have added below a possible approach I came up with...
I would like to ask the following elementary but tricky question about the density of spaces of smooth ...
- 1,338
2
votes
2
answers
6k
views
Derivative indicator function
I am wondering what is the derivative of the following function with respect to $x(t)$ in sense of distributions.
$$
I\left(\int_0^t x(\tau)d\tau \leq c\right)
$$
where $I$ is the indicator function ...
CommunityBot
- 1
3
votes
1
answer
184
views
Which compositions have these sum-like and product-like properties on the positive reals?
Consider a binary composition $\star:\Bbb R^2_{>0}\rightarrow \Bbb R_{>0}:(x,y)\mapsto x\star y$ with the following properties.
(Commutativity)$\quad x\star y=y\star x\;$for all $x,y\in\Bbb R_{&...
- 53.3k
1
vote
1
answer
161
views
Distorted Newtion binomial
This is a cross-posting of a MSE question (which did not receive any feedback there so far).
Let $\varepsilon >0$, with $\varepsilon \neq 1$. Consider the sequence $u_n$ defined by
$$
u_n=\sum_{k=...
CommunityBot
- 1
1
vote
2
answers
654
views
Limit with theorem of dominated convergence
Let $f\in L^{2,s}(\mathbb{R}^3)=\bigg\lbrace u\bigg|\int_{\mathbb{R}^3}dx\,|u(x)|^2(1+|x|^2)^s<\infty\bigg\rbrace$ ($s>\frac{1}{2}$)
I have to calculate this limit
$$\lim_{|x-y|\to 0}\int_{\...
CommunityBot
- 1
1
vote
3
answers
2k
views
$L_p$ space embedding (reference request)
There is a result in the wikipedia article about $L_p$ space embedding:
a. Let $0 ≤ p < q ≤ ∞$. $L_q(S, μ)$ is contained in $L_p(S, μ)$ iff $S$ does not contain sets of arbitrarily large measure;...
- 1,724
3
votes
3
answers
281
views
Which real scalings of the natural numbers approximately accommodate the unbounded powers of a noninteger?
That is, what are the possible values of a real number $\lambda$ for which there exists a nonintegral real $\alpha >1$ such that, given any $\varepsilon >0,$ all but finitely many powers of $\...
- 30.1k
6
votes
1
answer
6k
views
Change of variables formula for Riemann integration and Lebesgue Integration
I've put this question on math.SE for a while without getting any answers. I thought it must be a rather trivial question for MO so that I didn't put it here. But I do want to get some help anyway (...
CommunityBot
- 1
5
votes
1
answer
1k
views
Possible to find a set of log-concave functions with log-concave sums?
While the set of log-convex functions is closed under addition, the set of log-concave functions is not. Yet if $f$ is log-concave, $\ln(k f) = \ln(k)+\ln(f)$, with $k \in \mathbb{R}^+$ constant, is ...
CommunityBot
- 1
1
vote
1
answer
2k
views
An injective smooth function with injective differential must have a continuous inverse?
Let $U \subset \mathbb R^n$ be an open subset and let $f \colon U \to \mathbb R^m$ be a $C^\infty$ function. We suppose that $f$ is injective and that the differential $Df(x)$ is injective for all $x \...
- 121
-1
votes
1
answer
187
views
Limit of a function in a weighted Sobolev space
I have a function $f(x)$ in the space $H^{2,-s}(\mathbb{R}^3)$; have this limit sense
$$\lim_{|x-y|\to 0} f(x)$$
? ($y$ is a fixed point)
If i have $f$ in $H^2$ I can say that
$$\lim_{|x-y|\to 0} f(x)=...
- 3,388
8
votes
2
answers
2k
views
Expression for the sum of square roots of zeros of a polynomial
Let $f(x)$ be a polynomial of degree $n$ with rational coefficients whose zeroes are nonnegative real numbers: $x_1, \dots, x_n\geq 0$.
General question. Does there exist a simple expression for the ...
- 3,320
0
votes
1
answer
116
views
to find a function with a property
We need to Find a non constant map $f:\mathbb{C}^3\to \mathbb{C}$ such that for any three distinct complex numbers $z_1,z_2,z_3$ and any automorphism $\phi$ of $\mathbb{C}$, we have
$f(z_1,z_2,z_3)= ...
- 148k
2
votes
1
answer
412
views
Convergence in norm of Sobolev spaces
I consider, for $s>\frac{1}{2}$, the space $L^{2,-s}(\mathbb{R}^3)=\bigg\lbrace{f: \int_{\mathbb{R}^3}|f(x)|^2(1+|x|^2)^{-s}<\infty\bigg\rbrace}$ and I have to show that the function $$f(x)=\...
- 3,958
0
votes
0
answers
241
views
Continuity of a function
Let $f\in L^2(\mathbb{R}^3)$ with compact suppport and $z\in\mathbb{C}$. Is the following function continuous for $z\in Q = \{ z : \Re z\in [a,b], \Im \sqrt{z} \in (0,1] \}$:
$$ F(z)=\bigg(\alpha-i\...
- 71
4
votes
1
answer
410
views
Using a quadratic kernel instead of a linear kernel in the Laplace transform
Suppose $f$ is a bounded continuous function on $[0,\infty)$ such that $\int_0^\infty f(t) \exp(-xt) \: dt \rightarrow 0$ as $x \rightarrow 0^+$. Does it follow that $\int_0^\infty f(t) \exp(-xt^2) \: ...
- 34.7k
1
vote
1
answer
994
views
What exactly does \gg and \ll mean?
For example,
$f(T)\ll_T 1$ where $T$ is a positive number.
CommunityBot
- 1
10
votes
1
answer
1k
views
Extension of measures from the ball sigma-algebra to the borel sigma-algebra
Let $X$ be a metric space, $\Sigma_{1}$ the borel sigma algebra and
$\Sigma_{2}$ the sigma algebra generated by balls (open and closed).
If $\mu$ is a probability measure on $\Sigma_{2}$ can it be ...
- 41.1k
2
votes
1
answer
239
views
Volumes of families of semialgebraic sets
Let $f_0(T),f_1(T) \in \mathbb R [T]$ be polynomials. Let $F(T,X):=X^2+f_1(T)X+f_0(T)$. Then the set $M(t):=\{x \in \mathbb R \mid F(t,x) \le 0\}$ is bounded. Its volume $V(t)$ is $\sqrt{\max\{0,f_1(T)...
- 23
0
votes
1
answer
302
views
An interpolation inequality.
For all $s>0$ define for $\epsilon\in(0,1)$ the function:
\begin{equation}
g(\epsilon)=\sum_{k=0}^{\infty}(1+k)^s(\sqrt{1-\epsilon})^k.
\end{equation}
Prove that $\exists C>0$ and $\phi(s)$ such ...
- 16.2k
7
votes
2
answers
2k
views
Tails of sums of Weibull random variables
Suppose that $X_1, X_2, \ldots, X_n$ are i.i.d random variables distributed according to Weibull distribution with shape $0 < \epsilon < 1$ (it means that $\mathbf{Pr}[X_i \geq t] = e^{-\Theta(t^...
- 1,791
6
votes
1
answer
808
views
Must the Minkowski sum of a Borel set and a *closed* ball be Borel?
Let A be a Borel set in R^n. Must then A + B(0,1) be Borel?
Here B(0,1) is the closed ball centered at 0 of radius 1.
I know that Erdos and Stone gave an example of a compact set (it is Cantor) and a ...
- 3,270
-1
votes
1
answer
349
views
A question about approximation of Real analytic functions
Define $B$ to be the set of functions $f:[0,1]\rightarrow \mathbb{R}$
for which there exists a dense set $C\subset [0,1]$ of computables numbers and an algorithm $F$ such that for any $x_0\in C,$ in ...
- 105
0
votes
0
answers
92
views
Class of integrable 0/1-functions "with no null sets."
I am looking for (the name of) a class of functions from $\mathbf{R}^2$ $(\mathbf{R}^n)$ to {0, 1} that are integrable.
Let $f$ be in this class and $E$ be the set of all points where $f$ is equal to ...
- 567
3
votes
1
answer
121
views
Second difference
Is there an elementary example of a function f, such that $|f(x+t)+f(x-t)-2f(x)|/|t|^a\le C$, where $a>1$, such that $f$ is not $C^1$?
- 4,015
1
vote
0
answers
1k
views
Properties of a rational function of multiple variables
Suppose you are given a multivariable rational function f(x0,x1,x2,x3,..,xn), so the only four operation are +,-,*,/.
Assume that all constants and exponents are integers within certain range.
I ...
2
votes
1
answer
760
views
Apollonian gasket and the degree of convergence
Let $r_1,r_2\dots$ be the radii of Apollonian gasket.
I would like to know for which values $\alpha$ we have
$$\sum_{n=1}^\infty r_n^\alpha<\infty.$$
I know that if three circles $A$, $B$ and $C$ ...
CommunityBot
- 1
1
vote
0
answers
133
views
Extension of a function
Hello,
Given a $\mathcal{C}^\infty$ function $\varphi$ defined on a portion of a surface $\Sigma^-$ and let $\Sigma$ be a closed surface or union of surfaces bounding a compact volume $\Omega \...
CommunityBot
- 1
2
votes
0
answers
160
views
Radius of convergence to be proved more precisely (differential equation)
There is a differential equation in polar coordinates:
$r'^2+r^2=(kt)^2$, $r(t=0)=0$, k- Const.
It is possible to get a solution which is a power series (see below). However, I am looking for an ...
1
vote
1
answer
193
views
If you perturb a polynomial by a smooth function, then is the signed number of small zeros of the perturbed equation the same as the lowest non zero derivative?
Let $f: \mathbb{C} \rightarrow \mathbb{C} $ be a function of the form
$$ f(z) = z^n + z^{n+ 1} g(z) $$
where $g$ is a $\textbf{smooth}$ function (not necessarily holomorphic).
Is it true that the ...
- 3,245
4
votes
0
answers
340
views
Viscosity solution of the PDE
Let $\Omega$ be bounded domain, $u=0$ on $\delta\Omega$ and
$$|Du|-f(x,u)=0$$
where $f\ge 0$ and $f$ is strictly monotone for fixed $x.$ I am looking for the reference to show that it has unique ...
- 61
2
votes
1
answer
351
views
Operation on measurable sets in lines, containing an interval?
Question 1: In $\mathbb{R}^2$, let $l_1$,$l_2$ be two parallel lines and $l_3$ another line which is not parallel to $l_1$. Given two measurable sets $E_1$ and $E_2$ in $l_1$ and $l_2$ respectively, ...
- 435
13
votes
1
answer
1k
views
Is it necessary to use AC to solve this problem ?
Dear All,
As a routine application of Zorn's Lemma, one can show that there is a subset $A$ of $\mathbb{R}$ such that $A$ contains no arithmetic progression of length 3 but for any $x\not \in A$, $A\...
CommunityBot
- 1
29
votes
1
answer
2k
views
Is pi = log_a(b) for some integers a, b > 1?
Are there integers $a, b > 1$ such that $\pi = \log_a(b)$?
Or equivalently: are there integers $a,b > 1$ such that $a^\pi = b$?
Note that the transcendence of $\pi$ makes this a problem - ...
- 8,246
3
votes
1
answer
399
views
Baire sets of $X$ possess the required Cartesian product property
Let $X=X_{1}\times X_{2}$ is locally compact space, and define $$E=\{E_{1}\times E_{2}\mid E_{i}\text{ is a Borel set in }X_{i}\;,\text{ for}\; i=1,2\}$$ Now why the Baire sets of $X$ are in the $\...
15
votes
1
answer
858
views
Symbols of elliptic operators
First let me state the problem, then I'll explain its origin and finally, I'll ask the main question..
Problem S. Fix a positive integer $n$. Find all the pairs $(V, S)$, whith the following ...
- 34.7k
1
vote
1
answer
383
views
Solution of a PDE and its uniqueness
Hallo,
consider $f: U \times I \rightarrow \mathbb{R}$, where $U \subset \mathbb{R}^{n}$ and $0 \in I \subset \mathbb{R}$ be two open sets. I am looking for the solution $f$ of the following PDE
$\...
- 108k
6
votes
2
answers
3k
views
Approximating erf by tanh
It appears to be well-known that $\tanh(x)\le \mathrm{erf}(x)$ on $[0,\infty)$. It's off-handedly mentioned here, for example. Where can I find a formal proof? On the one hand, it's hard to imagine ...
- 41.1k
26
votes
2
answers
12k
views
About the definition of Borel and Radon measures
I am trying to understand the notion of Radon measure, but I am a little bit lost with the different conventions used in the litterature.
More precisely, I have a doubt about the very definition of ...
CommunityBot
- 1
2
votes
0
answers
800
views
Controlling the Lipschitz norm of the limit of a sequence of functions
Consider the Fréchet space $\Omega = C(\mathbb R^d)$ of real-valued continuous functions equipped with the seminorms $$\|f\|_D := \sup_{x,y \in D} \left\{ |f(x)|, \tfrac{|f(x)-f(y)|}{|x-y|} \right\}, \...
- 435
12
votes
4
answers
2k
views
Seeking a Geometric Proof of a Generalized Alternating Series' Convergence
Let $z \in \mathbb{C} \backslash \lbrace 1 \rbrace$ with $|z| = 1$. We consider the following infinite series, which necessarily converges:
$$S(z) := \sum_{n = 1}^{\infty}\frac{z^n}{n}$$
Note that $S(...
- 7,831
6
votes
2
answers
425
views
orderings of the field R((x, y))
I don't know much about the theory of ordered fields. But I know that, for the real fields
$\mathbb{R}(y)$, $\mathbb{R}((x))(y)$, and $\mathbb{R}((x))((y))$,
we can explicitly determine all the ...
- 328
3
votes
1
answer
6k
views
Classical Derivative, Weak Derivative and Integration by Parts
Hello,
While studying Sobolev spaces, the following question came to my mind. Any help in this direction is appreciated.
QUESTION
Let $U\subseteq\mathbb{R}^n$ be open. Does there exist a function $...
- 882
1
vote
1
answer
168
views
Mollification with prescribed boundary values
Suppose you are given a $C^1$-function $f:\mathbb R^n\to\mathbb R$ which restricts to a smooth function $f|_{\partial B}:\partial B\to \mathbb R$, where $B$ is the unit ball in $\mathbb R^n$. Can one ...
- 13k
8
votes
3
answers
2k
views
Does a weaker condition than vanishing derivative imply a function being constant?
I learned this question from math.stackexchange, which is equivalent to ask that if $f:[0,1]\to \mathbb{R}$ is a continuous function with bounded variation, does
$$g(x):=\lim_{\epsilon\to 0}\frac{f(x+...
CommunityBot
- 1
1
vote
1
answer
1k
views
Calculating the Lebesgue decomposition of a measure [closed]
How we should calculate the Lebesgue decomposition of a measure? Please explain it with an example such I can get the whole idea behind it.
- 60.5k
2
votes
3
answers
365
views
Construct a fixed-point set operator
How to find an uncountable set $S$, and construct an function $f : 2^S
\longrightarrow S$ such that for any $T \subseteq S$, $f \left( T \right) \in
T$?
for example, let $S =\mathbb{R}$, how can I ...
- 73.2k
1
vote
1
answer
620
views
Smallest Lipschitz constant on non-convex domains
It is well known that if a function $f:U\to \mathbb C^n$, $U\subset \mathbb C^m$ satisfies $\sup_{x\in U}\|Df(x)\|_{\infty} = C < \infty$ uniformly on $U$ and $U$ is compact and convex, then $f$ is ...
- 54.2k
4
votes
1
answer
319
views
Concerning strata in $C^\infty(M)$
The Morse functions are dense in $C^\infty(M)$, and you can ask if a 1-parameter family of smooth functions between two given Morse functions will be a homotopy through Morse functions. Well, Cerf ...
- 17.5k
11
votes
1
answer
2k
views
Transcendentality of all irrationals in the Cantor set
Hi, I am a student researcher trying to prove that all irrationals within the Cantor set are transcendental. This is grounded, intuitively, in Cantor set members' being non-normal; since algebraic ...
- 6,548