Хотя в принципе функция потока не требует использования определенной системы координат, для удобства в представленном здесь описании используется правая декартова система координат с координатами .
Вывод
Тестовая поверхность
Рассмотрим две точки и на плоскости и кривую , также на плоскости, которая их соединяет. Тогда каждая точка на кривой имеет координату . Пусть общая длина кривой будет .
Предположим, что лентообразная поверхность создана путем расширения кривой вверх до горизонтальной плоскости , где — толщина потока. Тогда поверхность имеет длину , ширину и площадь . Назовем это тестовой поверхностью .
где — параметр длины дуги, определенный на кривой , при этом в точке и в точке . Здесь — единичный вектор, перпендикулярный тестовой поверхности, т.е.
где — матрица вращения, соответствующая вращению против часовой стрелки вокруг положительной оси:
Подынтегральное выражение в выражении для не зависит от , поэтому внешний интеграл можно оценить так, чтобы получить
Классическое определение
Лэмб и Бэтчелор определяют функцию потока следующим образом. [3]
Используя выражение, полученное выше для полного объемного потока, это можно записать как
.
Проще говоря, функция потока — это объемный поток через исследуемую поверхность на единицу толщины, где толщина измеряется перпендикулярно плоскости потока.
Точка — это опорная точка, которая определяет, где функция потока тождественно равна нулю. Ее положение выбирается более или менее произвольно и, будучи однажды выбранным, обычно остается фиксированным.
Бесконечно малое смещение положения точки приводит к следующему изменению функции тока:
поэтому компоненты скорости потока по отношению к функции потока должны быть
Обратите внимание, что функция потока линейна по скорости. Следовательно, если два несжимаемых поля потока накладываются друг на друга, то функция потока результирующего поля потока является алгебраической суммой функций потока двух исходных полей.
Эффект смещения положения точки отсчета
Рассмотрим сдвиг положения опорной точки, скажем, с на . Обозначим функцию потока относительно смещенной опорной точки :
Тогда функция потока смещается на
что подразумевает следующее:
Смещение положения точки отсчета фактически добавляет константу (для стационарного потока) или функцию только времени (для нестационарного потока) к функции потока в каждой точке .
Сдвиг функции тока, , равен полному объемному потоку, на единицу толщины, через поверхность, которая простирается от точки до точки . Следовательно , тогда и только тогда, когда и лежат на одной линии тока.
С точки зрения вращения вектора
Скорость можно выразить через функцию тока как
где — матрица вращения, соответствующая вращению против часовой стрелки вокруг положительной оси. Решение приведенного выше уравнения для дает эквивалентную форму
Из этих форм сразу видно, что векторы и являются
перпендикуляр:
одинаковой длины: .
Кроме того, компактность формы вращения облегчает манипуляции (например, см. Условие существования).
В терминах векторного потенциала и поверхностей потока
Заметив , что и определив , можно выразить поле скорости как
Эта форма показывает, что уровенные поверхности и уровенные поверхности (т.е. горизонтальные плоскости) образуют систему ортогональных поверхностей потока .
Альтернативное (противоположное по знаку) определение
Рассмотрим двумерный плоский поток с двумя бесконечно близкими точками , лежащими в одной горизонтальной плоскости. Из исчисления соответствующая бесконечно малая разность между значениями функции потока в двух точках равна
Предположим, что принимает одно и то же значение, скажем , в двух точках и . Тогда это дает
подразумевая, что вектор нормален к поверхности . Поскольку везде (например, см. В терминах вращения вектора), каждая линия тока соответствует пересечению определенной поверхности потока и определенной горизонтальной плоскости. Следовательно, в трех измерениях однозначная идентификация любой определенной линии тока требует указания соответствующих значений как функции потока, так и высоты ( координаты).
Развитие здесь предполагает, что область пространства трехмерна. Концепция функции потока может быть также разработана в контексте области двумерного пространства. В этом случае множества уровня функции потока являются кривыми, а не поверхностями, а линии тока являются кривыми уровня функции потока. Следовательно, в двух измерениях однозначная идентификация любой конкретной линии тока требует указания только соответствующего значения функции потока.
Состояние существования
Легко показать, что для двумерного плоского потока выполняется уравнение вихревой дивергенции
где — матрица вращения, соответствующая вращению против часовой стрелки вокруг положительной оси. Это уравнение справедливо независимо от того, является ли поток несжимаемым.
Если поток несжимаем (т.е. ), то уравнение вихреобразования дает
.
Тогда по теореме Стокса линейный интеграл по каждому замкнутому контуру равен нулю.
Следовательно, линейный интеграл не зависит от пути. Наконец, по обратной теореме о градиенте существует скалярная функция, такая что
.
Здесь представлена функция потока.
Наоборот, если функция потока существует, то . Подстановка этого результата в уравнение вихревой дивергенции дает (т.е. поток несжимаем).
Подводя итог, можно сказать, что функция тока для двумерного плоского течения существует тогда и только тогда, когда течение несжимаемо.
Основные свойства двумерных функций потока можно обобщить следующим образом:
X- и y -компоненты скорости потока в данной точке определяются частными производными функции тока в этой точке.
Значение функции тока постоянно вдоль каждой линии тока (линии тока представляют собой траектории частиц в стационарном потоке). То есть в двух измерениях каждая линия тока представляет собой кривую уровня функции тока.
Разница между значениями функции потока в любых двух точках дает объемный поток через вертикальную поверхность, соединяющую две точки.
Двумерная функция тока для потоков с постоянной во времени плотностью
Если плотность жидкости неизменна во времени во всех точках потока, т. е.
^ Лагранж, Ж.-Л. (1868), «Mémoire sur la theorie du Mouvement des Fludes (в: Nouveaux Mémoires de l'Académie Royale des Sciences et Belles-Lettres de Berlin, год 1781)», Oevres de Lagrange, vol. Том IV, стр. 695–748.
^ Стокс, Г. Г. (1842), «Об устойчивом движении несжимаемых жидкостей», Труды Кембриджского философского общества , 7 : 439–453, Bibcode : 1848TCaPS...7..439S Перепечатано в: Stokes, GG (1880), Mathematical and Physical Papers, Volume I, Cambridge University Press, стр. 1–16
↑ Лэмб (1932, стр. 62–63) и Бэтчелор (1967, стр. 75–79)