Мое 'зафиксировано' означает, что от автора получено четкое выражение позиции,
которое без серьезных оснований поменять не удастся.
Дак это же хорошо, что не удастся. Я и не буду менять "зафиксированное", которое понимаю так же.
но ничего сказать нельзя относительно зависимости этой границы от

. По крайней мере, автор ничего на сей предмет не доказал.
Можно сказать. См. теоремы 1 и 2.
Кроме того, не наблюдается доказательства того факта, что функция

определена для всех положительных

. Иначе говоря, не доказано, что поток несжимаемой жидкости, получающийся в результате сдвига начального сечения на

сможет поместиться в объем, ограниченный поверхностью

и границами выбранной трубки линий тока.
Ну на самом деле, доказательства без детализации приведены. И это, что Вы сейчас запрашиваете, я и готовлю в более подпробных и, надеюсь ясных доказательствах. Можно в грубом приближении так обозначить мои аргументы по этому поводу (которые, на самом деле изложены, как я считаю, в первом посте): сечение каждой трубки растёт неограниченно, поэтому, из-за сохранения объёма жидкости на достаточно большом сечении смещение

будет достаточно малым.
отсутствует доказательство неравенства

на поверхности

.
Аналогично, по крайней мере некоторые уже точные аргументы по этому поводу приводились:

.
-- Вт июн 30, 2009 17:47:43 --ОпределенияПусть

и

- различные поверхности

,

. Объём, заключённый между этими поверхностями обозначим как

.
Пусть

– произвольная линия, концы которой расположены на поверхностях

и

. Пусть,

- радиус шара Ш(

), центром которого является точка

. Этот радиус, считаем, не меняется при переходе от точки к точке линии

. Объединение таких шаров, закреплённых за точками линии, в пересечении с

, пусть образует некую фигуру, которую обозначим Ф(

). Ф(

) =

Ш(

)

.
Берём конкретную трубку

,

,

- фиксированный радиус. Рассмотрим произвольную линию тока

,

, которая проходит от стенки сосуда до точки

. Пусть

.
Трубка

пусть такова, что является продолжением трубки

во внутрь сосуда, т.е.

, где

,

– фиксируем. Таким образом,

. Пусть

.
Предложение 1.Какова бы ни была величина

, существуют трубки

и

такие, что внутренность трубки

, т.е. множество int(

) включает в себя линию

без концов, а сама трубка

включена в фигуру Ф(

). Т.е. Ф(

)

int(

)

.
Предложение считаем очевидным.
Предложение 2.Каково бы ни было число

, существует такое число

, что для всех

, для любой линии

, для каждой точки

и для каждой плоскости

, ортогональной к линии

в точке

, выполнены следующие условия:
(А) Объём фигуры Ф(

), т.е. Объём(Ф(

)) равен Длина(

)

(

)

(

), где

.
(Б) Площадь(Ф(

)

) = (

)

(

), где

. И эта же площадь равна Площадь(Ф(

)

)

, где

,

– расстояние

.
Условия предложения 2 выполнимы, так как все линии и поверхности берутся только бесконечно гладкими. Если выразить утверждение 2 грубее, то оно может звучать так: Объём фигуры Ф(

) есть произведение длины линии

на сечение фигуры, которое постоянно, что выполнено с достаточной точностью при достаточно малом

.
Доказательство требуемого неравенства.Сдвигаем жидкость, расположенную около стенки сосуда вдоль трубки

на расстояние

. Это означает, что в точности на такое расстояние вдоль линий тока в трубке сдвинутся те элементы жидкости (точки жидкости), которые находились на стенке сосуда. Остальные элементы жидкости пусть сдвигаются так, чтобы каждый объём жидкости сохранил свою величину. В результате, в сосуде освободится объём

, не превышающий величину

с точностью до исчезающих по отношению к этой величине членов (если

уменьшать неограниченно), где

– сечение трубки

плоскостью

, проходящей перпендикулярно линии

через точку

, расположенную на расстоянии

от стенки сосуда, если это расстояние измерять вдоль линии

. Следовательно,

не превышает величину

, где

, с точностью до исчезающих (с уменьшением

) членов.
Смотрим после этого, как сдвинутся элементы жидкости в трубке

, которая есть теоретико-множественная разность трубок

и

. Если бы трубка

имела бы постоянное по площади сечение с каждой упомянутой плоскостью

, равное сечению на поверхности

, то жидкость в этой трубке переместилась бы вдоль линий тока на расстояние

такое, что

. Но сечение трубки

увеличивается по ходу течения жидкости. Следовательно, смещение

будет ещё меньше, и с точностью до исчезающих членов, получаем:

. Ясно, что неравенство сохранится и в пределе для смещения элемента жидкости вдоль линии тока

, когда

.
Разбивая объём

на достаточно большое количество трубок так, чтобы относительно каждой из них можно было бы сделать вывод, получаем неравенство для каждой такой трубки. Движение жидкости в одной трубке не будет мешать движению в другой. Кроме того, для порций жидкости расположенных дальше по трубке

, вне объёма

рассуждаем в точности так же как и для порций внутри такого объёма. Т.е. делаем замену

,

,

,

, как это уже было указано, и по индукции получаем требуемое.
Разбиения на всё более и более мелкие трубки и рассмотрение движения конечного числа порций даст некоторое

-ое приближение полного движения жидкости. В

-ом приближении объём жидкости будет сохраняться. Следовательно он будет сохранятся для всех достаточно больших

. В итоге, идеальное движение несжимаемой жидкости определимо как предел движений из конечного числа порций жидкости. Причём, это уже предоставляется проверить читателю, можно обеспечить бесконечную гладкость движения.