2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки


Правила форума


Посмотреть правила форума



Начать новую тему Ответить на тему
 
 Ближайшая к кривой точка
Сообщение31.10.2016, 17:54 


07/06/16
25
Я ищу формулировку теоремы, желательно в англоязычной литературе. Суть её в следующем:

Есть гладкая кривая
$$\gamma : \mathbb{R} \to \mathbb{E}^n .$$
Есть отображение
$$\tau(x) = \arg \min_t \left\Vert x - \gamma(t) \right\Vert .$$
Если $\left\Vert x - \gamma(t) \right\Vert < r$, то отображение $\tau(x)$ однозначно определено и является гладким. $r$ -- минимум модуля радиуса кривизны кривой $\gamma$.

 Профиль  
                  
 
 Re: Ближайшая к кривой точка
Сообщение31.10.2016, 18:56 
Заслуженный участник
Аватара пользователя


01/08/06
3138
Уфа
Непохоже, чтобы была прямо вот в такой формулировке теорема.
Например, если $\gamma$ периодична, то \tau$ определяется лишь с точностью до периода.
Или что-то нужно ещё на кривую наложить, или одно из двух.

 Профиль  
                  
 
 Re: Ближайшая к кривой точка
Сообщение31.10.2016, 19:17 


07/06/16
25
worm2 в сообщении #1164732 писал(а):
Непохоже, чтобы была прямо вот в такой формулировке теорема.
Например, если $\gamma$ периодична, то \tau$ определяется лишь с точностью до периода.
Или что-то нужно ещё на кривую наложить, или одно из двух.

Пусть будет с дополнительными условиями.

 Профиль  
                  
 
 Re: Ближайшая к кривой точка
Сообщение31.10.2016, 21:37 
Заслуженный участник


10/01/16
2318
SurovM
А чего бы это и не доказать?
Пишем условие $\frac{d}{dt}\left\lVert x-\gamma(t)\right\rVert^2 =0$.
К полученному уравнению применяем теорему о неявной...
А утверждение будет выглядеть примерно так:
Пусть $r_0 = dist(x_0,\gamma) = \left\lVert x_0-\gamma(t_0)\right\rVert$, $r_0 <r(t_0)$, где $r(t_0)$ - радиус кривизны в точке $\gamma(t_0)$. Тогда в некоторой окрестности точки $x_0$ Ваша функция $t=t(x) - $определена и хороша.
А вот глобально - ничего хорошего не будет. Впрочем, если потребовать отсутствие самопересечений (и даже "сближений" на расстояние меньшее $\varepsilon$, $\varepsilon$ - минимум ваших кривых радиусов), то в $\varepsilon$-окрестности кривой, наверное, будет и глобально - склеится из локальных...
Литература - увы...

 Профиль  
                  
 
 Re: Ближайшая к кривой точка
Сообщение31.10.2016, 22:25 


07/06/16
25
DeBill Не хочу статью перегружать, и так уже много лишнего.

-- 31.10.2016, 22:32 --

Самопересечений там не будет по теореме о единственности решений. А вот сближение -- да, я об этом не подумал.. Еще и проверить сложно :-(

 Профиль  
                  
 
 Re: Ближайшая к кривой точка
Сообщение31.10.2016, 23:00 
Заслуженный участник


10/01/16
2318
SurovM в сообщении #1164795 писал(а):
Не хочу статью перегружать, и так уже много лишнего.


А, я так и подумал.
Может, поискать вот где:
Если по нормали к кривой отложить отрезок длины (Вашей минимальной $r$), то и получится Ваша окрестность, в которой все должно быть хорошо (координаты в ней - точка кривой, откуда пришла нормаль, и расстояние до кривой. Первая координата - это и есть Ваша функция - если считать $t$ параметром на кривой.) Так вот, тогда утверждение можно сформулировать типа так: окрестность кривой диффеоморфна окрестности нулевого сечения в нормальном расслоении к кривой. Так что, может, где-то в дифгеометрии это и есть. Вам, правда, нужна конкретная окрестность...
Или - покопать там, где работают с волновыми фронтами (эволютами - эвольвентами). Это какая-то классика: когда на нормали откладывают радиус кривизны. Там возникают особенности - но они, видимо, все будут за пределами $r$- окрестности...

 Профиль  
                  
 
 Re: Ближайшая к кривой точка
Сообщение01.11.2016, 14:24 


15/04/12
162
В учебнике Lee "Introduction to Smooth manifolds" есть такое утверждение только в большей общности - то что ближайшая к многообразию точка живет в нормальном расслоении, что-то в таком духе.
https://www.cse.msu.edu/~zhangh40/mth/lee.pdf
Вернее задача, 6.2.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 7 ] 

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: HungryLion


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group