All Questions
5,632 questions
2
votes
2
answers
224
views
"Then obviously..." (a bound on strongly differential functions on an interval)
On the fourth page of their 1967 paper Local Behavior of Solutions of Quasilinear Parabolic Equations, Aaronson and Serrin comment: "Consider a strongly differentiable function $w$ of the real ...
- 363
4
votes
1
answer
529
views
Find a continuous function with a prescribed continuity set
It's known that for a function $f:\mathbb{R} \rightarrow \mathbb{R}$ the set of points of discontinuity must be an $F_{\sigma}$.
In the book "Understanding Analysis" by Abbott is stated in page 128 ...
- 193
8
votes
1
answer
597
views
complete metric space
Hallo, I have the following question:
Let $(X,d)$ be a complete metric space. Is then $(X,\operatorname{dist})$ also complete? Here by $\operatorname{dist}$ I mean the metric induced by $d$ by: $\...
- 83
7
votes
0
answers
340
views
Polynomials and divided differences
I would greatly appreciate any hint for proving the following.
Question: Let $f:[0, 1] \to {\bf R}$. Can it be proved that if $[0, 1/(N+m),\dots, (N+m)/(N+m) ; f ]=0$ for all $m=1,2, 3,\dots$, then $...
- 71
1
vote
1
answer
715
views
Importance of Denjoy-Carleman classes as a class.
Denjoy-Carleman classes of differentiable functions, say in Roumieu's form:
Given a log-convex sequence $M_n$ of positive number denote by $C_M=C_M(\mathbb{R}^n,0)$ the ring of germs of $C^\infty(\...
- 807
3
votes
1
answer
379
views
Lipschitz map of the circle onto a triangle
Assume that $f$ is (Euclidean) $L-$biLipchitz mapping of the unit circle onto a triangle $\Delta(A,B,C)$. Can we find a $10000 L$ bi-lipchitz extension of $f$ onto the whole plane.
- 303
1
vote
1
answer
1k
views
A question about "nice" functions
Let $f:\mathbb R \rightarrow \mathbb R$ be a function such that $\lambda(I)=\lambda(f(I))$ for each interval $I \subseteq \mathbb R$. ($\lambda$ is Lebesgue measure here.) Let us call such functions ''...
- 45
3
votes
1
answer
643
views
Is a Cauchy principal value invariant under a "change of variables"?
Let $f \in C^{\gamma}_c(\mathbb{R}^n) $. Let $K:\mathbb{R}^n \backslash \{\vec{0}\} \rightarrow \mathbb{R}^n$ be a singular integral kernel with the following properties:
1) K smooth everywhere ...
- 33
3
votes
1
answer
240
views
Lipschitz map of the ellipse
Is there a L-Lipschitz homeomorphism of the Elipse $x^2/4+y^2=1$ onto the unit circle $x^2+y^2=1$ such that $L<1$?
- 303
1
vote
1
answer
487
views
New differintegral formula: how is it related to other differintegral formulas?
Lets define new differintegral formula as
$$\mathbb{D}^s_xf(x)= \sum_{m=0}^{\infty} \binom {s}m \sum_{k=0}^m\binom mk(-1)^{m-k}f^{(k)}(x)$$
or, equivalently,
$$\mathbb{D}^s_xf(x)= \lim_{t\to s} \...
- 10.1k
0
votes
1
answer
208
views
The pth power of a distance function is twice continuously differentiable, for $p>2$?
Suppose $\mathcal{O}$ is an open convex connected strict subset in $\mathbb{R}^n$ and define $\beta(x)=dist(x, \mathcal{O})$, for each $x\in\mathbb{R}^n$.
Is $\beta^p$, $p>2$ a twice continuously ...
- 9
2
votes
2
answers
518
views
Lower bounds on derivative around zero set of a positive smooth function
As part of a different problem, I came across the following simplified question, for which I cannot exhibit a proof nor a counterexample. Note that the assumptions of smoothness and strict positivity ...
- 83
25
votes
2
answers
2k
views
Evaluation of an $n$-dimensional integral
I asked the same question on math.se but got no answer there. Since it pertains to my current research, I decided to ask here:
Let $n\in 2\mathbb{N}$ be an even number. I want to evaluate
$$I_n
:=
\...
- 453
5
votes
0
answers
596
views
Literature on Exponential of a Quadratic Form
Let $A_i$, $i=1,\dots,L$ be given $N\times N$ positive definite real matrices. I have this sum of exponentials
\begin{align}
f(\mathbf{x})=\sum_{i=1}^{L}\operatorname{exp}(-{\mathbf{x}^T\mathbf{A}_i\...
- 1,421
3
votes
1
answer
1k
views
Integral inequality for convex function
Let $u(x)$ be a smooth function from $\mathbb{R}$ to $\mathbb{R}$. Suppose that for some real numbers $a,b$ with $a < b$ the following equality is true:
\begin{equation}
\frac{1}{b-a} \int_a^b u(...
- 33
1
vote
0
answers
305
views
Adjoint operator in sobolev space
Let $g\in H_0^1(\Omega)\cap W^{2,\infty}(\Omega),$ and let us define the operator $B : y \to g y$ from $H:=H_0^1(\Omega)\cap H^2(\Omega)$ to $H$, which we endowed with norm $|u|=(\|u\|^2 +\|\Delta u\|...
- 51
31
votes
13
answers
6k
views
Classic applications of Baire category theorem
I've seen Baire category theorem used to prove existence of objects with certain properties. But it seems there is another class of interesting applications of Baire category theorem that I have yet ...
2
votes
1
answer
579
views
Does the Border (Boundary) Points of a convex body make a concave function?
Let $\mathbb{S}$ be a closed and bounded convex body in 2-D with some non-empty intersection with positive quadrant and let it also contain origin. Let $c>0$ be the right-most point on the x-axis ...
- 1,421
1
vote
1
answer
547
views
When does the finite union of convex sets have a hole in it?
Let $f_1, \dots, f_j$ be convex functions from $\mathbb{R}^n \to \mathbb{R}$. I am trying to develop a test that decides whether or not the set $\{x | f_1(x) \le k_1\} \cup \dots \cup \{x | f_n(x) \...
- 693
2
votes
1
answer
310
views
Boundedness of an Oscillating Integral
Let $g(x):\mathbb{R}_{\geq0}\rightarrow\mathbb{R}$ be real analytic s.t. $g(0)\neq 0$ and $g(x)=O(x^{-2})$ as $x\rightarrow\infty$. I think the following integral should be bounded as $\lambda\...
- 173
13
votes
1
answer
1k
views
Is there an algebra for divergent series summation operators?
Let $D$ denote a divergent series and let $C$ denote a convergent series.
Furthermore, let $s : $ { Series } $\to$ $\mathbb{C}$ be a regular, linear divergent series operator, which is either one ...
- 4,829
1
vote
1
answer
158
views
variational characterization of the average of an $L^p$ function
Let $\Omega$ be a measurable set having finite Lebesgue measure. Let $p\geq 1$ and $u\in
L^p(\Omega)$. Is it true that the minimum value of the real function
$$
c\in
\mathbb{R}^n\mapsto\int_\Omega |u-...
- 13
5
votes
1
answer
903
views
Uncountable Pre-Image
I've been reading about space filling curves, and been asking myself this question.
If $f: \mathbb{R}^{2} \rightarrow \mathbb{R}$ is a continuous open map, is it true that $\forall x \in$ range$(f)$ ...
- 53
2
votes
1
answer
137
views
Young transform reference
The Young transform of nonnegative function $f(x)$, $x \in \mathbb R^n_+$ is defined to be
$$
(\mathscr Yf)(y) = \inf \left[ \left. \frac{x_1 y_1 + \ldots + x_n y_n}{f(x)} \; \right|\; x \colon f(...
- 1,329
5
votes
1
answer
958
views
Does a nonlinear additive function on R imply a Hamel basis of R?
A function is additive if $f(x+y) = f(x) + f(y)$. Intuitively, it might seem that an additive function from R to R must be linear, specifically of the form $f(x) = kx$. But assuming the axiom of ...
- 4,597
7
votes
1
answer
463
views
Optimality of p-Lebesgue Differentiation Theorem for Sobolev Functions
This is the third question in a series whose purpose has been to flesh out an example of the optimality of the p-Lebesgue differentiation theorem for Sobolev functions. This theorem says that for $f \...
- 882
0
votes
1
answer
525
views
A simple question from mathematical analysis (assumption changed) [closed]
Let $\forall n=0,1,2,\dots$, $\alpha_{n}(x)$ are POLYNOMIALS in $x$. Next, let for all $x\neq0$ the power series $$\sum_{n=0}^{\infty}\alpha_{n}(x)t^{n}$$
has positive radius of convergence. Can one ...
- 1
2
votes
1
answer
391
views
Can you prove that Average(f(x)) is not equal to f(average(x)) for non-linear f in more than one variable [closed]
I am seeking a general mathematical proof & a reference for the proof for something I know intuitively to be true, and can demonstrate by example, but would like to prove. Assume a function with 6 ...
-4
votes
1
answer
200
views
How I can choose $(t_1,t_2,...,t_{r}) \in (0,1)^{r}$ such that $f^{(k)}\left(1-2\prod_{j=1}^{k}t_{j}\right)=0$?
Let $f:\mathbb{R} \to \mathbb{R}$ be a real analytic function. Assume that $f$ has simple trivial zeros at each nonpositive integer. Then, all the $k$-th derivatives $f^{(k)}$ of $f$ have necessarily ...
- 1,197
0
votes
0
answers
490
views
Sufficient conditions for continuity of function $y\mapsto\min_{[x_0,y]}\phi$
Let $\phi:\mathbb{R}\to\mathbb{R}$ a continuous function.
Fix $x_0\in\mathbb{R}$ and consider
$$\psi:\mathbb{R}\to\mathbb{R},\ \psi(y)=\min_{\xi\in[x_0,y]}\phi(\xi)\ .$$
Is $\psi$ a continuous ...
- 293
1
vote
1
answer
353
views
Does $h$ have infinitely many isolated zeros?
Let $f:ℝ→ℝ$ be a real analytic function with infinitely many isolated zeros. Let us define the function:
$$h(s₁,s₂,...,s_{r+1})=\prod_{k=1}^{r+1}f^{(k+1)}(\left(1-2\prod_{j=1}^{k}s_{j}\right)$$
Also, ...
- 1,197
0
votes
1
answer
1k
views
Global Implicit Function Theorem
Let $F:\mathbb R^2\rightarrow\mathbb R$ be a measurable function. Under what conditions on $F$ does there exist a function $\theta:\mathbb R^2\rightarrow\mathbb R$ such that
$F(x,\theta(z,x))=z$ for ...
- 13
3
votes
1
answer
1k
views
Showing a singular integral operator takes Hölder continuous functions to Hölder continuous functions of the same order
I would like to show the following function is $\gamma$-Hölder continuous. Said function $F:\mathbb{R}^n \rightarrow \mathbb{R}$ is defined by a singular integral operator of convolution type as ...
- 31
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
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_{&...
- 2,437
6
votes
2
answers
720
views
Local concentration of measure on Erdos-Rényi graph
Let $G_n=(V_n,E_n)$ be an Erdos-Rényi random graph, precisely the vertex set is $V_n=(1,\dots,n)$ and the edge set is $E_n=(ij\in\mathcal{P}_2(V_n)\ |\ \epsilon_{ij}=1)$ where $(\epsilon_{ij})_{ij}$ ...
- 293
25
votes
2
answers
2k
views
$f^3,f^2$ are the cube and quadratic of f respectively and both infinite differentiable on $R$,how to show so is $f$
Let $f$ be a real function with domain R.
If $f^2$ and $f^3$ are both infinitely differentiable on R,
how to prove $f$ is infinitely differentiable on R?
I have been thinking about this problem for a ...
- 295
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=...
- 621
1
vote
1
answer
518
views
using the M. Riesz Interpolation Theorem
I posted this on Math StackExchange, but I figured it couldn't hurt to ask here as well.
I'm trying to decipher a particular claim in a paper I'm reading, but I just can't seem to figure it out.
The ...
- 377
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;...
user14319
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 (...
user14319
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 $\...
- 2,437
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 ...
- 51
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
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_{\...
- 25
-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)=...
- 25
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)= ...
- 3
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)=\...
- 21
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
7
votes
2
answers
5k
views
Relationship between the derivative of a matrix and its eigenvalues
Is there any relationship between the derivative of a matrix and its eigenvalues? If, for example, the derivative is strictly positive definite, can I say that the eigenvalues are strictly increasing?
...
- 71