All Questions
5,908 questions
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
2
votes
1
answer
1k
views
Coercive Symmetric Bilinear form on a Hilbert space
I need to show one of the two following equivalent results. If true, it must be a simple proof but I do not seem to be able to make it work. Thank you in advance.
1) Consider a continuous symmetric ...
- 882
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
4
votes
1
answer
2k
views
lipschitz constant of a multivariate function
I have a function $f:\mathbb{R}^{50} \rightarrow \mathbb{R}$ and I need to compute the Lipschitz constant of $f$ to solve an optimization problem using a specific algorithm. Does any one have ...
- 28.6k
25
votes
16
answers
4k
views
functions satisfying "one-one iff onto"
Hello Everybody.
I need some more examples for the following really interesting phenomenon:
A function from the class ... is one-one iff it is onto.
Some ...
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
vote
1
answer
387
views
All and the only algebraically closed fields s.t. any regular n-by-n matrix has a k-th root for every k
The title has it all. I'm looking for a proof/disproof of the fact that an algebraically closed field, say $\mathbb K$, has characteristic zero iff the following property (R) holds: For all $n,k \in \...
CommunityBot
- 1
3
votes
0
answers
176
views
Extending a Hilbert space isometrically
Let $H$ be a Hilbert space, and let $X$ be a topological vector space.
Under what conditions on the topologies of $X$ and $H$ does there exist an injective, continuous linear map $f : H \to X$?
...
- 8,512
-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
8
votes
2
answers
5k
views
When is spectral norm of AB equal to that of BA?
I have $A^{1/2} B A^{1/2} \preceq I$ for two PSD matrices $A$ and $B$, and I'd like to know if that implies $\|AB\|_2 \leq 1.$
The argument I was using to show this is that for any two square ...
- 28.6k
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
2
votes
1
answer
247
views
Factorization of bivariate polynomial
Let $q(y, z) = u_1 + u_2y + u_3 z + u_4y^2 + u_5yz + u_6z^2 + u_7y^3 + u_8y^2z + u_9yz^2 +$ $\hspace{2.55cm}u_{10}y^3z + u_{11}y^2z^2 + u_{12}y^3z^2$
Can $q(y, z)$ be factorized as
\begin{...
- 188k
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 ...
9
votes
2
answers
1k
views
Rescaling positive definite matrices to force a unit eigenvector
Hello,
Let $X'X$ be a positive definite matrix and let $\mathbf{1}$ denote the vector of ones.
I'm hoping to construct a positive, diagonal matrix $W$ such that
$$(W X'X W) \mathbf{1} = \mathbf{1}$$...
- 193
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
2
votes
1
answer
386
views
Decomposing bilinear forms in Hilbert spaces
You are given a complex Hilbert space $H$ with two equivalent Hilbert space structures $<,>$ and $<,>'$. Define $<,>''=<,> + <,>'$ to be the sum of our two scalar ...
- 42.8k
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 $\...
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