All Questions
5,856 questions
0
votes
1
answer
337
views
Integral inequality
Let $X$ be the d-dimensional hypercube $X=[0,1]^d$ and let $f$ and $g$ be such that $f(x) = 1$ if $x \in A$ and $0$ otherwise, $g(x)=1$ if $x \in B$ and $0$ otherwise, where $A$ and $B$ are generic ...
- 295
1
vote
0
answers
214
views
range of the difference-of-two-qubit-$4 \times 4$-density-matrix-determinants
The determinant of a two-qubit $4 \times 4$ density matrix--that is, a Hermitian, nonnegative definite matrix with unit trace--lies between $0$ and $(\frac{1}{2})^8$. (A "pure state" has determinant ...
- 723
-1
votes
1
answer
69
views
Glueing smooth functions give a smooth function if reparametrized [closed]
Given $\mathbf{r}:(t_0-\varepsilon, t_0+\varepsilon)\to\mathbb{R}^2$ be a $C^{1}$ application, with $\mathbf{r}'(t)=(0,0)\Longleftrightarrow\ t=t_0$, and
$$\mathbf{r}(t)=\begin{cases} \mathbf{r}_1 (t)...
- 1,759
2
votes
0
answers
98
views
What does integrability of a strictly monotonic function imply about the tails of that function?
In particular, if $f:\mathbb{R}_{+}\rightarrow[0,1]$ is a strictly monotonic decreasing function and $f$ is integrable then does it necessarily hold that $f^{-1}(1/t)=o(t)$?
3
votes
1
answer
952
views
Geometrical structure of critical points of harmonic functions
For a harmonic function $\Phi$ on a simply connected subset $\Gamma$ of $\mathbb{R}^3$, define a guide curve $\gamma: I \mapsto \Gamma$ of $\Phi$ as a simple regular $C^1$ curve such that
all point ...
1
vote
0
answers
100
views
Summing a function at integer points
For a real function $f$ defined on the reals, and real $y$, define the 2-way infinite sum
$$ F_f(y) = \sum_{i\in\mathbb Z} f(y+i). $$
If $F_f(y)$ is defined for all $y$, it is periodic of period 1.
...
- 37.7k
0
votes
0
answers
104
views
Must the Lebesgue measure of a $\rho$ - neighbourhood of an $(n-2)$ - dimensional set be at least $c\rho^2$?
The Lebesgue measure of a $\rho$-neighbourhood of a point in $\mathbb{R}^2$ is of course equal to $c\rho^2$. Similar such considerations in higher dimensions lead me to the following question:
Given ...
- 1,771
1
vote
0
answers
87
views
Characterization of the maximizer of a function based on a parameter's value
Consider a smooth, continuously differentiable, and jointly concave function $f(x,y,z;a)$, where $x,y$ and $z$ are decision variables and $a$ is a problem parameter.
I have two optimization problems. ...
- 11
1
vote
0
answers
153
views
On sequence of functions $(h_n)$ satisfying $\Vert\sum_{n=1}^\infty f * h_n\Vert=\sum_{n=1}^\infty\Vert f*h_n\Vert$ for all $f\in L_1(G)$
Let $(h_n)$ be a sequence of non-zero functions in $L_1(G)$ (where $G$ is a locally compact group) with the property
$$
\left\Vert\sum_{n=1}^\infty f * h_n\right\Vert=\sum_{n=1}^\infty\Vert f*h_n\Vert
...
- 1,697
1
vote
1
answer
342
views
Singular conformally-Euclidean metrics
Suppose $W : \Bbb{R}^n \to \Bbb{R}_+$ is a continuous, positive function, with exactly $n$ zeros $\alpha_1,...,\alpha_n$. Define the following 'distance':
$$ d(\alpha_i,\alpha_j)=\inf\{\int_0^1 \sqrt{...
- 2,222
0
votes
0
answers
82
views
Construction of a path of quadratic variation
This question has been posted to Stack Exchange earlier, and no answer is available yet.
Consider a path $x: [0,1] \to \mathbb R$. it's $p$-variation on an interval
is defined by
$$V_{p}(x, [a, b]) =...
- 1,399
1
vote
0
answers
99
views
Set nor its compliment contain an uncountable closed set [closed]
Does there exist a set $X$ subset of the real numbers such that no uncountable closed set is contained in $X$ or $X^c$?
- 121
2
votes
0
answers
245
views
Is $f$ an absolutely continuous function? [closed]
Let
$$
f(x)=\sum_{n=1}^{\infty}\frac{\sin(2^{n}\pi x)}{n\cdot2^{n}}, \,\,\,\,\,\, x\in [-1, 1].
$$
Is $f$ an absolutely continuous function? If yes how can I show it? If not how about on total ...
- 111
5
votes
1
answer
540
views
Cosets of groups of functions
Let's consider an interval $I\subseteq\mathbb R$, and let $\mathcal F(I)$ be the set of bijective functions $f:I\to I$ so that the graph of $f$ is a analytic curve in $I\times I$.
The set $\mathcal ...
- 4,312
4
votes
1
answer
306
views
ordered fields with the bounded value property, without choice
In his answer to my question ordered fields with the bounded value property, Ali Enayat showed that if one assumes the countable axiom of choice, then there exists a non-Archimedean ordered field $F$ ...
- 19.7k
0
votes
0
answers
55
views
Representation of multi-variable functions as a composition of 1- or 2-variable functions [duplicate]
This is a re-post of my question from M.SE that remains unanswered for several months.
I'm familiar with Kolmogorov–Arnold representation theorem, but AFAIK their construction makes essential use of ...
- 6,819
2
votes
1
answer
413
views
Technique: Compactness => (Finite -> Reals)
Context
I'm studying a classical results of Erdos and Lovasz, on colorings of the real line.
The theorem to be proved is as follows:
Let $m, k$ be two positive integers satisfying:
$$e(m(m-1)+1)k\...
- 23
1
vote
0
answers
66
views
$X_t = B_t^q$, $X_t = (\sin B_t)^q$, $X_t = B_t^q (\sin B_t)^r$, $dM_t = R_t\,M_t\,dB_t$ [closed]
What are the SDE's satisfied by the following processes?
$X_t = B_t^q$
$X_t = (\sin B_t)^q$
$X_t = B_t^q (\sin B_t)^r$
Assume $B_t$ is a standard Brownian motion with $B_0 > 0$ and the equations ...
- 11
1
vote
2
answers
474
views
Chebyshev's Theorem
Hi,
I´m looking for Chebyshev´s theorem which says that the inequality $|x(k)-y|<3/k$ has infinitely many solutions, where $x(k)=x_0+k\alpha \pmod 1$, $\alpha$ is an irrational number, and $x_0,y\...
- 11
2
votes
2
answers
133
views
formula for repeated finite differences
I am looking for a proof of a well-known fact, whose proof must be very easy, though I've been struggling to find it. Let $\Delta$ be the map from real-valued functions of a real variable, given by $(\...
- 301
1
vote
1
answer
334
views
Property Sigma Algebra [closed]
Is the set { $ \cup_{i \in \mathbb{N}} C_{i} \times D_{i} : C_{i} \in \mathcal{L} \ , D_{i} \in \mathcal{B}^{n} \ $ } a sigma algebra on $\mathbb{R} \times \mathbb{R}^{n}$ ?
- 11
4
votes
1
answer
627
views
Does such a smooth function exist?
I am looking for a $C^\infty $ function $g:\mathbb{R}^3\to \mathbb{R}^3$ such that $g(x)=0$ for $|x|\le 1$ and $g(x)=x$ for $|x|\ge 2$. Certainly such $g$ can be constructed, but I also want it to ...
- 450
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
3
votes
1
answer
258
views
Subharmonic envelope
I came across a more complicated version of the following problem. It is so elementary, I think that there had to be some research done on this in the past. If someone has any ideas please let me know....
- 1,211
7
votes
1
answer
548
views
Does this Linear Algebra Construction have a Name?
Let $\mathcal{R}$ be a ring and let $v^0,\ldots,v^{k-1}\in\mathcal{R}^m$ with $m \geq k$. Suppose we wish to find $w\in Span(v^0,\ldots,v^{k-1})$ such that $k-1$ specified coordinates of $w$ vanish (...
- 5,191
1
vote
1
answer
94
views
On weak linear continuous functions
This is what I have first asked in SE but I think it is more suitable for here. I am interested in the set of all continuous functions $f: (0, \infty) \longrightarrow \Bbb{R}$ with the following ...
- 49
0
votes
1
answer
606
views
Difference between spaces of integrable functions w.r.t Lebesgue measure and Borel measure [closed]
Is there a difference between
$L^p(\mathbb R,\mathfrak B,\beta)$ and $L^p(\mathbb R,\mathfrak L,\lambda)$ ?
Here I denoted by $\lambda$ the Lebesgue measure, defined on the Lebesgue
$\sigma$-algebra $\...
user20515
3
votes
0
answers
170
views
Is there such a matrix in $SO(n)$?
Given two $n$ dimensional positive definite matrices $A', B'$, is there a matrix $O \in SO(n)$ such that $A=O A', B=O B'$ and
$$
\frac{A_{ij}}{\sqrt{A_{ii}A_{jj}}} = \frac{B_{ij}}{\sqrt{B_{ii}B_{jj}}},...
- 131
1
vote
0
answers
267
views
Extension of solutions of PDE
Let $\Omega \subset \mathbb{R}^{2}$ be an open set such that $\mathbf{0} \in \Omega$. Let $A := \Omega \setminus (\{0\}\times \mathbb{R})$, that is, $A$ is $\Omega$ with the $y$-axis removed.
Let $F:...
- 11
1
vote
1
answer
133
views
Special finite subcover of a compact
Let $(a,b)\in \mathbb R^n$. We consider the following open cover of the compact line segment $[a,b]$: $$[a,b]\subset\underset{x\in [a,b]}{\bigcup}B(x,\rho_x),$$
where for $x\in K,B(x,\rho_x)$ is a ...
3
votes
1
answer
352
views
Integral Equation with "convolution"
I've got the following problem I'm working on which is related to some of my research:
Solve:
$f(x) = \int_{-\infty}^x G(x,y)f(y)f(x-y)dy$
for f, given $G$ which has whatever smoothness ...
- 31
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
4
votes
1
answer
261
views
Minimizing action squared versus action
I have a very basic question in the calculus of variations:
Suppose I want to minimize the functional
$$A[r, r'] = \int_\Omega L(r, r') dx $$
When is it possible to say that extremals of $A$ agree ...
user7807
2
votes
0
answers
227
views
Is there an absolutely continuous function $f$
Is there an absolutely continuous function $f$ satisfying
$$
|f(x+\delta)+f(x-\delta)-2f(x)|\leq \mbox{const}\frac{|\delta|}{\log \frac{1}{|\delta|}},\,\,\, |\delta|<1,
$$
which is not $C^{1}$?
- 111
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
-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
63
views
The union of weighted compact supported continuous function
Let $\Omega\subset \mathbb R^N$ be open. Given a weight function $v\geq 1$ such that $v\in L^1_{\text{loc}}(\Omega)$ and $l.s.c$. Also supposethere exists a Lipschitz continuous sequence $v_n$ such ...
- 679
3
votes
0
answers
176
views
Tauberian theorem wanted
At least, I think it might deserve to be called a Tauberian theorem, inasmuch as it would generalize the Tauberian theorem mentioned by Liviu Nicolaescu in his reply to my question Using a quadratic ...
- 19.7k
5
votes
1
answer
878
views
Numerically finding a Mercer expansion for a given covariance kernel
Let $c(r)$ be a nice, continuous function with compact support. For example, $c(r) = \tfrac 1 5 (1-r)^{11} \big( 5 + 55r + 239 r^2 + 429 r^3 \big)$ for $r \in [0,1]$, and $c(r) = 0$ otherwise.
On ...
- 8,512
1
vote
0
answers
85
views
What are good bounds on ratios of subdeterminants?
Let $A$ be a symmetric matrix and $A_i$ be the matrix obtained from $A$ by dropping the $i^{th}$ row and column. Then what are some good bounds on the value of $\frac{det(A_i)}{det(A)}$ ?
Using the ...
- 1,893
3
votes
1
answer
2k
views
What is the pure intuition for topological continuity and topology? [closed]
I have read the introductory sections of many books on Real Analysis and Topology, yet nowhere have I found an unbiased motivation for the notions of either topology or (topological) continuity.
The ...
- 191
1
vote
0
answers
145
views
convergence of supergradient
Let $\{g_n\}$ be a sequence of concave functions defined on $\mathbb{R}$ and set
$$\lambda_n(x)=\lim_{\Delta x\to 0+}\frac{g_n(x+\Delta x)-g_n(x)}{\Delta x}$$
Assume there exists a concave function ...
- 1,835
4
votes
0
answers
462
views
System of Equations Upper Bound
I asked a related question on math.stackexchange here but would now like to obtain a better bound. This question comes from a graph theory problem. I'll restate the new question here:
For $i=1,2,\...
- 4,952
2
votes
0
answers
917
views
Guessing game with guess cost
This is a question about Problem 328 on the website Project Euler. A description of the problem is provided in the previous link. I was wondering if there has been any research done on this question. ...
- 4,952
5
votes
1
answer
781
views
Does a log-concave function on a convex set extend continuously to the boundary?
Let $U$ be an open convex set in a locally convex space $X$, and let $f : U \to [0,1]$ be a log-concave function on $U$ (i.e., bounded and real-valued). Under what conditions does $f$ have a ...
- 8,512
1
vote
0
answers
108
views
MInors related problem [closed]
A matrix $A$ has $m$ rows and $n$ colums, such that $m \leq n$. We know that each row of $A$ has the norm $1$ (the norm of an element $x=(x_1,x_2,...,x_n) \in \mathbb{R}^n$ is $||x||=\sqrt{x_1^2+x_2^2+...
- 11
5
votes
0
answers
760
views
two versions of the nested interval property
There appear to be two different nested interval properties for the reals with the punchline "... then the intersection of the intervals is non-empty", and I'd like to know their respective histories (...
- 19.7k
1
vote
1
answer
112
views
Looking for methods/results for explicitly bounding iterations of rational functions
In Theorem 2.6.4 of Beardon's book, "Iteration of Rational Functions", he states the values for the first two coefficients of an iterated power series.
That is, suppose that
$$
f(z)=az+b_{1}z^{r+1}+\...
- 11
1
vote
1
answer
685
views
This limit converges to the partial derivative?
Let a function $f:X \times \mathbb{R} \rightarrow \mathbb{R}$ continuous, with $X \subset \mathbb{R}$ compact, and supose that $\partial_2 f(x,t)$ exists for all $x \in X$ and is continuous. (here $\...
- 121
3
votes
1
answer
464
views
smooth families of analytic functions
My question is essentially whether taking partial derivatives of a smooth family of analytic functions yields again a smooth family of analytic functions.
The precise question is the following:
Let $...
- 31