Функция с векторными значениями

редактировать

Функция, оцениваемая в векторном пространстве; обычно вещественная или комплексная

A векторная функция, также называемая векторной функцией, является математической функцией одной или нескольких переменных, диапазон - это набор многомерных векторов или бесконечномерных векторов. Входом векторной функции может быть скаляр или вектор (то есть, размерность в области может быть 1 или больше 1); размер домена не определяется размером диапазона.

Содержание

  • 1 Пример: спираль
  • 2 Линейный случай
  • 3 Параметрическое представление поверхности
  • 4 Производная трехмерной векторной функции
    • 4.1 Частная производная
    • 4.2 Обычная производная
    • 4.3 Полная производная
    • 4.4 Системы отсчета
    • 4.5 Производная векторной функции с нефиксированным базисом
    • 4.6 Производная и векторное умножение
  • 5 Производная n-мерной векторной функции
  • 6 Бесконечный- векторные функции размерности
    • 6.1 Функции со значениями в гильбертовом пространстве
    • 6.2 Другие бесконечномерные векторные пространства
  • 7 См. также
  • 8 Примечания
  • 9 Ссылки
  • 10 Внешние ссылки

Пример : helix

График векторнозначной функции r (Z) = ⟨2 cos Z, 4 sin Z, Z⟩, ​​указывающий диапазон решений и вектор при вычислении около Z = 19,5

Типичным примером векторнозначной функции является функция, которая зависит от единственного параметра вещественного числа t, часто представляющего время, создавая вектор v(t) в результате. В терминах стандартных единичных векторов i, j, kиз декартовых 3-пространственных эти конкретные типы векторнозначных функций задаются такими выражениями, как

  • r (t) = f (t) я + г (T) J + час (T) К {\ Displaystyle \ mathbf {r} (т) = е (т) \ mathbf {я} + г (т) \ mathbf {j} + ч (т) \ mathbf {k}}{\ mathbf {r}} (t) = е (т) {\ mathbf {я}} + г (т) {\ mathbf {j}} + час (т) {\ mathbf {k}}

где f (t), g (t) и h (t) - координаты функции параметра t, а область этой векторной функции является пересечением области определения функций f, g и h. Его также можно обозначить в другом обозначении:

  • r (t) = ⟨f (t), g (t), h (t)⟩ {\ displaystyle \ mathbf {r} (t) = \ langle f (t), g (t), h (t) \ rangle}{\ mathbf {r}} (t) = \ langle f (t), g (t), h (t) \ rangle

Вектор r (t) имеет хвост в начале координат и голову в координатах, вычисленных функцией.

Вектор, показанный на графике справа, является оценкой функции ⟨2 cos ⁡ t, 4 sin ⁡ t, t⟩ {\ displaystyle \ langle 2 \ cos t, \, 4 \ sin t, \, t \ rangle}{\ displaystyle \ langle 2 \ cos t, \, 4 \ sin t, \, t \ rangle} около t = 19,5 (между 6π и 6,5π, т. е. несколько больше 3 оборотов). Спираль - это путь, прослеживаемый концом вектора при увеличении t от нуля до 8π.

В 2D мы можем аналогично говорить о векторных функциях как

  • r (t) = f (t) i + g (t) j {\ displaystyle \ mathbf {r} (t) = е (т) \ mathbf {я} + г (т) \ mathbf {j}}{\ mathbf {r }} (t) = f (t) {\ mathbf {i}} + g (t) {\ mathbf {j}} or
  • р (т) = ⟨е (т), г (т)⟩ {\ Displaystyle \ mathbf {г} (т) = \ langle f (t), g (t) \ rangle}{\ mathbf {r}} (t) = \ langle f (t), g (t) \ rangle

Линейный случай

В линейном случае функция может быть выражена через матрицы :

y = A x + b, {\ displaystyle y = Ax + b,}{\ displaystyle y = Ax + b, }

где y - выходной вектор размера n × 1 (n>1), x - вектор входных данных ak × 1 (k ≥ 1), A - вектор n × k матрица параметров, а b - вектор параметров n × 1.

Линейный случай возникает часто, например, в множественной регрессии, где, например, вектор n × 1 y ^ {\ displaystyle {\ hat {y}}}{\ hat {y}} предсказанных значений зависимой переменной выражается линейно через вектор ak × 1 β ^ {\ displaystyle {\ hat {\ beta}}}\ hat {\ beta} (k < n) of estimated values of model parameters:

y ^ = X β ^, {\ displaystyle {\ hat {y}} = X {\ hat {\ beta}},}{\ displaystyle {\ hat {y}} = X {\ hat {\ beta}},}

в котором X (играющий роль A в предыдущем обобщенном form) представляет собой матрицу n × k фиксированных (эмпирически обоснованных) чисел.

Параметрическое представление поверхности

A surface - это 2-мерный набор точек, вложенных в 3-мерное пространство. способ представления поверхности - с помощью параметрических уравнений, в которых два параметра s и t определяют три декартовых координат любой точки на поверхности:

(x, y, z) знак равно (е (s, t), г (s, t), час (s, t)) ≡ F (s, t), {\ displaystyle (x, y, z) = (f (s, t), g (s, t), h (s, t)) \ Equiv F (s, t).}{\ displaystyle (x, y, z) = (f (s, t), g (s, t), h (s, t)) \ эквив F (s, t).}

Здесь F - вектор-функция ион.

Производная трехмерной векторной функции

Многие векторнозначные функции, такие как скалярные функции, могут быть дифференцированы путем простого дифференцирования компоненты в декартовой системе координат. Таким образом, если

r (t) = f (t) i + g (t) j + h (t) k {\ displaystyle \ mathbf {r} (t) = f (t) \ mathbf {i} + g (t) \ mathbf {j} + h (t) \ mathbf {k}}{\ mathbf {r}} (t) = е (т) {\ mathbf {я}} + г (т) {\ mathbf {j}} + час (т) {\ mathbf {k}}

является векторной функцией, тогда

dr (t) dt = f ′ (t) i + g ′ ( t) j + h ′ (t) k. {\ displaystyle {\ frac {d \ mathbf {r} (t)} {dt}} = f '(t) \ mathbf {i} + g' (t) \ mathbf {j} + h '(t) \ mathbf {k}.}{\frac {d{\mathbf {r}}(t)}{dt}}=f'(t){\mathbf {i}}+g'(t){\mathbf {j}}+h'(t){\mathbf {k}}.

Производная вектора допускает следующую физическую интерпретацию: если r (t) представляет положение частицы, то производная представляет собой скорость частицы частица

v (t) = dr (t) dt. {\ displaystyle \ mathbf {v} (t) = {\ frac {d \ mathbf {r} (t)} {dt}}.}{\ mathbf {v}} (t) = {\ frac {d {\ mathbf {r}} (t)} {dt}}.

Аналогично, производная скорости - это ускорение

dv ( t) dt = a (t). {\ displaystyle {\ frac {d \ mathbf {v} (t)} {dt}} = \ mathbf {a} (t).}{\ displaystyle {\ frac {d \ mathbf {v} (t)} {dt}} = \ mathbf {a} (t).}

Частная производная

частная производная векторной функции a относительно скалярной переменной q определяется как

∂ a ∂ q = ∑ i = 1 n ∂ ai ∂ qei {\ displaystyle {\ frac {\ partial \ mathbf {a}} {\ partial q}} = \ sum _ {i = 1} ^ {n} {\ frac {\ partial a_ {i}} {\ partial q}} \ mathbf {e} _ {i} }{\ frac {\ partial {\ mathbf {a}}} {\ partial q}} = \ sum _ { {я = 1}} ^ {{n}} {\ frac {\ partial a_ {i}} {\ partial q}} {\ mathbf {e}} _ {i}

, где a i - скалярный компонент a в направлении ei. Он также называется направляющим косинусом для a и eiили их скалярным произведением. Векторы e1,e2,e3образуют ортонормированный базис, зафиксированный в системе отсчета, в которой берется производная.

Обычная производная

Если a рассматривается как векторная функция одной скалярной переменной, такой как время t, то приведенное выше уравнение сводится к первому обычная производная по времени от a по t,

dadt = ∑ i = 1 ndaidtei. {\ displaystyle {\ frac {d \ mathbf {a}} {dt}} = \ sum _ {i = 1} ^ {n} {\ frac {da_ {i}} {dt}} \ mathbf {e} _ {i}.}{\ displaystyle {\ frac {d \ mathbf {a}} {dt }} = \ sum _ {i = 1} ^ {n} {\ frac {da_ {i}} {dt}} \ mathbf {e} _ {i}.}

Полная производная

Если вектор a является функцией числа n скалярных переменных q r (r = 1,..., n), и каждый q r является только функцией времени t, тогда обычная производная a по t может быть выражена в форме, известной как полная производная, как

dadt = ∑ r = 1 n ∂ a ∂ qrdqrdt + ∂ a ∂ t. {\ displaystyle {\ frac {d \ mathbf {a}} {dt}} = \ sum _ {r = 1} ^ {n} {\ frac {\ partial \ mathbf {a}} {\ partial q_ {r} }} {\ frac {dq_ {r}} {dt}} + {\ frac {\ partial \ mathbf {a}} {\ partial t}}.}{\ frac {d {\ mathbf a}} {dt}} = \ sum _ {{r = 1}} ^ {{n}} {\ frac {\ partial {\ mathbf a}} {\ partial q_ {r}}} {\ frac {dq_ {r}} {dt}} + {\ frac {\ partial {\ mathbf a}} {\ partial t}}.

Некоторые авторы предпочитают использовать заглавную D для обозначения общего производный оператор, как в D / Dt. Полная производная отличается от частной производной по времени тем, что полная производная учитывает изменения в a из-за дисперсии переменных q r.

системы отсчета

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

Производная векторной функции с нефиксированными базами

Приведенные выше формулы для производной векторной функции основаны на предположении, что базисные векторы e1,e2,e3являются постоянными, то есть зафиксированы в системе отсчета, в которой берется производная от a, и поэтому каждый e1,e2,e3имеет производную, равную тождественно нулю. Это часто верно для задач, связанных с векторными полями в фиксированной системе координат, или для простых задач физики. Однако многие сложные проблемы связаны с производной векторной функции в нескольких движущихся опорных системах, что означает, что базисные векторы не обязательно будут постоянными. В таком случае, когда базисные векторы e1,e2,e3фиксируются в системе отсчета Е, но не в системе отсчета Н, более общая формула для обычная производная по времени вектора в системе отсчета N является

N дадт = ∑ я = 1 3 daidtei + ∑ я = 1 3 ai N deidt {\ displaystyle {\ frac {{} ^ {\ mathrm {N}} d \ mathbf {a}} {dt}} = \ sum _ {i = 1} ^ {3} {\ frac {da_ {i}} {dt}} \ mathbf {e} _ {i} + \ sum _ {i = 1} ^ {3} a_ {i} { \ frac {{} ^ {\ mathrm {N}} d \ mathbf {e} _ {i}} {dt}}}{\ fra c {{} ^ {{\ mathrm {N}}} d {\ mathbf {a}}} {dt}} = \ sum _ {{i = 1}} ^ {{3}} {\ frac {da_ { i}} {dt}} {\ mathbf {e}} _ {i} + \ sum _ {{i = 1}} ^ {{3}} a_ {i} {\ frac {{} ^ {{\ mathrm {N}}} d {\ mathbf {e}} _ {i}} {dt}}

где верхний индекс N слева от оператора производной указывает систему отсчета, в которой производная берется. Как было показано ранее, первый член в правой части равна производной а в системе отсчета, где e1,e2,e3являются постоянными, опорный кадр Е. Она также может быть показано, что второй член в правой части равен относительной угловой скорости двух систем отсчета, перемноженной с вектором a . Таким образом, после подстановки формула, связывающая производную векторной функции в двух системах отсчета, имеет вид

N dadt = E dadt + N ω E × a {\ displaystyle {\ frac {{} ^ {\ mathrm {N}} d \ mathbf {a}} {dt}} = {\ frac {{} ^ {\ mathrm {E}} d \ mathbf {a}} {dt}} + {} ^ {\ mathrm {N}} \ mathbf {\ Omega} ^ {\ mathrm {Е}} \ временем \ mathbf {а}}{\ frac {{} ^ {{\ mathrm N}} d {\ mathbf a}} {dt}} = {\ frac {{} ^ {{\ mathrm E}} d {\ mathbf a}} {dt}} + {} ^ {{\ mathrm N}} {\ mathbf \ omega} ^ {{\ mathrm E}} \ times {\ mathbf a }

где ω является угловая скорость из опорного кадра Е относительно опорного кадр N.

Одним из распространенных примеров использования этой формулы является нахождение скорости космического объекта, такого как ракета, в инерциальная система отсчета, использующая измерения скорости ракеты относительно земли. Скорость v в инерциальной системе отсчета N ракеты R, находящейся в позиции r, может быть найдена по формуле

N ddt (r R) = E ddt (r R) + N ω E × r R. {\ displaystyle {\ frac {{} ^ {\ mathrm {N}} d} {dt}} (\ mathbf {r} ^ {\ mathrm {R}}) = {\ frac {{} ^ {\ mathrm { E}} d} {dt}} (\ mathbf {r} ^ {\ mathrm {R}}) + {} ^ {\ mathrm {N}} \ mathbf {\ omega} ^ {\ mathrm {E}} \ раз \ mathbf {r} ^ {\ mathrm {R}}.}{\ frac {{} ^ {{\ mathrm N}} d} {dt}} ({\ mathbf r} ^ {{\ mathrm R}}) = {\ frac {{} ^ {{\ mathrm E}} d} {dt}} ({\ mathbf r} ^ {{\ mathrm R}}) + {} ^ {{\ mathrm N}} {\ mathbf \ omega} ^ {{\ mathrm E}} \ times {\ mathbf r} ^ {{\ mathrm R}}.

где ω - угловая скорость Земли относительно инерциальной системы координат N. Так как скорость - это производная от положения, v, а v - производные от r в системах отсчета N и E, соответственно. При подстановке

N v R = E v R + N ω E × r R {\ displaystyle {} ^ {\ mathrm {N}} \ mathbf {v} ^ {\ mathrm {R}} = {} ^ {\ mathrm {E}} \ mathbf {v} ^ {\ mathrm {R}} + {} ^ {\ mathrm {N}} \ mathbf {\ omega} ^ {\ mathrm {E}} \ times \ mathbf { r} ^ {\ mathrm {R}}}{} ^ {{\ mathr m N}} {\ mathbf v} ^ {{\ mathrm R}} = {} ^ {{\ mathrm E}} {\ mathbf v} ^ {{\ mathrm R}} + {} ^ {{\ mathrm N }} {\ mathbf \ omega} ^ {{\ mathrm E}} \ times {\ mathbf r} ^ {{\ mathrm R}}

где v - вектор скорости ракеты, измеренный из системы отсчета E, которая привязана к Земле.

Производная и умножение вектора

Производная произведений векторных функций ведет себя аналогично производной произведений скалярных функций. В частности, в случае скалярного умножения вектора, если p является функцией скалярной переменной от q,

∂ ∂ q (p a) = ∂ p ∂ q a + p ∂ a ∂ q. {\ displaystyle {\ frac {\ partial} {\ partial q}} (p \ mathbf {a}) = {\ frac {\ partial p} {\ partial q}} \ mathbf {a} + p {\ frac { \ partial \ mathbf {a}} {\ partial q}}.}{\ frac {\ partial} {\ partial q}} (p {\ mathbf a}) = {\ frac {\ partial p} {\ partial q}} {\ mathbf a} + p {\ frac {\ partial {\ mathbf a}} {\ partial q}}.

В случае умножения точек для двух векторов a и b которые являются обеими функциями от q:

∂ ∂ q (a ⋅ b) = ∂ a ∂ q ⋅ b + a b ∂ b ∂ q. {\ displaystyle {\ frac {\ partial} {\ partial q}} (\ mathbf {a} \ cdot \ mathbf {b}) = {\ frac {\ partial \ mathbf {a}} {\ partial q}} \ cdot \ mathbf {b} + \ mathbf {a} \ cdot {\ frac {\ partial \ mathbf {b}} {\ partial q}}.}{\ frac {\ partial} {\ partial q}} ({\ mathbf a} \ cdot {\ mathbf b}) = {\ frac {\ partial {\ mathbf a}} {\ partial q}} \ cdot {\ mathbf b} + {\ mathbf a} \ cdot {\ frac {\ partial {\ mathbf b}} {\ partial q}}.

Аналогично, производная от перекрестного произведения двух векторных функций равно

∂ ∂ q (a × b) = ∂ a ∂ q × b + a × ∂ b ∂ q. {\ displaystyle {\ frac {\ partial} {\ partial q}} (\ mathbf {a} \ times \ mathbf {b}) = {\ frac {\ partial \ mathbf {a}} {\ partial q}} \ times \ mathbf {b} + \ mathbf {a} \ times {\ frac {\ partial \ mathbf {b}} {\ partial q}}.}{\ frac {\ partial} {\ partial q}} ({\ mathbf a} \ times {\ mathbf b}) = {\ frac {\ partial {\ mathbf a}} {\ partial q}} \ times {\ mathbf b} + {\ mathbf a} \ times {\ frac {\ partial {\ mathbf b}} {\ partial q}}.

Производная n-мерной векторной функции

Функция f действительного числа t со значениями в пространстве R n {\ displaystyle \ mathbb {R} ^ {n}}\ mathbb {R} ^ {n} может быть записана как f (t) = (е 1 (т), е 2 (т),…, фн (т)) {\ Displaystyle е (т) = (е_ {1} (т), е_ {2} (т), \ ldots, f_ { n} (t))}f (t) = (f_ {1} (t), f_ {2} (t), \ ldots, f_ {n} (t)) . Его производная равна

f ′ (t) = (f 1 ′ (t), f 2 ′ (t),…, fn ′ (t)) {\ displaystyle f '(t) = (f_ {1}' (t), f_ {2} '(t), \ ldots, f_ {n}' (t))}f'(t)=(f_{1}'(t),f_{2}'(t),\ldots,f_{n}'(t)).

Если f является функцией нескольких переменных, скажем, от t ∈ R m {\ displaystyle t \ in \ mathbb {R} ^ {m}}{\ displaystyle t \ в \ mathbb {R} ^ {m}} , тогда частные производные компонентов f образуют a n × m {\ displaystyle n \ times m}n \ times m матрица, называемая матрицей Якоби функции f.

Бесконечномерные векторные функции

Если значения функции f лежат в бесконечномерном векторном пространстве X, таком как гильбертово пространство, то f можно назвать бесконечномерной вектор-функцией.

Функции со значениями в гильбертовом пространстве

Если аргумент f является действительным числом, а X - гильбертовым пространством, то производная f в точке t может быть определена, как в Конечномерный случай:

f ′ (t) = lim h → 0 f (t + h) - f (t) h. {\ displaystyle f '(t) = \ lim _ {h \ rightarrow 0} {\ frac {f (t + h) -f (t)} {h}}.}f'(t)=\lim _{{h\rightarrow 0}}{\frac {f(t+h)-f(t)}{h}}.

Большинство результатов конечномерных случай также верно и в бесконечномерном случае, с соответствующими изменениями. Дифференциация также может быть определена для функций нескольких переменных (например, t ∈ R n {\ displaystyle t \ in \ mathbb {R} ^ {n}}{\ displaystyle t \ in \ mathbb {R} ^ {n}} или даже t ∈ Y {\ displaystyle t \ in Y}t \ in Y , где Y - бесконечномерное векторное пространство).

Примечание. Если X - гильбертово пространство, то легко показать, что любую производную (и любой другой предел) можно вычислить покомпонентно: if

f = (f 1, f 2, f 3,…) {\ displaystyle f = ( f_ {1}, f_ {2}, f_ {3}, \ ldots)}f = (f_ {1}, f_ {2}, f_ {3}, \ ldots)

(т.е. f = f 1 e 1 + f 2 e 2 + f 3 e 3 + ⋯ {\ displaystyle f = f_ {1} e_ {1} + f_ {2} e_ {2} + f_ {3} e_ {3} + \ cdots}f = f_ {1} e_ {1} + f_ {2} e_ {2} + f_ {3} e_ {3} + \ cdots , где e 1, e 2, e 3,… {\ Displaystyle e_ {1}, e_ {2}, e_ {3}, \ ldots}e_ {1}, e_ {2}, e_ {3}, \ ldots является ортонормированным базисом пространства X) и f ′ (T) {\ displaystyle f '(t)}f'(t)существует, тогда

f ′ (t) = (f 1 ′ (t), f 2 ′ (t), f 3 ′ ( t),…) {\ displaystyle f '(t) = (f_ {1}' (t), f_ {2} '(t), f_ {3}' (t), \ ldots)}f'(t)=(f_{1}'(t),f_{2}'(t),f_{3}'(t),\ldots).

Однако, существование покомпонентной производной не гарантирует существования производной, поскольку покомпонентная сходимость в гильбертовом пространстве не гарантирует сходимости относительно фактической топологии гильбертова пространства.

Другие бесконечномерные векторные пространства

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

См. Также

Примечания

  1. ^ Kane Levinson 1996, pp. 29–37
  2. ^Фактически, эти отношения выводятся с применением правила произведения покомпонентно.

Ссылки

  • Kane, Thomas R.; Левинсон, Дэвид А. (1996), «1–9 дифференцирования векторных функций», Dynamics Online, Саннивейл, Калифорния: OnLine Dynamics, Inc., стр. 29–37
  • Ху, Чуанг-Ган; Ян, Чун-Чун (2013), Функции с векторным значением и их приложения, Springer Science Business Media, ISBN 978-94-015-8030-4

Внешние ссылки

Последняя правка сделана 2021-06-18 10:27:53
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте