All Questions
5,629 questions
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 ...
- 213
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$ ...
- 45k
1
vote
2
answers
382
views
A question about zeros of Tate type integral
Fix a positive integer $n$. Fix a continuous character $\chi$ of $\mathbb{R}^*$ with the form $\chi(x)=sign(x)|x|^t$ for some complex number $t$. If $\phi$ is a Schwartz function on $\mathbb{R}$, let $...
- 2,709
0
votes
0
answers
149
views
Does this sequence of H\"older functions have a limit?
Let $\left\{\alpha_{n}\right\}_{n\in \mathbb{N}}$ a sequence of positive real numbers with
$$\alpha_{n}\in (0,1)\quad \textrm{and}\quad \alpha_{n}>\alpha_{n+1}$$
Moreover suppose
$$\lim_{n\...
- 91
2
votes
1
answer
190
views
Completeness for spaces of eventually bounded nets
Let $A$ be a directed set, and $\ell^\infty_A$ the (complex vector) space of all
eventually bounded nets $A\to \mathbb{C}$. We can define the limit superior seminorm on $\ell^\infty_A$:
$$
\vert\vert{...
- 281
4
votes
0
answers
939
views
Proofs of Baire category theorem
I would like to have a list of proofs of the fact that the real line is not meager (also very useful would be a reference to such a list, if it already exists somewhere).
My motivation is the ...
- 315
2
votes
1
answer
466
views
What is the regularity of the argument of a complex function?
Let $\psi=f+ig=\rho e^{i\theta}$ be a complex function on some open subset of $\mathbb{R}^n$, where $f,g,\rho$ and $\theta$ are real-valued. I happened to find that the identity of differentiation for ...
- 305
1
vote
1
answer
56
views
Can we implicitly fit a system of linear ODEs by reduced information?
Assume we are given several initial vectors $x^{(1)},\ldots,x^{(r)} \in \mathbb{R}^n$, where the dimension $n$ is in the range of 50 to 100, and the number of initial vectors $r$ is in the range of ...
- 749
3
votes
0
answers
69
views
Almost everywhere in a rectangle [duplicate]
I would like to ask a question about the product (Lebesgue) measure on rectangle. I tried to solve the problem but I couldn't.
Let $S$ be a subset of a region, say $R$ which is enclosed by a ...
1
vote
0
answers
91
views
Tubular neighbourhood which is nowhere piecewise linear
I recently asked this question.
I think, if the following were true, then I would solve my problem.
Let $E\subset\{(x_1,\dots,x_n)\in\mathbb R^n\;|\;x_i\geq 0\, \&\, \sum_ix_i=1\}$ be a convex ...
- 11
3
votes
0
answers
289
views
How well do continuously differentiable functions behave from R^2 to R^2 ?
The behaviour of complex smooth vs 1-dimensional real smooth functions is discussed in a previous question.
In "Complex Analysis as Catalyst" by Steven G. Krantz, the Cauchy integral formula is ...
- 529
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
5
votes
0
answers
270
views
Differential operators that preserve real-rootedness
Is there some description of polynomial differential operators, $\mathcal{D}=\sum f_i(x) D_x^i$ such that, if $h$ is a polynomial all of whose roots are in $[0,1]$, then so are all the roots of $\...
- 156k
0
votes
0
answers
115
views
Quasi-simmetric function and bi-Lipschitz functions
Assume that $f$ is a homeomorphism of the unit circle onto itself. If $$1/M \le \frac{|f(e^{i(t+s)})-f(e^{i(t)})|}{|f(e^{i(t)})-f(e^{i(t-s)})|}\le M,$$ then we say that $f$ is $M-$quasi-symmetric ...
- 259
1
vote
0
answers
122
views
Does the difference quotient of an absolut cont. funct. converge in L^1?
Assume that $\mu$ is a finite Radon measure on the real line and $f$ is integrable wrt. $\mu$. Define
$F(x)=\int_{]\infty;t]}f(y)d\mu(y) $
Is the following statement true?
The functions $d_h:x\...
- 11
0
votes
0
answers
345
views
Jacobian of the inversion map
Let $F:Tr(n,\mathbb{R})\cap GL_n(\mathbb{R})\rightarrow Tr(n,\mathbb{R})\cap GL_n(\mathbb{R})$ be the map which sends a matrix $A$ to its inverse $A^{-1}$. If we consider $F$ as a function from $(\...
- 657
3
votes
1
answer
367
views
A differential inclusion relating to the slope of a convex function
This question is concerned with a possible lemma which would be very useful in one of my current research projects, but which I am currently unable to prove. The project as a whole relates to the ...
- 6,206
10
votes
0
answers
315
views
Does antidifferentiability of continuous functions imply Dedekind completeness?
Let $R$ be an ordered field, and let $I$ be {$x \in R: a < x < b$} for some $a < b$ in $R$. Define notions of $R$-continuity and $R$-differentiability for functions $f : I \rightarrow R$ by ...
- 19.7k
0
votes
0
answers
127
views
A question of the weights $A_\infty$' equvalent condition in Real &Harmonic analysis
I have a question. The question is to prove:
The weight $w \in A_\infty $if and only if
$\frac{1}{|Q|}\int_Q w(x)dx \cdot \exp\left(\frac{1}{|Q|}\int_Q \log\frac{1}{w(x)}dx\right)\leq C$, for all
...
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
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 ...
3
votes
0
answers
227
views
Mesh for 3d dungeons game. [closed]
Hallo, I look for some F: R^2->R height function which would generate the Speleothem ceiling http://en.wikipedia.org/wiki/Speleothem for 3d game taking place in dungeons/caves.
The function might be ...
- 139
0
votes
0
answers
183
views
Continuity of the Shadow of a Nondecreasing Function
So I'm working a lot with monotone nondecreasing functions $f : [0,1] \rightarrow [0,1]$, and I'm defining a certain discrete dynamics on them. Here nondecreasing means $x < y \Rightarrow f(x) \leq ...
- 485
4
votes
0
answers
273
views
Real Analytic Function and nth Prime
It is trivial that there are no polynomial function $P$ with integer coefficients that has the property $P(n)=p_n$ where $p_n$ is the $n$th prime.While it is true that can always construct a smooth ...
- 153
5
votes
0
answers
583
views
Cohomology of Real algebraic Varieities
I understand Serre's GAGA theorem as saying that equations over algebraically closed fields can be studied equally from the algebraic and analytic points of view, at least with respect to cohomology.
...
user2529
2
votes
1
answer
182
views
represented as a series of periodic function
Is there any necessary and sufficient condition for function $f$ such that:
$f(x)=\sum_{k=1}^{\infty} f_k(x)$ for all $x \in \mathbb{R}$,where $(f_n )_{n=1}^{\infty}$ is a sequence of periodic ...
- 407
2
votes
0
answers
104
views
Fourier multiplier with a singularity on a convex curve
Let $h$ be a strictly convex function such that $h(0) = h'(0)=0$. Let $\Phi: \mathbb{R}^2 \to \mathbb{R}$ be a $C^{\infty}$-function with compact support (say, $\Phi$ is supported on $[-1,1]\times[-1,...
1
vote
0
answers
615
views
Is there a Real valued function with image of every open interval the whole real line [duplicate]
Possible Duplicate:
Function with range equal to whole reals on every open set
Hello,
My problem is the following
"Is there a Real valued function with image of every open interval the whole ...
- 201
0
votes
0
answers
193
views
Boundedness of Riemann-like sums on unbounded interval
Hi
I am trying to find suitable conditions (integrability, growth...) on a function $f:\mathbb{R}\to \mathbb{R}$ such that:
\begin{equation}
\sum_{k\in\mathbb{Z}}f(kh)h= \mathcal{O}(1),\qquad h\to 0^+...
-3
votes
1
answer
590
views
A problem regarding definition of p-norm [closed]
Let ${\bf x}=(x_1,...,x_n)$, the p-norm of x is $(|x_1|^p+...+|x_n|^p)^{1/p}$. If one of the components of x is 0, there will be exponential of the form $0^p$. If p is an irrational, $x^p$ is only ...
- 764
0
votes
0
answers
100
views
Two distribution spaces ${\mathcal S}'/{\mathcal P}$ and ${\mathcal S}_\infty'$
Let ${\mathcal S}'$ be the set of all distributions.
Denote by ${\mathcal P}$ the set of all polynomials,
which is embedded into ${\mathcal S}'$ as a closed subspace.
Equip ${\mathcal S'}/{\mathcal P}$...
6
votes
1
answer
369
views
Denominators in the solution to Hilbert's XVII
Hilbert's seventeenth problem asks to prove that every positive semidefinite form can be written as the sum of squares of rational functions. Currently we don't seem to have a good understanding of ...
- 85.6k
3
votes
1
answer
64
views
Complete classification of complexity classes / infinite approaching sequences
http://en.wikipedia.org/wiki/Time_complexity#Table_of_common_time_complexities
For complexity as seen in the above link, complexity classes can be log, polynomial, exp, or composition of any of these ...
- 31
0
votes
1
answer
138
views
question about the closed form of a function
Hi everyone! I have a question about how to find the closed form of a function defined by
$$\phi(\theta)=\inf_{x\geq 2}f(x;\theta)\equiv\inf_{x\geq 2}\frac{(x+2)^2}{\frac{1}{\theta}\left(\frac{x-1}{2}...
- 69
1
vote
0
answers
346
views
Gauge integral of the derivative of a function except on a set of measure 0.
For the entire question, the interval I am integrating over is $[0,1]$.
Background: In order to exhibit an isometry from $L^2[0,1]$ into $l^2$, I need to either assume absolute continuity over some ...
- 783
0
votes
0
answers
176
views
search for a function satisfying some conditions
Hi everyone, I would like to find a function
$$\Psi\in\mathcal{C}^2: z\in\mathbb{R}\rightarrow\Psi(z)\in\mathbb{R_+}$$
satisfying the following conditions:
$$1-\frac{z\Psi'(z)}{\Psi(z)}+8s\Psi''(z)...
- 69
3
votes
1
answer
362
views
Cartesian product of test function spaces
Mini introduction
Suppose $U \subset \mathbb R^n, V \subset \mathbb R^m$ are two open sets. If we take http://en.wikipedia.org/wiki/Distributions_space#Test_function_space">test functions $f_i \in \...
-3
votes
2
answers
260
views
On \ell_3 norm in R^2
Let $v,w\in\mathbb{R}^{2}$ and $v\perp w$. Is it true that $\left\Vert v\right\Vert _{3}\leq\left\Vert v+w\right\Vert _{3}$,
in which $\left\Vert \left(x,y\right)\right\Vert _{3}:=\sqrt[3]{\left|x\...
- 65
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 \...
user16974
1
vote
1
answer
275
views
Shift operator that generates separable orbit
Suppose, that $f$ is bounded measurable function, $T_h(f)(x) = f(x+h)$ is the shift operator.
How to prove, that if the whole orbit $T_h(f):\, h\in\mathbb{R}$ has a dense, countable subset $T_{n_k}(f)$...
- 696
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$?
- 95
4
votes
0
answers
213
views
The ring generated by measures
Suppose $X$ is a space equipped with a $\sigma$-algebra $\mathcal{M}_X$. Then the set of measures on $X$ is closed under addition and scalar multiplication by elements of ${\mathbb R}$. Formally ...
- 8,669
1
vote
1
answer
224
views
Can symmetrizing a contraction increase the speed of convergence?
Dear community,
I have a problem which is very simple to state but seems to be hard to answer.
Statement of the problem
Let $f$ and $g$ be two symmetric, real functions in $n$ and $m$ variables, ...
- 199
4
votes
1
answer
222
views
a closed-form for mean/integral, but weighting positive differences between values and "mean" differently from negative differences?
Given a curve $f(x)$ (for $x \in [0,1]$), and a line $y=a$, let $U$ be the total area below $f$ and above $a$, and let $L$ be the total area above $f$ and below $a$. If $L=U$, this means that $a =\...
- 41
1
vote
0
answers
57
views
Looking for CDFs that I can integrate a particular transformation of
I need two CDFs $G$ and $\lambda$ with unbounded support such that I can integrate
$$ \int_{-\infty}^t \lambda(a(x+b))dG(x), $$$a>0,b\in\Re$. As far as I can tell, there exist no functions that ...
- 11
4
votes
1
answer
346
views
approximately linear functions -- more
Suppose $f,g$ are continuous functions from $\mathbb R$ to $\mathbb R$, with the property that
$$f(x)+f(y)=g(x+y)$$
for all $x,y$. Taking $x=y=z/2$ implies that $g(x)=2f(x/2)$ so that the above ...
- 123
2
votes
0
answers
470
views
Can any antidifference (indefinite sum) of a function be expressed in elementary functions and generalized polygamma function if its integral can be expressed in elementary functions?
If the integral or multiplicative integral of a function can be expressed with elementary functions, does it mean its indefinite sum (antidifference) or indefinite product respectively can be ...
- 10.1k
5
votes
0
answers
369
views
Independent Events Inducing Probability Measures
Let $\mathcal{F}$ be a sigma algebra over $\Omega$ and $M$ the set of all probability measures on $\mathcal{F}$. Let $\mathcal{C}$ be some collection of pairs $(A,B)$ with $ \ A,B\in\mathcal{F}$. Now ...
- 4,952
0
votes
0
answers
94
views
Extending coverings over dense subsets
Let $X$ be a metric space with $D⊆X$ a dense subset.
If there is a covering for $D$, under which conditions on the covering is it possible to guarantee that the covering also covers $X$?
For a ...
- 1
0
votes
0
answers
67
views
Proof that Newton expansion over derivatives has the properties of an integral [duplicate]
Let's consider a Newton expansion over consecutive derivatives of a function:
$$F(x)=\sum_{m=0}^{\infty} \binom {-1}m \sum_{k=0}^m\binom mk(-1)^{m-k}f^{(k)}(x)$$
Can it be proven that such ...
- 10.1k