- Предел и непрерывность вектор-функции.
- Понятие вектор-функции.
- Предел вектор-функции.
- Свойства пределов вектор-функций.
- Непрерывность вектор-функции.
- Производная и дифференциал вектор-функции.
- Производная вектор-функции.
- Дифференциал вектор-функции.
- Замена переменного.
- Теорема Лагранжа и локальная формула Тейлора для вектор-функции.
- Основные операции векторного анализа в криволинейных координатах
- В цилиндрических координатах или в сферических координатах
- Дивергенция в ортогональных координатах
- Содержание
- 2. Связь между дифференциалами в декартовой и криволинейной системах координат
- Список литературы
- Гауссовой кривизной поверхности в данной точке называется величина
- Дивергенция вектора имеет вид
- 🎥 Видео
Видео:Радиус векторСкачать
Предел и непрерывность вектор-функции.
Понятие вектор-функции.
Если каждому значению (tin E), где (Esubsetmathbb), поставлен в соответствие вектор (r(t)) трехмерного пространства, то говорят, что на множестве (E) задана векторная функция (r(t)) скалярного аргумента (t).
Пусть в пространстве фиксирована прямоугольная система координат (Oxyz). Тогда задание вектор-функции (r(t), tin E), означает задание координат (x(t), y(t), z(t)) вектора (r(t), tin E). Если (i,j,k) — единичные векторы координатных осей, то
$$
r(t)=x(t)i+y(t)j+z(t)k,qquad tin E,nonumber
$$
или
$$
r(t)=(x(t),y(t),z(t)).nonumber
$$
Если (z(t)=0) при всех (tin E), то вектор-функцию (r(t)) называют двумерной.
В случае, когда начало каждого из векторов (r(t)) совпадает с началом координат (рис. 21.1), эти векторы называют радиус-векторами, а множество их концов — годографом вектор-функции (r(t)), (tin E), который можно рассматривать как траекторию точки (M(t)) конца вектора (r(t)), если считать, что (t) — время.
Предел вектор-функции.
Вектор (a) называют пределом вектор-функции (r(t)) в точке (t_0) и пишут (displaystyle lim_<trightarrow t_>r(t)=a) или (r(t)rightarrow a) при (trightarrow t_0), если
$$
lim_<trightarrow t_> |r(t)-a|=0,label
$$
то есть длина вектора (r(t)-a) стремится к нулю при (trightarrow t_0).
Рис. 20.1
Если заданы (r(t)=(x(t),y(t),z(t))) и (a=(a_,a_,a_)), то
$$
lim_<trightarrow t_>r(t)=alabel
$$
тогда и только тогда, когда
$$
x(t)rightarrow a_1, y(t)rightarrow a_2, z(t)rightarrow a_3quad при trightarrow t_0.label
$$
Поэтому, если (r(t)rightarrow a) при (trightarrow t_0), то есть выполняется условие eqref, то выполняется условие eqref.
Обратно: если выполняются условия eqref, то из равенства eqref следует, что выполнено условие eqref. (bullet)
При доказательстве свойств предела вектор-функции удобно использовать следующее очевидное утверждение: условие eqref выполняется в том и только том случае, когда
$$
r(t)=a+alpha(t),nonumber
$$
где (alpha(t)) — бесконечно малая вектор-функция, то есть
$$
alpha(t)rightarrow 0quad mbox trightarrow t_.nonumber
$$
Свойства пределов вектор-функций.
(circ) Это свойство следует из неравенства
$$
||r(t)|-|a|| leq |r(t)-a|.qquad bulletnonumber
$$
Если (r(t)rightarrow a) при (trightarrow t_), а скалярная функция (f(t)) такова, что (f(t)rightarrow A) при (trightarrow t_), то (f(t)r(t)rightarrow Aa) при (trightarrow t_), то есть
$$
lim_f(t)r(t)=lim_<trightarrow t_>f(t)lim_r(t).label
$$
(circ) Из определений пределов скалярной функции и вектор-функции следует, что (r(t)=a+alpha(t), f(t)=A+beta(t)), где (alpha(t)) — бесконечно малая вектор-функция, (beta(t)) — бесконечно малая функция при (trightarrow t_0). Поэтому (f(t)r(t)=Aa+gamma(t)), где (gamma(t)=Aalpha(t)+beta(t)a+beta(t)alpha(t)) — бесконечно малая вектор-функция при (trightarrow t_0), откуда получаем равенство eqref. (bullet)
(circ) По условию (r_(t)=a_+alpha_), где (a_i(t)rightarrow 0) при (trightarrow t_ (i=1,2)). Поэтому (r_1(t)+r_2(t)=a_1+a_2+beta(t)), где (beta(t)=alpha_(t)+alpha_2(t)rightarrow 0) при (trightarrow t_), откуда следует eqref. Докажем формулу eqref. В силу свойств скалярного произведения
$$
(r_(t),r_2(t))-(a_1,a_2)=(alpha_(t),a_)+(alpha_(t),a_1)+(alpha_1(t),alpha_2(t)),nonumber
$$
причем в правой части этого равенства — бесконечно малая функция, так как (alpha_(t),alpha_(t)) — бесконечно малые вектор-функции и (|(p,q)| leq |p|cdot|q|) для любых векторов (p) и (q).
Аналогично доказывается формула eqref, в этом случае следует воспользоваться неравенством (|[p,q]| leq |p|cdot|q|). (bullet)
Непрерывность вектор-функции.
Вектор-функцию (r(t)) называют непрерывной при (t=t_), если
$$
lim_<trightarrow t_>r(t)=r(t_0).label
$$
Непрерывность вектор-функции (r(t)=(x(t),y(t),z(t))) при (t=t_) в силу эквивалентности условий eqref и eqref означает, что ее координаты (x(t),y(t),z(t)) непрерывны в точке (t_).
Назовем вектор-функцию (Delta r=r((t_0+Delta t)-r(t_0)) приращением вектор-функции (r(t)) в точке (t_). Тогда условие eqref означает, что
$$
Delta rrightarrow 0quad приquad Delta trightarrow 0.label
$$
Из определения непрерывности вектор-функции и свойств пределов векторных функций следует, что сумма, векторное и скалярное произведения вектор-функций (r_1(t)) и (r_2(t)) являются непрерывными функциями при (t=t_), если вектор-функции (r_1(t)) и (r_2(t)) непрерывны в точке (t_).
Видео:Дифференциал функцииСкачать
Производная и дифференциал вектор-функции.
Производная вектор-функции.
Если существует (displaystyle lim_frac) где (Delta r=r(t_0+Delta t)-r(t_0)), то этот предел называют производной вектор-функции (r(t)) в точке (t_0) и обозначают (r'(t_0)) или (dot(t_0)).
Таким образом,
$$
r'(t_)=lim_frac<r(t_+Delta t)-r(t_)>.label
$$
Аналогично вводится понятие второй производной
$$
r″(t_)=lim_frac<r'(t_+Delta t)-r'(t_)>nonumber
$$
и производной порядка (n > 2) вектор-функции. Заметим, что если (r(t)=(x(t),y(t),z(t))), то
$$
r'(t_)=(x'(t_0),y'(t_0),z'(t_0))label
$$
Утверждение eqref следует из определения eqref и свойств пределов вектор-функций.
Аналогично, если существует (r″(t_)), то
$$
r″(t_)=(x″(t_0),y″(t_0),z″(t_0)).nonumber
$$
Из определения производной следует, что (Delta r=r'(t_0)Delta t+alpha(Delta t)Delta t), где (alpha(Delta t)rightarrow 0) при (Delta trightarrow 0), и потому (Delta rrightarrow 0) при (Delta trightarrow 0). Таким образом, выполняется условие eqref, то есть вектор-функция (r(t)), имеющая производную в точке (t_), непрерывна при (t=t_).
(circ) Формулы eqref-eqref справедливы в точке (t), если в этой точке соответствующие функции имеют производные. Ограничимся доказательством формулы eqref. Пусть (Delta r_) — приращение вектор-функции (r_k(t)), соответствующее приращению аргумента (Delta t), то есть (Delta r_k=r_k(t+Delta t)-r_k(t), k=1,2). Тогда, используя свойства скалярного произведения и свойства пределов вектор-функций, получаем
$$
begin
(r_,r_)’=displaystylelim_frac<(r_(t+Delta t),r_(t+Delta t))-(r_(t),r_(t))>=\
=lim_left[left(r_(t),frac<Delta r_(t)>right)+left(frac<Delta r_(t)>,r_2(t)right)+left(frac<Delta r_(t)>,Delta r_2(t)right)right]=\
=(r_1,r_2′)+(r_1′,r_2),
endnonumber
$$
так как (displaystyle frac<triangle mathrm_>rightarrow r_‘(t)) при (Delta trightarrow 0 (i=1,2)) и (Delta r_2rightarrow 0) при (Delta trightarrow 0). (bullet)
Пусть существует (r'(t)) для всех (tin(alpha,beta)) и пусть (|r(t)|=C=const) для всех (tin(alpha,beta)).
Доказать, что ((r(t),r'(t))=0), то есть векторы (r(t)) и (r'(t)) ортогональны.
(triangle) Используя формулу (|r(t)|^2=(r(t),r(t))), правило дифференцирования скалярного произведения (формула eqref) и условие (|r(t)|=C), получаем ((r(t),r(t))’=2(r'(t),r(t))=0), так как (|r(t)|^)’=(C^)’=0). Итак,
$$
|r(t)|=CRightarrow (r(t),r'(t))=0.quadblacktrianglenonumber
$$
Дифференциал вектор-функции.
Вектор-функцию (r(t)), определенную в некоторой окрестности точки (t_), называют дифференцируемой при (t=t_), если ее приращение (Delta r=r(t_+Delta t)-r(t_)) в точке (t_) представляется в виде
$$
Delta r=aDelta t+Delta talpha(Delta t),label
$$
где вектор (a) не зависит от (Delta t), (alpha(Delta t)rightarrow 0) при (Delta trightarrow 0).
Полагая (dt=Delta t), запишем равенство eqref в виде
$$
dr=r’dt,nonumber
$$
где опущено обозначение аргумента функции (r’). Отсюда получаем
$$
r’=frac
$$
Замена переменного.
Если функция (t=t(s)) дифференцируема при (s=s_, t(s_)=t_), а вектор-функция (r(t)) дифференцируема в точке (t_), то вектор-функция (rho(s)=r(t(s))) дифференцируема в точке (s_), а производная этой функции выражается формулой
$$
rho’ (s_0)=r_s'(t(s_0))=r_'(t_)t_‘(s_),label
$$
где индекс указывает, по какому переменному производится дифференцирование.
(circ) Функция (alpha(Delta(t))) в формуле eqref не определена при (Delta t=0). Доопределим ее при (Delta t=0), полагая (alpha(0)=0).
Так как (t=t(s)) — функция, дифференцируемая при (s=s_0), то (Delta t=t(s_+Delta s)-t(s_)rightarrow 0) при (Delta srightarrow 0). Разделив обе части равенства eqref на (Delta sneq 0), получим
$$
frac=r'(t_0)frac+alpha(Delta t)frac.label
$$
Правая часть eqref имеет при (Delta srightarrow 0) предел, равный (r'(t_0)t'(s_0)), так как (Delta trightarrow 0) при (Delta srightarrow 0) и (alpha(Delta t)rightarrow 0) при (Delta trightarrow 0). Следовательно, существует предел в левом части eqref, и справедливо равенство eqref. Формулу eqref запишем кратко в виде равенства
$$
r_’=r_’t_’,label
$$
выражающего правило дифференцирования вектор-функции при замене переменного. (bullet)
Видео:Радиус-векторыСкачать
Теорема Лагранжа и локальная формула Тейлора для вектор-функции.
Формула Лагранжа, то есть формула
$$
r(beta)-r(alpha)=r'(xi)(beta-alpha),quad xiin(alpha,beta),label
$$
для вектор-функции, вообще говоря, неверна.
(circ) В самом деле, пусть формула eqref верна, и пусть (r(t)=(cos t,sin t)), тогда (r'(t)=(-sin t,cos t), |r'(t)|=1). Полагая (alpha=0,beta=2pi), получим из равенства eqref (0=r(2pi)-r(0)=r'(xi)2pi), что невозможно, так как (|r'(xi)|=1). (bullet)
Если вектор-функция (r(t)) непрерывна на отрезке ([alpha,beta]) и дифференцируема на интервале ((alpha,beta)), то
$$
existsxiin(alpha,beta): |r(beta)-r(alpha)|leq|r'(xi)|(beta-alpha).label
$$
(circ) Рассмотрим скалярную функцию
$$
varphi(t)=(r(beta)-r(alpha),r(t)).nonumber
$$
эта функция непрерывна на отрезке ([alpha,beta]), так как вектор-функция (r(t)) непрерывна на этом отрезке. Кроме этого, функция (varphi(t)) дифференцируема на интервале ((alpha,beta)), так как функция (r(t)) дифференцируема этом интервале, причем в силу правила дифференцирования скалярного произведения
$$
varphi'(t)=(r(beta)-r(alpha),r'(t)).nonumber
$$
По теореме Лагранжа
$$
existsxiin(alpha,beta): varphi(beta)-varphi(alpha)=varphi'(xi)(beta-alpha)label
$$
Преобразуем левую часть неравенства eqref:
$$
begin
varphi(beta)-varphi(alpha)=(r(beta)-r(alpha),r(beta))-(r(beta)-r(alpha),r(alpha))=\
=(r(beta)-r(alpha),r(beta)-r(alpha))=|r(beta)-r(alpha)|^2
endnonumber
$$
Тогда равенство eqref примет вид
$$
|r(beta)-r(alpha)|^=(r(beta)-r(alpha),r'(xi))(beta-alpha).label
$$
Если (r(beta)=r(alpha)), то неравенство eqref справедливо при любом (xiin in(alpha,beta)). Если (r(beta)neq r(alpha)), то (|r(beta)-r(alpha)| > 0). Тогда, используя неравенство (|(a,b)|leq|a|cdot|b|), из формулы eqref получим
$$
|r(beta)-r(alpha)|^leq|r(beta)-r(alpha)|cdot |r'(xi)|(beta-alpha),nonumber
$$
откуда, разделив обе части неравенства на (|r(beta)-r(alpha)| > 0), получим неравенство eqref. (bullet)
Для вектор-функции (r(t)) справедлива локальная формула Тейлора
$$
r(t)=sum_^frac<r^(t_)>(t-t_)^+varepsilon(t-t_),label
$$
где (varepsilon(t-t_0)=o((t-t_)^)) — вектор-функция такая, что (varepsilon(t-t_0)=(t-t_)^varepsilon_(t-t_)), где (varepsilon_(t-t_)rightarrow 0) при (trightarrow t_).Эта формула справедлива в предположении, что существует (r^(t_0)). Для доказательства формулы eqref достаточно воспользоваться локальной формулой Тейлора для компонент вектор-функции (r(t)).
Видео:✓Дифференцируемая функция. Дифференциал | матан #032 | Борис ТрушинСкачать
Основные операции векторного анализа в криволинейных координатах
Содержание:
По этой ссылке вы найдёте полный курс лекций по математике:
Дифференциальные уравнения векторных линий Рассмотрим поле вектора Уравнения векторных линий в криволинейных координатах q, q2i g3 имеют вид В цилиндрических координатах в сферических координатах 14.2. Градиент в ортогональных координатах Пусть скалярное поле. Тогда Основные операции векторного анализа в криволинейных координатах Дифференциальные уравнения векторных линий радиент в ортогональных координатах Ротор в ортогональных координатах Дивергенция в ортогональных координатах.
Вычисление потенциала в криволинейных координатах Линейный интеграл и циркуляция в ортогональных криволинейных координатах Оператор Лапласа в ортогональных координатах В цилиндрических координатах в сферических координатах 14.3. Ротор в ортогональных координатах Рассмотрим векгорное поле и вычислим rot а. Имеем В цилиндрических координатах в сферических координатах 14.4. Дивергенция в ортогональных координатах Дивергенция div а векторного поля вычисляется по формуле.
В цилиндрических координатах или в сферических координатах
Применяя формулу (7) к единичным векторам получим Вычисление потока в криволинейных координатах Пусть S — часть координатной поверхности , ограниченная координатными линиями Тогда поток вектора через поверхность 5 в направлении вектора ei вычисляется по формуле Аналогично вычисляется поток через часть поверхности д2 = с, а также через часть поверхности д3 = с, где с = const. Пример I.
Найти поток П векторного поля через внешнюю сторону верхней полусферы 5 радиуса R с центром в начале координат. Ч Полусфера S есть часть юординатной поверхности г = const, а именно г = R. На полусфере 5 имеем , причем Учитывая, что в сферических коорои патах по формуле (8) найдем 14.6. Вычисление потенциала в криволинейных координатах Пусть в некоторой области О задано потенциальное векторное поле в области Для нахождения потенциала ) этого векторного поля запишем равенство в следующем виде:
Отсюда следует, что Интегрируя систему дифференциальных уравнений с частными производными (9), найдем искомый потенциал произвольная постоянная. В цилиндрических координатах система (9) принимает вид В сферических координатах система (9) имеет вид Пример 2. Найти потенциал векторного поля, заданного в цилиндрических координа тех Убедимся, что По формуле (5) л о лучим данное поле потенциально.
Искомый потенциал и = и(р, у, г) является решением следующей системы дифференциальных уравнений с частными производными (см. формулу (10)): Интегрированием по р из первого уравнения находим Дифференцируя соотношение (11) no р и используя второе уравнение, получим или откуда . Таким образом.
Возможно вам будут полезны данные страницы:
Дифференцируя это соотношение no z и используя тре тье уравнение, получим Линейный интеграл и циркуляция в ортогональных криволинейных координатах Пусть векторное поле определено и непрерывно в области Q изменения ортогональных криволинейных координат 4i, 42, 4з • Так как дифференциал радиус-вектора г любой точки M(qb 42, 43) G П выражается формулой то криволинейный интеграл вектора а(М) по ориентированной гладкой или кусочно-гладкой кривой L СП будет равен В частности, для цилиндрических координат ) будем иметь.
Отсюда по формуле (13) получим Аналогично для сферических координат будем иметь Отсюда по формуле (13) получим Основные операции векторного анализа в криволинейных координатах Дифференциальные уравнения векторных линий радиент в ортогональных координатах Ротор в ортогональных координатах Дивергенция в ортогональных координатах.
Вычисление потенциала в криволинейных координатах Линейный интеграл и циркуляция в ортогональных криволинейных координатах.
Оператор Лапласа в ортогональных координатах Если кривая L замкнута (начальная и конечная точки кривой L совпадают), то циркуляция Ц векторного поля а(М) в криволинейных координатах 4,, q2, 43 вычисляется по формуле (13), а в случае цилиндрических или сферических координат — по формулам (14) или (15) соответственно. Пример 3. Вычислить циркуляцию векторного поля, заданного в цилиндрических координатах по замкнутой кривой L, Координаты данного вектора равны соответственно Контур L представляет собой замкнутую кривую, расположенную в плоскости z = 0 (рис. 43).
Подставляя координаты данного вектора в формулу.(14), получим На кривой L имеем . Искомая циркуляция будет равна 14.8. Оператор Лапласа в ортогональных координатах Если скалярная функция, то Используя формулы (16) и (17), для оператора Лапласа Д получим следующее выражение В цилиндрических координатах получим В сферических координатах будем иметь Пример 4. Найти все решения уравнения Лапласа Аи = 0, зависящие только от расстояния г.
Так как искомое решение и должно зависеть только от расстояния точки М от начала координат г, т., то уравнение Лапласа Ди = 0 в сферических координатах будет иметь вид Отсюда так что где постоянные. Упражнения Найдите производную скалярного поля в точке по направлению кточке Найдите производную скалярного поля и(х, у, z) в точке Л#о(хо, Уо» *о) по направлению нормали к поверхности S, образующей острый угол с положительным направлением оси О г: 6.
Найдите производную скалярного поля в точке эллипса + = 1 по направлению внешней нормали к эллипсу в этой точке. 7. Найдите производную скалярного поля в точке по направлению окружности 8. Найдигеугол между градиентами функции и = arctg | в точках 9. Найдите производную плоского поля и вточке понаправле-нию, задаваемому вектором, лежащим в плоскости хОу и наклоненным под углом | коси Ох. Найдите векторные линии следующих векторных полей: 13.
Найдите векторную линию поля а , проходящую |
через точку 14. Найдите векгорную линию поля а, проходящую через точку М(3,4, -1). 15. Вычислите поток векторного поля через верхнюю сторону круга, вырезаемого конусом х2 4- у2 = г2 из плоскости 16. Вычислите поток векторного поля к через треугольник ABC с вершинами в точках (нормаль образует с осью Oz острый угол). 17. Вычислите поток векторного поля а = xi + zk через боковую поверхность кругового цилиндра , ограниченную плоскостями z 18.
Вычислите поток векторного поля а = yzi — xj — yk через полную поверхность конуса х2 + у2 = z2, ограниченную плоскостью z Методом введения криволинейных координат на поверхности вычислите поток заданного векгора а через заданную поверхность S: 19. — внешняя сторона цилиндрической поверхности х2 + у2 = 9, ограниченной сферой Основные операции векторного анализа в криволинейных координатах Дифференциальные уравнения векторных линий радиент в ортогональных координатах Ротор в ортогональных координатах.
Дивергенция в ортогональных координатах
Вычисление потенциала в криволинейных координатах Линейный интеграл и циркуляция в ортогональных криволинейных координатах Оператор Лапласа в ортогональных координатах 20. — внешняя сторона части сферы , вырезанная конической поверхностью Вычислите поток векгорного поля а через замкнутую поверхность S (нормаль внешняя). Проверьте результат с помощью формулы Гаусса—Остроградского:
Достраивая подходящим образом заданные незамкнутые поверхности до замкнутых и пользуясь теоремой Гаусса—Остроградского, вычислите потоки векторных полей через указанные поверхности (к замкнутой поверхности берем внешнюю нормаль): Найдите работу силы F при перемещении вдольлинии L от точки М к точке N: Найдите циркуляцию векторного поля а вдоль замкнутого контура L (в направлении, соответствующем возрастанию параметра Вычислите циркуляцию векторного поля а по замкнутому контуру L.
Проверьте результат при помощи формулы Стокса: — линия пересечения плоскости с координатными плоскостями 38. Найдите дивергенцию векторного пол я а = (с, г), где с — постоянный вектор, . 39. При какой функции ip(z) дивергенция векгорного поля а =)k будет равна z? 40. Найдите , где г = 41. Найдите функцию tf>(r), для которой выполняется равенство 42. Какова должна быть функция /(х, z), чтобы ротор векгорного поля совпал с вектором Найдите ротор следующих векторов: Докажите, что следующие векторные поля являются потенциальными, и найдите их потенциалы: Ответы
Присылайте задания в любое время дня и ночи в ➔
Официальный сайт Брильёновой Натальи Валерьевны преподавателя кафедры информатики и электроники Екатеринбургского государственного института.
Все авторские права на размещённые материалы сохранены за правообладателями этих материалов. Любое коммерческое и/или иное использование кроме предварительного ознакомления материалов сайта natalibrilenova.ru запрещено. Публикация и распространение размещённых материалов не преследует за собой коммерческой и/или любой другой выгоды.
Сайт предназначен для облегчения образовательного путешествия студентам очникам и заочникам по вопросам обучения . Наталья Брильёнова не предлагает и не оказывает товары и услуги.
Видео:2.4. Радиус-вектор и вектор перемещенияСкачать
Содержание
2. Связь между дифференциалами в декартовой и криволинейной системах координат
Список литературы
Введение
Наблюдая длительный период развития математики, можно заметить, что диалектически происходит периодическая смена двух основных взглядов на восприятие и описание закономерностей окружающей действительности. В одни эпохи идет алгебраизация с ее формализацией и логическим структурированием языка, торжествуют аксиоматические подходы, иногда в ущерб наглядности и даже возможным приложениям. В другие эпохи главенствует геометризация с ее стремлением к интуитивной наглядности, визуализации, к «картинкам», иногда в ущерб даже формальной строгости доказательств. Психологи утверждают, что и индивидуумы делятся на «левополушарных» и «правополушарных», одни из них тяготеют к счету, к абстракции, другие — к наглядности, к геометрии, к моделям.
Сейчас, как нам кажется, имеется тенденция к очередной геометризации, модельности и, следовательно, к воспитанию навыков образного мышления. Мы обращали уже внимание в наших методических указаниях [5] на то, что эта задача становится особенно актуальной в связи с возрастающим количеством нелинейных задач,возникающих в современной физике и технике, решения которых приводят к сложным визуализациям результатов численных расчетов и экспериментов. Мыслительные процессы человека, такие как инженерное проектирование, научно-теоретическое изучение явлений и их связей, оперируют образами, визуальными формами.
Обучение методам образного мышления является большой и серьезной задачей. В данном пособии делается очередной шаг в этом направлении. Учебников и монографий по геометрии много, и неисчислимо много всевозможных методических пособий по тем или иным частным вопросам. Чем же предлагаемые вниманию читателя методические указания отличаются от остальных?
Один из соавторов из личных пристрастий время от времени вкрапляет в читаемый им на физическом факультете курс математического анализа элементы дифференциальной геометрии; другой соавтор в свое время, будучи студентом, активно воспринял эти «вкрапления»; третий, которому удалось продвинуть недавно некоторые трудные вопросы нелинейной физики, поставил второму задачу о большом изгибе мембраны, которую они решали, опираясь на аппарат дифференциальной геометрии, а результат этой работы вышел, по сути, за рамки классической теории. Сама работа получила медаль Российской академии наук на конкурсе научных работ студентов вузов за 1998 год.
Таким образом, дифференциальная геометрия является типичным рабочим инструментом в некоторых актуальных областях современной нелинейной физики и механики. Мы надеемся, что это пособие будет помогать в работе физикам и механикам, как инженерам, так и теоретикам.
Эта работа подготовлена аспирантом (К.Г. Охоткиным) и преподавателями (В.А. Степаненко и Ю.В. Захаровым) и является одним из результатов сотрудничества в рамках Межвузовского инженерно-физического отделения.
Мы благодарны всем, помогавшим изданию работы.
1. Определение поверхности
Любой однозначной функции двух переменных w = f ( x , y ) можно поставить во взаимнооднозначное соответствие поверхность (ее график), погруженную в обычное евклидово пространство R 3 , с декартовыми координатами x , y , w . Соответственно в цилиндрических координатах r , φ , w поверхность будет описываться функцией w = f(r, φ) (рис. 1). Такой способ задания поверхности называют явным.
Рис. 1. График поверхности в декартовых координатах
На поверхности можно вводить криволинейную сетку поверхностных координат. Например, lx , ly – поверхностные криволинейные координаты, которые получаются в результате сечения поверхности семейством вертикальных плоскостей wox и woy ( рис. 1 ) . Соответственно в цилиндрических координатах можно ввести криволинейные координаты l r , l φ , где l r – криволинейный радиус, получаемый с помощью сечения поверхности плоскостью wor , а lφ = r φ – дуга окружности. Задаваемые таким образом на поверхности криволинейные координаты являются в общем случае косоугольными (углы между координатными линиями на поверхности не всегда прямые, как в случае ортогональных координат).
2. Связь между дифференциалами в декартовой и криволинейной системах координат
Введем угол наклона касательной θx к кривой, получаемой сечением поверхности w = f(x, y) вертикальной плоскостью wo x , в текущей точке x (рис. 2). Аналогично вводятся углы θ y и θ r для цилиндрической системы координат.
Рис. 2. Сечение wo x поверхности w = f ( x , y )
Напишем основные выражения, связывающие дифференциалы в декартовой системе координат dx, dy и в криволинейной системе координат dlx, dly. Имеем в сечениях wo x (рис. 2)
, , (1)
, , ; (2)
для сечений wo y : , , .
Соответствующие формулы верныив цилиндрических координатах для сечения wo r . Можно также сказать, что формулы (2) задают неявно связь между декартовыми переменными и криволинейными длинами на поверхности, в общем случае x ( lx , ly ), y ( lx , ly ), z ( lx , ly , θx , θy ).
3. Элемент поверхности. Замена переменных
А. Изменение при переходе из одной системы координат (x, y) в другую (u, v) элемента площади dS0 в двумерном случае
Рассмотрим малый элемент площади dS0 в плоскости (x, y) (рис. 3).
.
Его дифференциал в произвольном направлении l
.
Площадь малого элемента dS0 построим как модуль векторного произведения двух векторов:
,
где J – определитель матрицы якобиана перехода. Т.е. dS 0 = dxdy = Jdudv . В современной дифференциальной геометрии переход осуществляется введением дифференциальной формы ω = dS0 = dx ^ dy = J du ^ dv, где ^ — внешнее произведение. (См., например, [1], [2] ). Приведем пример для полярной системы координат:
Б. Замена системы координат для элементарной площадки на поверхности
Необходимость выражения дифференциала площади элемента поверхности в различных криволинейных координатах возникает, прежде всего, в процессе вычисления поверхностных интегралов, при переходе к двойному интегралу. Введем обозначения: dS – поверхностный элемент площади (рис. 4), dS 0 – площадь элемента, лежащего в плоскости xoy , или проекция на эту плоскость dS, т.е. dS0 = d S cosγ , где , – вектор нормали. Криволинейные ортогональные координаты на поверхности — u , v . Поверхность задана явно, w = f(x, y). Радиус-вектор текущей точки — имеет компоненты:
Это задание поверхности в параметрической форме. Построим математическую модель площади с помощью векторного произведения дифференциалов радиус-вектора, аналогично пункту А:
. (3)
Выражение называется детерминантом первой квадратичной формы, см. следующий пункт, (6). В частном случае, когда в качестве криволинейных координат выбираются собственно декартовые координаты, имеем
.
Пример : элемент площади в цилиндрических координатах и при осевой симметрии,
когда w = f ( r ) и d / d φ = 0, имеет вид:
. (4)
4. Исследование поверхности с помощью аппарата квадратичных форм
А. Первая квадратичная форма I
В каждой точке поверхности можно ввести квадратичную форму
, (5)
где (ξ, η) – криволинейные поверхностные координаты.
Общеприняты следующие обозначения для коэффициентов формы:
Поясним геометрический смысл первой формы. Пусть – радиус-вектор. Его дифференциал
, (7)
, (8)
где dl – элемент дуги поверхности в произвольном направлении l. Таким образом, первая квадратичная форма определяет квадрат dl. Определим коэффициенты формы, подставив (7) в (8):
,
, (9)
.
Если χ — угол между касательными векторами (между координатными линиями на поверхности в текущей точке), то . Для ортогональных координат на поверхности χ = π/2, a12 = 0.
Введем обозначение для детерминанта квадратичной формы
. (10 )
Рассмотрим рис. 5. В текущей точке M построим касательные векторы и . Плоскость L, проведенная через них, является касательной плоскостью к поверхности в точке М. Линия, перпендикулярная к плоскости и проведенная через точку М, является нормалью в текущей точке к поверхности. Ее направление определяется векторным произведением касательных векторов. Единичный вектор нормали находим из следующего выражения:
. (11 )
Рис. 5. Координатные векторы в точке М
Таким образом, первая квадратичная форма описывает поверхность в первом приближении, когда малый участок поверхности заменяется на участок касательной плоскости. Первая квадратичная форма определяет углы между линиями и длины дуг на поверхности, а также площади любых участков поверхности (см. (3) ). Малый элемент площади поверхности
, (12 )
где — криволинейные дифференциалы на поверхности, получаемые по формулам типа (1), (2) .
Б. Вторая квадратичная форма II
Вторая квадратичная форма описывает поверхность во втором приближении. Она показывает, как отклоняется поверхность от касательной плоскости, и полностью определяет кривизну поверхности.
. (13 )
Коэффициенты формы определяются следующими выражениями:
,
, (14 )
.
В. Исследование кривизны поверхности
Для двумерного случая скалярной кривизной кривой, лежащей в плоскости, называется величина
, (15 )
взятая в текущей точке кривой.
Здесь все векторы лежат в одной плоскости. В литературе часто встречаются определения кривизны (15) с разными знаками, которые можно трактовать различно, в зависимости от конкретной задачи. Общий физический смысл: кривизна кривой линии пропорциональна моменту сил, изгибающих ее.
Для пространственного случая нормальной кривизной линии l , получаемой нормальным сечением поверхности, называется величина
, (16 )
взятая в текущей точке линии. Если вертикальное и нормальное сечения совпадают, то совпадают и величины кривизн (15) и (16). Кривизна κ в произвольном наклонном сечении определяется из (16) по теореме Менье: , где γ – угол между этим наклонным и нормальным сечениями.
Выберем в качестве параметра, определяющего положение точки на кривой, длину дуги. Тогда криволинейные координаты точки будут функциями длины дуги l: ξ(l), η(l). Выражение (7) перейдет в
. (17 )
Векторы и перпендикулярны нормали , (см. рис. 5 ). Имеем из (16)
,
. (18 )
Найдем из (18) нормальные кривизны координатных линий:
1) η = Const, dη = 0, ;
2) ξ = Const, dξ = 0, . (19 )
Параметр b12/ w определяет кручение поверхности. Проследим за изменением κn при повороте сечения вокруг нормали к поверхности. Для гладких поверхностей кривизна будет плавно периодически изменяться от минимального до максимального значения. Найдем их. Перепишем выражение (18) в виде
.
Раскрывая скобки и перегруппировывая члены выражения, имеем
.
Получили квадратичную форму
.
Необходимым и достаточным условием существования нетривиального решения по теореме Крамера является равенство нулю определителя этой матрицы. Имеем квадратное уравнение для кривизны
.
Отсюда находим два экстремальных значения κn, которые называются главными кривизнами поверхности в данной точке. Соответствующие им направления (для отношения dξ:dη) называются главными. Главные направления взаимно перпендикулярны.
Проведем линии на поверхности таким образом, чтобы в каждой точке касательные к ним шли вдоль главных направлений. Такие кривые называются линиями кривизны; их удобно выбирать в качестве координатных кривых. Если поверхностная координатная сеть (ξ, η) совпадает с линиями кривизны поверхности, то главные кривизны совпадают с (19) . Если коэффициент первой формы a12 = 0, то это сеть ортогональных криволинейных координат (для них c = p /2); если b12 = 0, то сеть называется сопряженной.
По свойству решений квадратного уравнения имеем для произведения и полусуммы главных кривизн выражения
, .
Гауссовой кривизной поверхности в данной точке называется величина
. (20 )
Средней кривизной поверхности в данной точке называется величина
. (21)
5. Метрический тензор
Пусть дана обычная (лабораторная) система координат x ( x 1 , x 2 , …, x n ). Сделаем переход в произвольную криволинейную (не обязательно ортогональную) систему координат y (y 1 , y 2 , …, y n ). Радиус-вектор и матрица Якоби будет задаваться следующим образом (здесь пишем верхние индексы – используем контравариантные координаты):
, . (22)
В этой матрице столбцы являются компонентами касательных векторов к координатным линиям y 1 , y 2 , …, y n . Если их нормировать, то получим набор базисных векторов в пространстве x .
Метрический тензор в базисе имеет вид
. (2 3)
Символы Кристоффеля (коэффициенты связности)
Введем тензорные обозначения касательных векторов и их производных:
, .
Векторы производных разложим по базисным векторам:
, (24 )
где коэффициенты разложения — некоторые функции координат, вид которых зависит от выбора системы координат; в декартовой системе все . Отсюда видно, что величины не образуют тензора, так как тензор, равный нулю в одной системе координат, равен нулю и во всякой другой. В данной метрике символы Кристоффеля вычисляются по формулам
, (2 5)
доказательство которых приведем ниже.
Найдем, как преобразуется производная от произвольной вектор-функции ∂A i / ∂y j при переходе от декартовых к криволинейным координатам. Для того чтобы получить дифференциал вектора, необходимо, чтобы оба вектора находились в одной точке пространства. Но в криволинейных координатах разность компонент векторов после параллельного переноса их в одну точку не совпадает с их разностью до переноса (т.е. с дифференциалом dA i ). Изменение компонент вектора при бесконечно малом параллельном переносе зависит линейно от самих компонент. Таким образом, запишем точные производные в криволинейных координатах, так называемые ковариантные производные (которые являются тензорами)
, , , (26 )
соответственно от контравариантного и ковариантного векторов и тензора. В декартовой метрике они, очевидно, совпадают с обычными производными.
Линия пространства y i = y i ( t ) называется геодезической, если ее вектор скорости A i = dy i / dt параллелен вдоль нее самой, т.е. его ковариантная производная равна нулю.
Уравнение геодезических линий
.
Если все символы Кристоффеля равны нулю, то решениями этого уравнения являются обычные прямые. Таким образом, геодезические линии являются аналогом прямых для случая произвольной кривизны пространства.
Тензор кривизны Римана
Если дважды ковариантно продифференцировать вектор A i , то результат зависит, вообще говоря, от порядка дифференцирования, в противоположность от обычных производных. Запишем эту разность
,
где — тензор 4-го ранга:
, (27 )
, где . (2 8)
Этот тензор называется тензором кривизны Римана данной метрики. Свойства тензора для симметричных связностей:
, .
Из тензора Римана можно путем упрощения построить тензор второго ранга — тензор Риччи, являющийся следом тензора Римана
. ( 29)
Свернув метрикой тензор Риччи, получим инвариант — след тензора Риччи
, (3 0)
называемый скалярной кривизной данного пространства. Гауссова кривизна, определенная в (19), связана со скалярной следующим образом: 2 K = R .
Тензором кручения пространства называется выражение
. (3 1)
Если связность является симметричной, то тензор кручения равен нулю. Поясним геометрический смысл тензора кручения на рис. 6. Рассмотрим поверхность S . В точке А к S построим касательную плоскость p . Выберем произвольный бесконечно малый квадрат ABCD на плоскости p с вершиной в А. Из точки А по поверхности S выпустим геодезическую в направлении вектора AB . Пройдя по ней расстояние, соответствующее параметру, равному длине AB , попадем в точку B ‘ . Аналогично из А по S выпустим геодезическую в направлении AD , попадем в D ‘ . Совершим параллельный перенос вектора AD в точку B ‘ вдоль геодезической AB ‘ и выпустим геодезическую из B ‘ вдоль перенесенного вектора, попадем в точку С’. Аналогично вектор AB перенесем параллельно вдоль AD ‘ и вдоль перенесенного вектора из D ‘ выпустим геодезическую, попадем в C » . Если кручение нулевое, то C ‘ = C », и геодезический квадрат с точностью до малых более высокого порядка замкнется, в противном случае нет.
Скалярным произведением двух произвольных векторов
,
в метрике gij будет следующая билинейная форма:
.
Для частного случая евклидова пространства метрический тензор — единичная матрица, и скалярное произведение принимает обычный вид
.
Если взять скалярное произведение двух одинаковых векторов, то получим положительно определенную квадратичную форму
,
следовательно, det g > 0.
Видео:22. Дифференциал функции и его геометрический смыслСкачать
Дивергенция вектора имеет вид
.
Градиент функции f имеет вид
.
Оператор Лапласа в произвольных криволинейных координатах:
В ортогональных криволинейных координатах матрица метрического тензора имеет диагональный вид
,
где положительные функции Hi — коэффициенты Ламе системы координат и . Они соответствуют корням из коэффициентов первой квадратичной формы a 11 и a 22 в теории поверхностей.
Оператор Лапласа в евклидовом пространстве R 3 , в декартовых координатах.
Здесь n = 3, x 1 = x , x 2 = y , x 3 = z . Лапласиан принимает вид
. (33 )
Оператор Лапласа в евклидовом пространстве R 3 , в сферических координатах:
x 1 = r sin θ cos φ , x 2 = r sin θ cos φ , x 3 = r cos θ , (здесь n = 3, y 1 = r , y 2 = θ , y 3 = φ ).
Ортонормированный базис er, e q , e j , . Лапласиан принимает вид
.
Оператор Лапласа в евклидовом пространстве R 3 , в цилиндрических координатах:
x 1 = r cos φ, x 2 = r sinφ, x 3 = z. ( здесь n = 3, y 1 = r, y 2 = φ, y 3 = z). Лапласиан принимает вид
. ( 34)
6. Метрический тензор в теории поверхностей
А. Метрика поверхности
Рассмотрим поверхность w = w ( x , y ) в евклидовом пространстве R 3 . Применим для исследования этой поверхности приведенный выше тензорный аппарат дифференциальной геометрии. Будем задавать поверхность в параметрическом виде как геометрическое место точек, описываемых радиус-вектором, проведенным из начала координат (так же, как и при рассмотрении первой квадратичной формы поверхности):
,
поверхностные криволинейные координаты
Введем тензорные обозначения для производных радиус-вектора поверхности по криволинейным координатам:
; .
Получим метрический тензор поверхности так же, как и в (23) :
, ( 35)
его компоненты образуют матрицу, совпадающую с матрицей первой квадратичной формы поверхности
,
т.е. gij = aij , и в тензорных обозначениях первая квадратичная форма примет следующий вид:
.
Ковариантные компоненты метрического тензора находим, обращая матрицу
. (3 6)
С помощью метрического тензора выполняют операции поднятия и опускания индексов, например, для нахождения ковариантных компонент векторов:
.
Б. Единичный орт нормали в текущей точке поверхности (см. (11)
.
В. Элементарный элемент площади на поверхности
Угол между касательными векторами , .
Элемент площади (см. (12)
. (37 )
Г. Вторая квадратичная форма записывается в тензорных обозначениях как
II = bij dy i dy j , ее коэффициенты вычисляются по формулам
. (3 8)
Они подчинены двум уравнениям Петерсона-Кодацци
, i, j, k = 1, 2.
Д. Криволинейный оператор Лапласа записывается так же, как и в (32):
( 39)
Е. Локальный базис и символы Кристоффеля поверхности
В текущей точке y 1 , y 2 поверхности касательные векторы r 1 , r 2 и орт нормали n образуют сопутствующий локальный базис (триэдр) в R 3 , причем
. (40)
Разложим вектор второй производной в локальном базисе
, (4 1)
и найдем неизвестные коэффициенты разложения и . Для этого умножим скалярно обе части уравнения (41) сначала на вектор нормали n :
.
Так как касательные векторы и орт нормали перпендикулярны, то имеем
.
Этот коэффициент действительно совпадает с коэффициентами второй квадратичной формы (38) . Умножим теперь обе части уравнения на касательный вектор :
Выразим коэффициенты явно, для этого умножим обе части уравнения на ковариантный метрический тензор
. (4 2)
Скалярное произведение, стоящее в левой части уравнения, можно выразить через компоненты метрики. Продифференцируем метрику по координате и проведем циклические перестановки индексов:
Сложим последние два уравнения и вычтем первое:
,
окончательно имеем известное выражение
(43)
для коэффициентов, которые называются символами Кристоффеля 2 рода. Таким образом, мы получили два уравнения (42) и (43) для нахождения коэффициентов Кристоффеля и уравнение (41) для проверки. Тензор кривизны Римана поверхности определяется так же, как и в (27) .
Рассмотрим заданную явно поверхность w = w ( x , y ) в декартовых координатах:
Имеем радиус-вектор точки поверхности
.
Первые и вторые производные радиус-вектора
, , , , .
Метрика (матрица первой квадратичной формы) по определению (35)
,
.
Единичный вектор нормали имеет вид
.
Малый элемент площади поверхности, с использованием соотношений (2)
.
Криволинейный оператор Лапласа в общем косоугольном случае
, (44 )
в частном случае поверхности, на которой возникли ортогональные криволинейные координаты (), имеем
.
Матрица второй квадратичной формы
.
Главные кривизны найдем по формулам (19) :
, . (4 5)
Для осесимметричной поверхности логично перейти в полярные координаты. Если здесь сделать формальную замену переменных (49) , то получим формулы для кривизн в полярных координатах (50) .
В выражениях (45) корень, стоящий в знаменателе, является модулем вектора нормали к поверхности в текущей точке. Если для этой поверхности нормальное сечение совпадает с вертикальным, то кривизны (45) перейдут в
, . (4 6)
В частном случае малых прогибов поверхности (углов наклона касательной) в выражениях (46) можно пренебречь квадратом производной по сравнению с единицей и получить выражения для малых кривизн (геометрически линейный случай):
, . ( 47)
Символы Кристоффеля можно найти по формуле (43) или по формуле (42) :
.
По формулам (27) вычислим компоненты тензора кривизны Римана
,
, .
Остальные компоненты равны нулю. Найдем тензор Риччи по формуле (29)
.
Скалярная кривизна по формуле (30)
,
где К — гауссова кривизна, см. формулу (20) .
Рассмотрим осесимметричную поверхность, заданную явно функцией w(r), в цилиндрических координатах. Для этого случая пропадает зависимость от полярного угла φ, и все , поэтому частные производные по полярному радиусу совпадают с полными производными.
Координаты y 1 = ξ = r, y 2 = η = φ. Используя формулы замены переменных, запишем радиус-вектор
.
Выпишем производные от радиус-вектора по координатам
, , , , .
Компоненты метрического тензора (коэффициенты первой квадратичной формы) найдем по формулам (35) или (9):
, , .
Отсюда видно, что мы получили на поверхности сетку ортогональных криволинейных координат. Оператор Лапласа
. ( 48)
Для случая пологих поверхностей, когда можно пренебречь квадратом производной по сравнению с единицей, оператор (48) совпадает с обычным оператором Лапласа в полярных координатах (см., например, (34) . Выражение (48) можно получить из (44) прямой заменой декартовых координат на полярные для осесимметричного случая. Приведем эти формулы перехода
, , , , . ( 49)
Коэффициенты второй квадратичной формы
.
Главные кривизны поверхности найдем по формулам (19) :
, . (5 0)
Здесь , т.е. использована замена переменных w ( r ) на θ ( r ), вида (2) . Выражения (50) можно получить заменой переменных (49) непосредственно из приведенных выше кривизн (45) в декартовой системе координат.
Кручение поверхности отсутствует в осесимметричном случае, так как диагональный коэффициент второй квадратичной формы b 12 = 0. Из (50) видны свойства главных кривизн:
, . ( 51)
, , , .
Отличные от нуля компоненты тензора Римана
, .
Скалярную кривизну поверхности найдем, дважды свернув тензор Римана
.
Вычислим для примера главные кривизны псевдосферы — поверхности, образованной вращением трактрисы относительно оси Ow (трактриса является эвольвентой цепной линии ). Используя формулы (50) , найдем кривизны
, .
Гауссова кривизна постоянна и отрицательна на всей поверхности. Выполняя интегрирование
,
получим длину дуги вдоль радиуса на поверхности псевдосферы.
Список литератур ы
1. Дубровин Б.А., Новиков С.П., Фоменко А.Т . Современная геометрия. – М.: Наука, 1985.
2. Новиков С.П., Фоменко А.Т . Элементы дифференциальной геометрии и топологии. – М.: Наука, 1987.
3. Ландау Л.Д., Лифшиц Е.М. Теория поля. — М.: Наука, 1988.
4. Ландау Л.Д., Лифшиц Е.М. Теория упругости. — М.: Наука, 1987.
5. Поверхности функций комплексного переменного: Метод. указания, ч. 5 / Краснояр. гос. ун-т; Сост. Ю.В. Захаров, К.Г. Охоткин, Л.С. Титов. Красноярск, 1996.
6. Победря Б.Е . Лекции по тензорному анализу. — М.: Изд-во МГУ, 1986.
🎥 Видео
Интегралы№1 Понятие Дифференциала ФункцииСкачать
21. Дифференциал функцииСкачать
ПРОИЗВОДНАЯ функции. Объяснение математического смысла.Скачать
Лекция 4.1 | Радиус-вектор, скорость и ускорение | Александр Чирцов | ЛекториумСкачать
23. Отличие дифференциала от производной. Инвариантность формы первого дифференциалаСкачать
Дифференциал и приращение функцииСкачать
Дифференциал функцииСкачать
Математический анализ, 10 урок, Производная высших порядков. ДифференциалСкачать
Что такое дифференциал функции?Скачать
Оператор набла (оператор Гамильтона) и оператор ЛапласаСкачать
Демидович №4427: дивергенция радиус-вектораСкачать
18+ Математика без Ху!ни. Скалярное произведение векторов. Угол между векторами.Скачать
А знаешь ли ТЫ как дифференциал распределяет МОМЕНТ?!? (Автомобильные заблуждения. Часть 3)"Скачать
Дифференциалы и интегралы глазами физикаСкачать