All Questions
5,628 questions
1
vote
2
answers
450
views
A smoothness of $f(\sqrt[p] x)$
Let $f: \mathbb{R} \rightarrow \mathbb{R}$ be a smooth function let $p \in \mathbb{N}$, $p \geq 2$.
Assume that $f^{(k)}(0)=0$ for all $k \notin p \mathbb{N}$. Is it true that then $g(x)=f(\sqrt[p] x)$...
0
votes
0
answers
382
views
Lambert W-function
I asked this question MSE, but didn't get any answers. Maybe here someone can help.
I need to solve
$$
\theta \rho^{\theta}+r \theta>v
$$
where $\theta \in \mathbb{R}^{+}, -1 < r,v<1, \ 0&...
1
vote
0
answers
138
views
Bound for a certain integral expression
I am working to establish an estimate in $X^{s,b}$ spaces to prove local well-posedness of a certain equation, and I need to consider some sub-cases. In particular, I wish to show that the following ...
0
votes
1
answer
341
views
Length of intersection of intervals
Can anyone prove this statement? It seems true, but I'm finding it tricky to give a concise proof.
Fix $\alpha\in[0,1]$. Let $\mu$ be Lebesgue measure. Define $B(c,r)\equiv[c-r,c+r]$, where $[\cdot, ...
2
votes
0
answers
161
views
Improving a bound from Taylor's Theorem
For this problem, suppose $g:\mathbb{R}\rightarrow\mathbb{R}$ is such that $g\in\mathcal{C}^{k}(\mathbb{R})$, and there exists $\epsilon>0$ such that
\begin{align*} \epsilon<|g^{(k)}(x)|<\...
0
votes
1
answer
224
views
Special functions on the unit disk
Let $\mathbb{D} = \{ (x,y) \in \mathbb{R}^2 \mid x^2 + y^2 < 1 \}$ be the unit disk.
We say a function $f : \mathbb{D} \rightarrow \mathbb{D}$ is a winner if it satisfies the following:
1) it is a ...
1
vote
0
answers
184
views
A bound for a product in BMO
The question: Let's consider $f\in L^\infty(\mathbb{T})$ and $g\in BMO(\mathbb{T})$. I'm trying to figure out if the following inequality is true
$$
\|fg\|_{BMO}\leq C\|f\|_{L^\infty}\|g\|_{BMO}.
$$
...
1
vote
0
answers
196
views
Extension of diffeomorphisms preserving bilateral bounds of the derivatives
Suppose $f$ is a $C^k (1\leq k\leq\infty)$ function from the unit ball $\mathcal{B}$ in $\mathbb{R}^n$ to itself, which is a diffeomorphism from the domain to its image, with the upper and lower ...
1
vote
0
answers
35
views
Concavity of maxima [closed]
Suppose we have the following optimization problem : $\min\limits_x kf(x) + g(x)$ where $f$ is a decreasing convex function in $x$ and $g$ is an increasing convex function. Can we say that $x^*$ is ...
2
votes
0
answers
112
views
Asymptotic analysis involving a circular multiple integral
Let $t_1,\ldots,t_m>0$, and $m\ge 4$ be an even integer. Consider the function:
$$
f(a,b;\mathbf{t})=\int_0^{t_1}\ldots\int_0^{t_m} |x_1-x_m|^a |x_2-x_1|^b |x_3-x_2|^a |x_4-x_3|^b \ldots |x_{m-1}-...
1
vote
1
answer
199
views
On a limit at the boundary of $\mathbb{D}$ related to complex and harmonic analysis
Let $p(z,t)=\frac{1}{2\pi}.\frac{1-|z|^2}{|z-t|^2}$ be the Poisson kernel on the open unit disk $\mathbb{D}$, fix $0<\alpha<1$ . Let $a\in \partial\mathbb{D}=S^1$ be fixed. Then my question is :
...
2
votes
1
answer
115
views
Convex interaction energy
Does anybody know examples of absolutely continuous probability measures $\mu_0,\mu_1$ on $\mathbb{R}^n$ with finite 2nd moments such that
$$
\frac{d^2}{dt^2}\left(\int_{\mathbb{R}^n\times \mathbb{R}^...
5
votes
0
answers
143
views
Error of midpoint method for differentiable functions
Is it the case that for every differentiable function $f$ on $[0,1]$ (with finite one-sided derivatives at the endpoints), the midpoint method of estimating $\int_0^1 f(x) \: dx$ has error $o(1/n)$?
...
0
votes
3
answers
404
views
Some Questions about zero-dimensional subsets of the unit interval related to cantor set
Let $\mathbb{P}$ denote the set of all irrational numbers in the open segment$(0 , 1)$. let $K$ be the intersection of $\mathbb{P}$ and the standard cantor set and $H=\mathbb{P}-K$. as you know these ...
0
votes
2
answers
168
views
Let f:J→R be an absolutely continuous and f'\in...?
Let $f:J\rightarrow \mathbb{R}$ be an absolutely continuous.
Under what kind of extra condition for $f'$, (not $C$) holds the following relation?
$$
\Big | \frac{1}{|I_{1}|}\int_{I_{1}}f'(x)dx- \...
0
votes
1
answer
265
views
H\"older spaces
In Gilbarg and Trudinger, they have an example where a function is in $C^1(\bar\Omega)$ but not in $C^\alpha(\bar\Omega)$ where $\alpha<1$. $\Omega$ is bounded and is defined as follows
$\Omega:= ...
1
vote
0
answers
59
views
Analogs of the paralleloram identity in higher degrees
I asked this two months ago in MSE, but nobody answered, so I hope it will be suitable here.
A homogenious polynomial of degree $k\in{\Bbb N}$ on a finite dimensional vector space $X$ over $\Bbb R$ ...
2
votes
0
answers
564
views
Young inequality in weighted spaces
Let $U$ be a bounded open set in $\mathbb{R}^2$, $g\in L^1_{\mathrm{loc}}(\mathbb{R}^2)$.
Let moreover $w$ be a weight (i.e. a non vanishing locally integrable function) on $U$ and $p\geq2$.
Does ...
7
votes
0
answers
174
views
On derivatives of polynomials majorized by $\max(1,|x|^d)$
In the course of generalizing the Bernstein-Markov theorem to normed space, Harris came up with the following question.
Suppose that $p$ is a real polynomial satisfying $|p(x)| \leq (1+|x|)^d$. How ...
0
votes
1
answer
1k
views
A question about regular signed or complex Borel measure under LRN decomposition
Suppose $\nu$ is a regular signed or complex Borel measure on $\mathbb R^n$, m is the Lebesgue measure on the class of Borel sets $\mathcal B_{\mathbb R^n}$ and the Lebesgue-Radon-Nikodym ...
4
votes
2
answers
730
views
Decomposition of Hölder continuous functions
Let $\alpha\in(0,1)$ and $\eta\in\Lambda_0^\alpha(\mathbb{R})$ be a compactly supported Hölder continuous function of order $\alpha$. I would like to show that, for any $n\in\mathbb{N}$, it is ...
1
vote
1
answer
223
views
f_n(x,p) converge uniformly to nice f(x,p); do zeros of f_n(.,p) converge uniformly to zeros of f(.,p)?
Fix compact intervals $X, P \subseteq \mathbb{R}$.
Let $f_n : X \times P \to \mathbb{R}$ be a sequence of $C^2$ functions converging uniformly to a $C^2$ function $f$. The first and second ...
-3
votes
1
answer
332
views
Convergence Question [closed]
If $\alpha _{n}\rightarrow \alpha$, then how does one show that for any j=1,2,... and $\epsilon> 0$, if $sup\int \left | x \right |^{j+\epsilon }d\alpha _{n}<\infty$, then $\int x^{j}d\alpha _{n}...
2
votes
1
answer
90
views
Expressions in "continued" monotone functions
Recall continued fractions: http://en.wikipedia.org/wiki/Continued_fraction
Now take a look at this question: https://math.stackexchange.com/questions/601846/the-limit-of-displaystyle-lim-n-to-infty-...
1
vote
0
answers
94
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 ...
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\...
3
votes
0
answers
205
views
convolution of surface measures
Thanks for reading my question. Assume we are given two compact (possibly with boundary) $(n-1)$-dimensional $C^{\infty}$ manifolds $M_1$ and $M_2$ embedded in $\mathbb{R}^n$, with induced measure $d\...
1
vote
1
answer
279
views
Conjecture that two nested convex curves have a point with the same slope
I'm trying to prove a conjecture and need some help.
Consider a continuous, twice differentiable function $p(a)$ such that $p(0) = 0$ and $\forall a$, $p'(a) > 0$ and $p''(a) < 0$ and $p$ is ...
1
vote
0
answers
52
views
Condition for maximizer of convex combination to be expansion mapping
I have $\Pi_n:\mathbb R^{n+1}\rightarrow \mathbb R$ and $F_n:\mathbb R^2\rightarrow \mathbb R$ with $$F_n(x,a)=\Pi_n(x,...,x,a)$$
$$f_n(x)=\operatorname{ArgMax}_{a\in\mathbb R}\{F_n(x,a)\} $$
such ...
2
votes
1
answer
1k
views
How can we use the bounded convergence theorem in this proof of the Riesz Representation Theorem?
I'm studying the proof of the Riesz Representation Theorem as it appears in Ch. 6 of Royden's Real Analysis. When I looked on the web I noted there are a few different theorems that go by the name "...
1
vote
0
answers
102
views
Differentiable Path of Operators and their Inverses
Let $\mathcal{H}$ be a separable Hilbert space. Consider a differentiable map $\mathbb{R} \rightarrow \mathcal{B}(\mathcal{H}), t \mapsto A(t)$, where $\mathcal{B}(\mathcal{H})$ is the space of ...
0
votes
1
answer
659
views
Under what condition will this set contain a limit point of [0,1)?
Let $T_1,T_2,....T_n$ be numbers such that
$T_k= k$ no. of digits in decimal expansion of an irrational number, say $\alpha$, starting from $(\frac{k(k-1)}{2}+1)^{th}$ digit in the decimal expansion. ...
0
votes
1
answer
316
views
Modulo dynamics on [0,1)
For $T: \mathbb{R} \mapsto \mathbb{{R}_{+}}$, we have $\{ {T}^{n}(\theta)\ mod \ 1\} \subset [0,1)$. (where ${T}^{n}(\theta)$ means applying $T$ $n$ times on $\theta$, not the $n$th power of $T(\...
0
votes
1
answer
298
views
Asymptotic behavior of convex functions
Let $f:\mathbb{R}^n\rightarrow\mathbb{R}$ be a $C^2$ convex function which is strictly
positive. If $x_n$ is a sequence of points such that $f(x_n)\rightarrow 0$, show that (or
give a counterexample)...
1
vote
0
answers
94
views
Determining the exact form of a projection in a Hilbert space
Let $$\Omega = \left\{f(x) \in \mathcal{L}^2[0,T]: \frac{1}{T}\int_0^Tf(x)dx = \mu,~ a \le f(x) \le b,~\forall x \in [0,T]\right\},$$
where $\mathcal{L}^2[0,T]$ is the set of Lebesgue square-...
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-...
0
votes
1
answer
155
views
Ratio of eventually close sequences
Let $a_n$,$b_n$ with $b_n>0$ be two bounded sequences which are eventually close to, respectively, two other sequences $\bar a_n$,$\bar b_n$ with $\bar b_n>0$, that is, for every $\epsilon >0$...
2
votes
0
answers
76
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$
$$\rho(f,g):=\inf_{\lambda\in\Lambda}\Big\{\max\...
1
vote
1
answer
420
views
density of a set
let $S=\{\sin (n)|n \in N\}$. We can prove $S$ is dense in $[-1,1]$. So is the set $\{\sin( n^2)|n \in N\}$; but the set $\{\sin (n^3)| n \in N\}$ is not dense in $[-1,1]$. How to prove this?
2
votes
1
answer
276
views
Conformal Extension from a closed set to open
Let $Q = \{(x,y): x,y\geq 0\} $ be the 1st quadrant of $\mathbb R^2$, and $f$ is a function defined on it such that all the partial derivative(any order) of $f$ exists and continuous. By Whitney ...
2
votes
0
answers
495
views
Characterization of weak Lebesgue spaces [closed]
I would be interested to know whether the following is true:
Let $\Omega$ be a bounded open set in $\mathbf{R}^n$. Let $g$ be a nonnegative function $g : \Omega \to \mathbf{R}$. If there is a ...
1
vote
2
answers
641
views
Sharp upper bounds for sums of the form $\sum_{p \mid k} \frac{1}{p+1}$
Are there known sharp upper bounds (in terms of $k$ or $\omega(k)$, the number of distinct prime divisors of $k$) for sums of the form $\sum_{p \mid k} \frac{1}{p+1}$ for $k > 1$ subject to the ...
0
votes
0
answers
244
views
Checking whether this would be bounded
It may be better to post this question here. Assume that $M$ is an $m$ by $m$ ($m$ is an even number) symmetric
positive-semi-definite matrix with exactly $m/2$ positive eigenvalues
and every entry of ...
2
votes
0
answers
131
views
Representing quasianalytic functions in several variables
For functions in a quasianalytic Denjoy-Carleman class we have the property that their Taylor expansions at a point (the origin) determines the function. For classes that don't only contain analytic ...
3
votes
0
answers
47
views
Limit Behavior of Iterated Curvature-Function
What can happen, if one defines an infinite sequence of functions as follows
$f_0\in C^\infty: x\in\mathbb{R}\mapsto y\in\mathbb{R}$
$f_{n+1}: \int_0^x \sqrt{1+(f_n'(t))^2}dt\mapsto\frac{f_n''(x)}{\...
3
votes
0
answers
409
views
Continuous function sort
If you have a real-valued function f(x), positive, continuous and bounded on some interval, then what kind of transform would convert this to a monotonic function g(x) on that interval analogously to ...
1
vote
0
answers
42
views
Error bounds for approximation with dyadic sums of polynomials
Are there any bounds known for approximating a genuine multidimensional polynomial function with a sum one-dimensional polynomials over the independent variables?
In the 2-dimensional case the ...
0
votes
1
answer
238
views
A property of a quasiperiodic function
Let F be a continuous periodic function on R^N. Let a,b be vectors in R^N. Also assume a is not parallel to b.
Does the limit of
$\varepsilon \int_0^{1/\varepsilon} F(as+b/\varepsilon) ds$
Exist ...
6
votes
1
answer
778
views
Inverse function theorem for DC-functions
I would like to have an inverse (or/and) implicite function theorem for DC-functions.
It seems that I have right definitions, but I fail to prove it...
Definitions:
Let $h:\mathbb R^n\to\mathbb R$ ...
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 ...