TGViewer
Channel Public Channel
Математические байки

Математические байки

@mathtabletalks

Рассказы про разную математику.

Архив: http://dev.mccme.ru/~merzon/mirror/mathtabletalks/
Open in Telegram
Subscribers
4.32K
Photos
1.5K
Videos
15
Links
944

Showing posts older than #3653 · Back to latest

Older Posts 20 shown
Post #3652 771
Чему равна его вероятность? С одной стороны, при известном x это как раз x^m*(1-x)^n, а поскольку точка x тоже кидалась равномерно — то получается как раз искомый интеграл:
\int_0^1 x^m (1-x)^n dx.
Post #3650 754
Математические байки Photo
Так вот — давайте отставим все эти интегралы в сторону и добудем ответ (для целых аргументов a=m+1 и b=n+1) вероятностными методами. А именно — выберем на отрезке [0,1] равномерно случайную точку x. А потом ещё m случайных точек \xi_1,...,\xi_m. А потом ещё n случайных точек \eta_1,...,\eta_n.
И посмотрим вот на такое событие: все \xi_1,...,\xi_m попали на отрезок [0,x], а все \eta_1,...,\eta_n — на отрезок [x,1]:
Post #3648 752
И доказательство тут — перемножить два интеграла, для Г(a) и для Г(b). Получится интеграл по первому квадранту {x>0,y>0} — который нарезается на диагональные отрезки {x+y=s}, после чего интеграл оказывается произведением Г(a+b) и интеграла для бета-функции:
Post #3646 740
Так вот — интеграл B(a,b):=\int_0^1 x^{a-1} (1-x)^{b-1} dx называется бета-функцией, и он через гамма-функцию явным образом выражается:
Post #3644 773
Математические байки Photo
Но давайте я сначала напомню, как с этим интегралом работают обычно. Первый шаг тут это замечание, что у факториала есть обобщение, гамма-функция; мы с ней уже сталкивались, когда обсуждали формулу Стирлинга. А именно, факториал можно представить как интеграл —
n! = \int_0^{\infty} x^n e^{-x} dx —
после чего ничего не мешает в этом интеграле брать нецелое значение степени:
Г(a) := \int_0^{\infty} x^{a-1} e^{-x} dx,
и тогда n!=Г(n+1).
Post #3642 808
Математические байки Анекдот в тему — как специалист по теории вероятностей проверяет, что интеграл от 0 до 1 от x^N это 1/(N+1)? Он выбирает на отрезке [0,1] равномерно и независимо N+1 точку и спрашивает, с какой вероятностью первая из них правее всего? С одной стороны, вероятность…
===
Оказывается — спасибо Александру Шпилькину за рассказ и за ссылки! — у этого анекдота есть продолжение: вычисление интеграла \int_0^1 x^m (1-x)^n dx:
Post #3641 806
Математические байки Вот. Ну и мне кажется, что это безумно круто, что вся эта наука возникает не просто так, повисая в воздухе — а естественно появляется, шаг за шагом, при атаке на вполне разумные геометрические (восходящие к Ньютону и к Арнольду) вопросы. И что всё это очень…
И я пользуюсь случаем присоединиться к Васильеву и сказать "огромное спасибо" Ане Роговой — без её расшифровки просто ничего бы не запустилось...
Post #3640 827
Математические байки То есть, обойдя сначала вокруг M, потом вокруг m, мы к исходному отсекаемому объёму V(c) прибавили константу: удвоенную полную площадь всего овала (2V_0). Тогда, если сделать такой парный обход ещё раз, то мы добавим ещё столько же, те же 2V_0; например,…
Да, коллеги пожаловались, что непонятно, почему вторая, третья и так далее пары обходов вокруг m и M будут добавлять ту же константу — так что я отредактировал это сообщение. По смыслу — если в результате продолжения функции V(c) по какому-то пути мы пришли к V(c)+const, то дальше по тому же пути можно аналитически продолжать слагаемые по отдельности. Продолжение V(c) даёт V(c)+const, а продолжение константы это она и есть. Так что получается V(c)+2*const. И так далее.
(Кстати — так ведёт себя комплексный логарифм ln z: набирает 2πi за каждый обход вокруг нуля в положительном направлении.)
Надеюсь, теперь стало понятнее.
Post #3638 760
Вот. Ну и мне кажется, что это безумно круто, что вся эта наука возникает не просто так, повисая в воздухе — а естественно появляется, шаг за шагом, при атаке на вполне разумные геометрические (восходящие к Ньютону и к Арнольду) вопросы. И что всё это очень геометрично и за этим можно (и очень приятно) следить. И что в тексте получается дойти и рассказать доказательство полного результата для чётномерного случая, — того самого, который Васильев доказал после ЛШСМ-2013: V. A. Vassiliev, Newton's lemma XXVIII on integrable ovals in higher dimensions and reflection groups, Bulletin of the London Mathematical Society.
Я очень люблю эту книгу. 🙂
OUP Academic Newton's lemma XXVIII on integrable ovals in higher dimensions and reflection groups Abstract. We prove that there are no bounded domains with smooth boundaries in even-dimensional Euclidean spaces, such that the volumes cut off from them b
Post #3637 702
Математические байки Потому что если c бежит по окружности радиуса ε, c(t) = ε e^{it}, то мы хотим как-то двигать z и w так, чтобы далеко от критической точки (то есть если либо |z|, либо |w| большие) за полный оборот вообще ничего не произошло. Ну так давайте двигать окружности…
Если мы попросим, чтобы f(r) = 0 при больших r=|z| (например, при r>2 \sqrt{ε}) и чтобы 1-f(r)=0 при больших ε/r=|w| (например, при r<\sqrt{ε}/2) — как раз вот такое скручивание и получится.
Wikipedia Скручивание Дена Скручивание Дена — определенный тип гомеоморфизма поверхности на себя.
Post #3636 638
Потому что если c бежит по окружности радиуса ε,
c(t) = ε e^{it},
то мы хотим как-то двигать z и w так, чтобы далеко от критической точки (то есть если либо |z|, либо |w| большие) за полный оборот вообще ничего не произошло.
Ну так давайте двигать окружности вида |z|=r с постоянной скоростью, деля множитель e^{it} в каком-то отношении между z и w:
z(t)=z(0) e^{i f(r) t}
w(t)=w(0) e^{i (1-f(r)) t}
Post #3635 625
(Image credit: В. А. Васильев, "Ветвящиеся объёмы и группы отражений", М.: МЦНМО, 2020.)
Post #3634 619
Математические байки (Image credit: В. А. Васильев, "Ветвящиеся объёмы и группы отражений", М.: МЦНМО, 2020.)
Ответ такой. Для простоты будем считать, что критическое значение это c=0. С комплексной точки зрения все невырожденные критические точки одинаковые (с точностью до локальной замены координат) — так выберем локальные координаты (z',w') так, чтобы в них.
P(z',w')=z'w'.
Тогда при малых c рядом с критическим значением поверхность уровня устроена как цилиндр. Так вот — этот цилиндр скручивается:
Post #3633 600
(Image credit: В. А. Васильев, "Ветвящиеся объёмы и группы отражений", М.: МЦНМО, 2020.)
Older posts →
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →