Мое 'зафиксировано' означает, что от автора получено четкое выражение позиции,
которое без серьезных оснований поменять не удастся.
Дак это же хорошо, что не удастся. Я и не буду менять "зафиксированное", которое понимаю так же.
но ничего сказать нельзя относительно зависимости этой границы от
. По крайней мере, автор ничего на сей предмет не доказал.
Можно сказать. См. теоремы 1 и 2.
Кроме того, не наблюдается доказательства того факта, что функция
определена для всех положительных
. Иначе говоря, не доказано, что поток несжимаемой жидкости, получающийся в результате сдвига начального сечения на
сможет поместиться в объем, ограниченный поверхностью
и границами выбранной трубки линий тока.
Ну на самом деле, доказательства без детализации приведены. И это, что Вы сейчас запрашиваете, я и готовлю в более подпробных и, надеюсь ясных доказательствах. Можно в грубом приближении так обозначить мои аргументы по этому поводу (которые, на самом деле изложены, как я считаю, в первом посте): сечение каждой трубки растёт неограниченно, поэтому, из-за сохранения объёма жидкости на достаточно большом сечении смещение
будет достаточно малым.
отсутствует доказательство неравенства
на поверхности
.
Аналогично, по крайней мере некоторые уже точные аргументы по этому поводу приводились:
.
-- Вт июн 30, 2009 17:47:43 --ОпределенияПусть
и
- различные поверхности
,
. Объём, заключённый между этими поверхностями обозначим как
.
Пусть
– произвольная линия, концы которой расположены на поверхностях
и
. Пусть,
- радиус шара Ш(
), центром которого является точка
. Этот радиус, считаем, не меняется при переходе от точки к точке линии
. Объединение таких шаров, закреплённых за точками линии, в пересечении с
, пусть образует некую фигуру, которую обозначим Ф(
). Ф(
) =
Ш(
)
.
Берём конкретную трубку
,
,
- фиксированный радиус. Рассмотрим произвольную линию тока
,
, которая проходит от стенки сосуда до точки
. Пусть
.
Трубка
пусть такова, что является продолжением трубки
во внутрь сосуда, т.е.
, где
,
– фиксируем. Таким образом,
. Пусть
.
Предложение 1.Какова бы ни была величина
, существуют трубки
и
такие, что внутренность трубки
, т.е. множество int(
) включает в себя линию
без концов, а сама трубка
включена в фигуру Ф(
). Т.е. Ф(
)
int(
)
.
Предложение считаем очевидным.
Предложение 2.Каково бы ни было число
, существует такое число
, что для всех
, для любой линии
, для каждой точки
и для каждой плоскости
, ортогональной к линии
в точке
, выполнены следующие условия:
(А) Объём фигуры Ф(
), т.е. Объём(Ф(
)) равен Длина(
)
(
)
(
), где
.
(Б) Площадь(Ф(
)
) = (
)
(
), где
. И эта же площадь равна Площадь(Ф(
)
)
, где
,
– расстояние
.
Условия предложения 2 выполнимы, так как все линии и поверхности берутся только бесконечно гладкими. Если выразить утверждение 2 грубее, то оно может звучать так: Объём фигуры Ф(
) есть произведение длины линии
на сечение фигуры, которое постоянно, что выполнено с достаточной точностью при достаточно малом
.
Доказательство требуемого неравенства.Сдвигаем жидкость, расположенную около стенки сосуда вдоль трубки
на расстояние
. Это означает, что в точности на такое расстояние вдоль линий тока в трубке сдвинутся те элементы жидкости (точки жидкости), которые находились на стенке сосуда. Остальные элементы жидкости пусть сдвигаются так, чтобы каждый объём жидкости сохранил свою величину. В результате, в сосуде освободится объём
, не превышающий величину
с точностью до исчезающих по отношению к этой величине членов (если
уменьшать неограниченно), где
– сечение трубки
плоскостью
, проходящей перпендикулярно линии
через точку
, расположенную на расстоянии
от стенки сосуда, если это расстояние измерять вдоль линии
. Следовательно,
не превышает величину
, где
, с точностью до исчезающих (с уменьшением
) членов.
Смотрим после этого, как сдвинутся элементы жидкости в трубке
, которая есть теоретико-множественная разность трубок
и
. Если бы трубка
имела бы постоянное по площади сечение с каждой упомянутой плоскостью
, равное сечению на поверхности
, то жидкость в этой трубке переместилась бы вдоль линий тока на расстояние
такое, что
. Но сечение трубки
увеличивается по ходу течения жидкости. Следовательно, смещение
будет ещё меньше, и с точностью до исчезающих членов, получаем:
. Ясно, что неравенство сохранится и в пределе для смещения элемента жидкости вдоль линии тока
, когда
.
Разбивая объём
на достаточно большое количество трубок так, чтобы относительно каждой из них можно было бы сделать вывод, получаем неравенство для каждой такой трубки. Движение жидкости в одной трубке не будет мешать движению в другой. Кроме того, для порций жидкости расположенных дальше по трубке
, вне объёма
рассуждаем в точности так же как и для порций внутри такого объёма. Т.е. делаем замену
,
,
,
, как это уже было указано, и по индукции получаем требуемое.
Разбиения на всё более и более мелкие трубки и рассмотрение движения конечного числа порций даст некоторое
-ое приближение полного движения жидкости. В
-ом приближении объём жидкости будет сохраняться. Следовательно он будет сохранятся для всех достаточно больших
. В итоге, идеальное движение несжимаемой жидкости определимо как предел движений из конечного числа порций жидкости. Причём, это уже предоставляется проверить читателю, можно обеспечить бесконечную гладкость движения.