User olga - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T21:05:10Z http://mathoverflow.net/feeds/user/21800 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/121052/reference-question-poncelet-theorem Reference question: Poncelet theorem Olga 2013-02-07T11:14:08Z 2013-02-07T19:44:04Z <p>A very famous theorem of Poncelet states that for an elliptic billiard all $n$-periodic trajectories are tangent to some ellipse. As far as I know, Poncelet proved this theorem while sitting in Russian jail so he didn't write it down. Could anybody give me a reference on a first book or article where the proof was actually given? </p> <p>I want to make a correct reference in the article I am writing. Moreover, I am also thinking about mentioning a greek mathematician Proclus who lived in the 5th century BC and proved that once a line in an ellipse is tangent to some other smaller ellipse, its reflection is tangent to the smaller ellipse too. </p> http://mathoverflow.net/questions/109446/bessel-and-neyman-functionsordering-the-zeroes Bessel and Neyman functions:ordering the zeroes Olga 2012-10-12T09:42:40Z 2012-10-12T09:42:40Z <p>I realize the abundance of the literature on this theme which is a disservice in this case, because there are too many formulas in all the books I've found and no explicit answers. Maybe someone could give me a good reference, the question is quiet classical.</p> <p>Let us consider a Bessel equation $$r^2 R'' + r R' + (r-k^2) R = 0$$</p> <p>with the conditions on the boundaries $R(\sqrt{\lambda})=R(2\sqrt{\lambda})=0$. This comes from the equation of oscillation of an annulus with fixed boundaries. The question is <em>to find the frequencies of oscillation in an increasing order</em>, that is just find such $\sqrt{\lambda}$ that the system above holds.</p> <p>We know that the general solution of the equation is the linear combination between Bessel and Neyman functions $J_k$ and $Y_k$, $k \in \mathbb{N}\cup {0}$ so the question is reduced to ordering the zeroes of $J_k$ and $Y_k$. Is there an answer in a form of explicit sequence or, at least, how many first terms do we know? </p> http://mathoverflow.net/questions/101284/for-a-group-with-one-end-does-the-property-of-connected-spheres-follow For a group with one end does the property of connected spheres follow? Olga 2012-07-04T05:23:26Z 2012-07-04T07:50:09Z <p>One of my friends is studying group actions on the circle, and he ended up with a question in geometrical group theory. Let us consider a finitely generated group $G$ with generators $g_1, \ldots g_n$. The notion of a length of an element $g$ can be given as a length of a minimal representation of $g$ in terms of generators.</p> <p>Let me recall a classical definition of a group with one end. If $G$ is a connected, locally path connected, locally compact topological space. Then $G$ <em>has one end</em> if given a compact subset $K \subset G$, there is a compact set $L$: $K \subset L$ such that for any $x,y \in G \setminus L$ there is a path in $G \setminus K$ joining $x$ and $y$.</p> <p>For a group with one end let us define a property, that rises from the studies of group actions on the circle, namely <em>a property of connected spheres</em>: For any ball $B_R$ let us take a nonbounded component of its compliment $(B_R)^c_{\infty}$: this component is unique since our group has one end.</p> <p>Then we say, that a group has a property of connected spheres if there exists $C>0$ such that for any ball $B_R$ of radius $R$ the points in the fiber $(B_R)^c_{\infty} \cap B_{R+C}$ could be connected by the path in the group, i.e. for any $x,y$ in the fiber $(B_R)^c_{\infty} \cap B_{R+C}$ there exists a finite number of group elements, such that $x=gy$ and $g$ is a word in the alphabet $g_1, \ldots g_n$ and all the steps still lie in the fiber considered between the spheres.</p> <p>The question is if for a group with one end the property of connected spheres holds automatically or not, and what are the examples in the case?</p> http://mathoverflow.net/questions/94429/looking-for-at-least-one-beautiful-and-not-too-technical-result-in-asymptotic-gro Looking for at least one beautiful and not too technical result in asymptotic group theory Olga 2012-04-18T17:08:33Z 2012-04-18T20:18:15Z <p>We have a student seminar devoted to the problems of asymptotic group theory with some connections to ergodic theory and measure theory in general. Each talk concerns one of the problems of this beautiful area, and the thematic is considerably wide: the main idea is that somebody presents a theorem, which is proved beautifully and has a lot of applications. For example, we have proved de Finetti theorem (see <a href="http://en.wikipedia.org/wiki/De_Finetti%2527s_theorem" rel="nofollow">Wikipedia article</a> on it), some ergodic theorems for group actions, and Wigner's semi-circle law. I'm looking for something as beautiful and as useful, and not very difficult for being able to talk about it for 2 hours on our seminar. I hope you could give me some hints. </p> <p>I repeat, that the area of problems we discuss is wide and I am not able to define it strictly, so any ideas are welcome. But generally, the methods we use are either dynamical either probabilistic. I had a thought to tell some of Grigorchuk's ideas of constructing the groups of intermideate growth, but I found those proofs technical.</p> http://mathoverflow.net/questions/89859/a-concept-of-dynamical-coherence A concept of dynamical coherence Olga 2012-02-29T11:30:05Z 2012-03-30T18:26:19Z <p>I'm trying to make an overview of the study of partial hyperbolicity and there is an interesting concept of dynamical coherence which appears there. Some call it mild (see the Thesis of Pablo Carrasco, <em>Compact Dynamical Foliations</em> 2010), some call it strong and unnatural (see the work of Amy Wilkinson and Keith Burns <em>Dynamical coherence, accessibility and center bunching</em>). The definition which is the most common is that local cental-unstable $E^{cu}$ and center-stable $E^{cs}$ bundles integrate to foliations $W^{cu}$ and $W^{cs}$. Let us suppose, that in a normally hyperbolic case, i.e. when we already have the $E^c$ that integrates to a foliation F, at which some diffeomorphism is hyperbolic.</p> <p>My question is how the normally hyperbolic (i.e. partially hyperbolic on foliation) system could be dynamically incoherent and is this concept somewhat related to the concept of local product structure? </p> <p>My question is, what is a simplest example of a normally hyperbolic foliation when $E^cu$ and $E^cs$ do not integrate to foliations? And how "often" does it happen in the world of normally hyperbolic foliations? </p> <p>PS. Updated after a useful remark of Rafael Potrie, the definition of a dynamical coherence is now more precise.</p> http://mathoverflow.net/questions/92531/a-measure-theory-question A measure theory question Olga 2012-03-29T06:34:30Z 2012-03-29T15:45:16Z <p>Here's an interesting problem one can formulate for a student. This problem arises when considering special ergodic theorems:</p> <p><em>On a finite dimensional manifold $M$ with a Lebesgue measure $\mu$, does every measure zero set equal a countable union of the sets of less than full Hausdorff dimension</em>? </p> <p>For a diffeomorphism $f$ of $M$ and a continuous function $\varphi$ on $M$, define $$\overline \varphi = \lim_{n \rightarrow \infty} \frac{1}{n} \sum_0^{n-1} \varphi \circ f^k(x).$$ Then the Birkhoff theorem asserts that for almost all $x$, $\overline \varphi \rightarrow \int_M \varphi, n \rightarrow \infty$. But consider the set $K_{\alpha}$ of $x$ where $$\alpha \leq |\overline \varphi - \int \varphi|.$$ So Birkhoff says $\mu(K_\alpha)=0$, but what about the Hausdorff dimension of $\mu(K_\alpha)=0$? For some diffeomorphisms, for example hyperbolic maps, it was proven that $\dim_H K_\alpha &lt; \dim X$. That fact gives a rise to my question. I expect a negative answer, but I can not find a counterexample. </p> http://mathoverflow.net/questions/28622/surfaces-all-of-whose-geodesics-are-both-closed-and-simple/28627#28627 Comment by Olga Olga 2013-03-20T14:21:23Z 2013-03-20T14:21:23Z The manifold should be smooth, otherwise there is an example in Besse book with closed geodesics, all of the same length except one (&quot;an equator&quot;). http://mathoverflow.net/questions/121052/reference-question-poncelet-theorem/121110#121110 Comment by Olga Olga 2013-02-15T18:34:59Z 2013-02-15T18:34:59Z Yes, you are right, I wanted to ask about this theorem. http://mathoverflow.net/questions/1083/do-good-math-jokes-exist/1239#1239 Comment by Olga Olga 2013-01-24T21:15:34Z 2013-01-24T21:15:34Z I love these jokes because they connect mathematics to culture. http://mathoverflow.net/questions/111057/intervals-of-function Comment by Olga Olga 2012-10-30T07:14:26Z 2012-10-30T07:14:26Z This is a question for <a href="http://math.stackexchange.com/" rel="nofollow">math.stackexchange.com</a> http://mathoverflow.net/questions/109120/a-problem-about-group Comment by Olga Olga 2012-10-08T08:15:52Z 2012-10-08T08:15:52Z You should at least verify your problem: we know that the order of any element of the group is a divisor of $|G|$. So maybe you mean $|G|=n$? Otherwise, there is no sense. http://mathoverflow.net/questions/101284/for-a-group-with-one-end-does-the-property-of-connected-spheres-follow Comment by Olga Olga 2012-07-14T10:41:49Z 2012-07-14T10:41:49Z Thank you very much for your valuable comments - if the property holds for at least the finitely presented groups, it's already very well. http://mathoverflow.net/questions/101284/for-a-group-with-one-end-does-the-property-of-connected-spheres-follow Comment by Olga Olga 2012-07-04T07:53:23Z 2012-07-04T07:53:23Z Thank you very much for your comment: for sure, $z_k$ have to lie in the fiber considered. Secondly, what is important, a case of dead ends is not an issue here - I corrected a definition of connected spheres after your remark, see a new one above. http://mathoverflow.net/questions/96950/looking-for-a-scientific-application-of-a-recreational-puzzle Comment by Olga Olga 2012-05-14T21:21:54Z 2012-05-14T21:21:54Z I did it with 10+3+2 and I know the answer in this case.=) http://mathoverflow.net/questions/89859/a-concept-of-dynamical-coherence/91547#91547 Comment by Olga Olga 2012-05-05T19:24:53Z 2012-05-05T19:24:53Z Thank you for your answer: so at this point the DC concept is still intriguing and not completely studied. http://mathoverflow.net/questions/94200/two-open-sets-from-accessible-classes-of-partially-hyperbolic-systems Comment by Olga Olga 2012-04-25T07:12:47Z 2012-04-25T07:12:47Z I can not say that I got more information following the link.. http://mathoverflow.net/questions/94429/looking-for-at-least-one-beautiful-and-not-too-technical-result-in-asymptotic-gro/94432#94432 Comment by Olga Olga 2012-04-18T19:54:34Z 2012-04-18T19:54:34Z Thank you for your interesting comment, and the proof that Lueck gives of this theorem, is short and beautiful, and uses basic concepts in topology. But I do not see here the big and interesting story for a talk. I won't be able to make a survey on all the geometrical group theory in 2 hours, and also I think the article is in the style of survey, I'm searching for something more short, not as global, but beautiful. Just for everybody not to forget my talk. http://mathoverflow.net/questions/26821/is-thompsons-group-f-amenable/83017#83017 Comment by Olga Olga 2012-04-12T20:42:16Z 2012-04-12T20:42:16Z I'm sorry for the impatience - but did anything change in these 4 months? That's a theme of a great interest! http://mathoverflow.net/questions/92531/a-measure-theory-question/92553#92553 Comment by Olga Olga 2012-04-03T19:54:15Z 2012-04-03T19:54:15Z Thank you so much for your answer, as far as I understand, for $\mathbb{R}^n$ we have to consider $f_n(x)=x^n \log (e/x)$ and everything will work as it has to. And the number e in the definition of f doesn't value much - we can take any positive number we want. http://mathoverflow.net/questions/92531/a-measure-theory-question Comment by Olga Olga 2012-03-29T08:49:16Z 2012-03-29T08:49:16Z I mean expresing the set of measure zero as a countable (or less) union of the sets of a Hausdorff dimension less than full. In the remark, $\alpha$ could be taken $\frac{1}{n}$. So I do not accept such an easy solution. I hope, now it's more precise. http://mathoverflow.net/questions/89859/a-concept-of-dynamical-coherence/91547#91547 Comment by Olga Olga 2012-03-28T17:46:12Z 2012-03-28T17:46:12Z Maybe I didn't write explicitly. The integrability of $E^c$ is not the definition I wanted to give of dynamical coherence: the one Hirsch, Pugh, Shub give is that the local center unstable manifold of one plaque and local center stable manifold of another plaque intersect in a subplaque of a foliation. It's equivalent to the fact that W^cu and W^cs are foliated by W^c, i.e. by our leaves. As far as I understand, you gave an explicit answer to the question of the problem of the integrability of a center bundle. My question is, whether DC holds supposing that the center foliation exists.