Основно съдържание

Анализ на функции на много променливи

Курс: Анализ на функции на много променливи > Раздел 1

Урок 6: Графики на функции на много променливи (статии)

Параметрично представяне на функции, два параметъра

За да опишем дадена повърхност в тримерното пространство, можем да използваме функции на два аргумента, чиито стойности са тримерни вектори.

Преговор

Основни идеи

Можем да изобразим дадена функция на два параметъра, чиито стойности са тримерни вектори, като начертаем всички стойности, съответстващи на даден регион от дефиниционната област на функцията. Резултатът от това е повърхнина, която наричаме параметрична повърхнина.
Обратният процес, при който започваме с дадена повърхнина и търсим функция, която я описва, се нарича параметризация на повърхнината. В общия случай тази задача не е лесна.

Кратък преговор на функции на един параметър

В предишната статия разгледахме графики на функции на един аргумент, чиито стойности са двумерни вектори. Например:

$\displaystyle f(t) = \left[ \begin{array}{c} t\cos(t) \\ \sin(t) \end{array} \right]$

Когато стойностите на функцията имат повече измерения от аргументите, то често намираме за по-удобно да изобразим само стойностите на функцията в рамките на възможните стойности на аргумента t.

Когато разглеждаме дадена функция по този начин, я наричаме параметрична функция, а аргументът t се нарича параметър.

Два параметъра

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

$\displaystyle f(s; t) = \left[ \begin{array}{c} t^3 - st \\ s-t \\ s+t \end{array} \right]$

Аргументите s и t ще наричаме параметри, и след малко ще видим как различни стойности на тези параметри описват повърхнина в тримерното пространство.

[Връзка с параметричните уравнения]

Първата ни стъпка е да изберем интервали за аргументите, например

\begin{aligned} \quad 0 < &s < 3 \\ -2 < &t < 2 \end{aligned}

Ето как изглежда областта в дефиниционната област, описана от тези две неравенства.

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

Аргументи left parenthesis, s, ;, t, right parenthesis	Стойности left parenthesis, t, cubed, minus, s, t, ;, s, minus, t, ;, s, plus, t, right parenthesis
left parenthesis, 0, ;, 0, right parenthesis	left parenthesis, 0, ;, 0, ;, 0, right parenthesis
left parenthesis, 1, ;, 0, right parenthesis	left parenthesis, 1, ;, 1, ;, 1, right parenthesis
left parenthesis, 2, ;, 1, right parenthesis	left parenthesis, 6, ;, 1, ;, 3, right parenthesis
\varvdots, rectangle	\varvdots, rectangle

Добре де, не пресмятаме буквално всички възможни стойности на функцията, понеже те са безкрайно много. Но основната ни цел е да представим достатъчно от тези стойности, за да придобием представа за формата на повърхнината.

Следната анимация показва как множеството от разглежданите двойки left parenthesis, s, ;, t, right parenthesis се превръща в повърхнината, описана от функцията f, left parenthesis, s, ;, t, right parenthesis:

Видео плейър на видеоклиповете в Кан Академия

Виж видео транскрипцията

Получената повърхнина наричаме параметрична повърхнина.

Внимание: Подобни повърхнини могат лесно да бъдат объркани с графиките на скаларни функции на два аргумента, тъй като те също обикновено се изобразяват като повърхнини в тримерното пространство. Обаче тези два вида графики са много различни. Параметричните повърхнини изобразяват два аргумента и три стойности, което на обикновена графика би заело пет измерения!

Параметризиране на дадена повърхнина

Един от най-добрите начини да се запознаеш с параметричните функции е да започнеш с дадена повърхнина и да се опиташ да намериш функцията, която я описва. Параметризирането на повърхнини е полезно при пресмятането на повърхностни интеграли, за които ще говорим в по-късните уроци.

Имай предвид, че параметризирането на повърхнини не е лесно. В следващия пример ще параметризираме тор, официалното име на повърхнината на геврек. От широко разпространените повърхнини торът е сравнително познат пример, но въпреки това, за да го параметризираме, трябва да положим известно усилие.

Пример: Параметризиране на тор (геврек)

Нека разгледаме повърхнината, показана по-горе. Тя представлява геврек, или по-точно, само повърхността на геврека, без вътрешността. Целта ни е да намерим функция на два параметъра, даваща тримерни стойности, такава че параметричната ѝ графика е даденият геврек.

Първо ще си представим как бихме "начертали" повърхнината, макар че всички знаем, че не може просто да се начертае повърхнина.

[Питай Боромир]

Вместо това ще начертаем всяко кръгло сечение на тора отделно. Ето как изглеждат тези сечения (отбелязани в синьо):

Освен това на графиката е отбелязана червена окръжност в равнината x, y, минаваща през центровете на всички сечения. Тя не е част от тора, но ще ни бъде полезна при събирането на всички сечения заедно.

В някоя задача може би радиусът на червената окръжност ще ни е даден, както и радиусът на сините окръжности. Но засега ще ги изберем произволно, например 3 за радиуса на червената окръжност и 1 за сините.

Основна идея: Ще опишем всяка точка върху тора като сума от два вектора:

Вектор start bold text, c, end bold text, with, vector, on top от началото на координатната система до червената окръжност. За да обходим всички точки върху червената окръжност, този вектор трябва да е функция на даден параметър t. Когато меним стойността на t, стойността на start bold text, c, end bold text, with, vector, on top, left parenthesis, t, right parenthesis ще обхожда окръжността.
Вектор start bold text, d, end bold text, with, vector, on top от някоя точка върху червената окръжност до точките от съответстващото ѝ сечение от тора. Тъй като посоката на този вектор зависи и от позицията на сечението спрямо червената окръжност, то start bold text, d, end bold text, with, vector, on top също зависи от параметъра t. Освен това ще използваме втори параметър u, който позволява на start bold text, d, end bold text, with, vector, on top да обходи всяка точка от съответната синя окръжност.
Вектор left parenthesis, with, \overrightarrow, on top, start bold text, d, end bold text, right parenthesis, left parenthesis, u, ;, t, right parenthesis от червената окръжност до самият тор.

Тогава всяка точка от тора ще бъде сума от тези два вектора.

start bold text, c, end bold text, with, vector, on top, left parenthesis, t, right parenthesis, plus, start bold text, d, end bold text, with, vector, on top, left parenthesis, u, ;, t, right parenthesis

(Ако не си сигурен/на как се събират два вектора, преговори материала от това видео).

Защо тази стратегия?

Макар че не знаем какви са координатите на точките върху тор, знаем какви са координатите на точките върху окръжност.

Червената окръжност лежи в равнината x, y и има радиус 3, така че знаем как да я параметризираме:

\begin{aligned} \quad \vec{\textbf{c}}(t) = 3 \left[ \begin{array}{c} \cos(t) \\ \sin(t) \\ 0 \end{array} \right] = 3 \cos(t) \hat{\textbf{i}} + 3 \sin(t) \hat{\textbf{j}} + 0 \hat{\textbf{k}} \end{aligned}

[Какво означават i, j и k?]

Сега функцията start bold text, d, end bold text, with, vector, on top, left parenthesis, u, ;, t, right parenthesis също описва окръжност, но с нея задачата е малко по-сложна. Всяко (синьо) сечение на тора е под различен ъгъл, така че формулата за start bold text, d, end bold text, with, vector, on top, left parenthesis, u, ;, t, right parenthesis трябва да изчертава окръжности под ъгъл. Как можем да начертаем една такава окръжност?

Нека започнем с това, което знаем. Знаем, че в две измерения единичната окръжност има следната параметризация:

\begin{array}{r} g (u) = [\begin{matrix} \cos (u) \\ \sin (u) \end{matrix}] = \cos (u) \hat{i} + \sin (u) \hat{j} \end{array}

За да опишем едно от кръглите сечения на тора, правим нещо подобно, но заместваме start bold text, i, end bold text, with, hat, on top и start bold text, j, end bold text, with, hat, on top с различни единични вектори. Разгледай внимателно следната картинка:

За стойността на start bold text, i, end bold text, with, hat, on top вместо единичния вектор на оста x избираме единичен вектор start bold text, v, end bold text, with, hat, on top, който е ортогонален на червената окръжност. Тъй като този вектор зависи от точката от червената окръжност, която разглеждаме, start bold text, v, end bold text, with, hat, on top е функция на параметъра t, т.е. start bold text, v, end bold text, with, hat, on top, left parenthesis, t, right parenthesis.

Аналогично заместваме вектора start bold text, j, end bold text, with, hat, on top с единичния вектор start bold text, k, end bold text, with, hat, on top на оста z. Следователно параметричното уравнение на една от сините окръжности изглежда така:

\begin{aligned} \quad \vec{\textbf{d}}(u; t) = \cos(u) \hat{\textbf{v}}(t) + \sin(u) \hat{\textbf{k}} \end{aligned}

Остава да намерим формулата за start bold text, v, end bold text, with, hat, on top, left parenthesis, t, right parenthesis.

Посоката на търсения вектор е същата като start bold text, c, end bold text, with, vector, on top, left parenthesis, t, right parenthesis, така че start bold text, v, end bold text, with, hat, on top, left parenthesis, t, right parenthesis е единичен вектор в посоката на start bold text, c, end bold text, with, vector, on top, left parenthesis, t, right parenthesis.

\begin{aligned} \quad \vec{\textbf{c}}(t) = 3&\left[\begin{array}{c} \cos(t) \\ \sin(t) \\ 0 \end{array} \right] \quad \leftarrow \small{\gray{\text{не е единичен вектор}}} \\ \Downarrow& \\ \hat{\textbf{v}}(t) = &\left[\begin{array}{c} \cos(t) \\ \sin(t) \\ 0 \end{array} \right] \quad \leftarrow \small{\gray{\text{единичен вектор}}} \end{aligned}

Тогава, функцията start bold text, d, end bold text, with, vector, on top, left parenthesis, u, ;, t, right parenthesis е

\begin{aligned} \quad \vec{\textbf{d}}(u, t) &= \cos(u) \hat{\textbf{v}}(t) + \sin(u) \hat{\textbf{k}} \\ &= \cos(u) \left[\begin{array}{c} \cos(t) \\ \sin(t) \\ 0 \end{array} \right]+ \sin(u) \left[\begin{array}{c} 0 \\ 0 \\ 1 \end{array} \right] = \left[\begin{array}{c} \cos(u)\cos(t) \\ \cos(u)\sin(t) \\ \sin(u) \end{array} \right] \end{aligned}

Последни стъпки

Нека не забравяме, че дефинирахме start bold text, d, end bold text, with, vector, on top, left parenthesis, u, ;, t, right parenthesis и start bold text, c, end bold text, with, vector, on top, left parenthesis, t, right parenthesis, за да опишем точките върху тора като сума start bold text, c, end bold text, with, vector, on top, left parenthesis, t, right parenthesis, plus, start bold text, d, end bold text, with, vector, on top, left parenthesis, u, ;, t, right parenthesis. Вече знаейки тези две функции, получаваме:

\begin{aligned} \quad \vec{f}(u; t) &= \vec{\textbf{c}}(t) + \vec{\textbf{d}}(u; t) \\ &= 3\left[\begin{array}{c} \cos(t) \\ \sin(t) \\ 0 \end{array} \right] + \left[\begin{array}{c} \cos(u)\cos(t) \\ \cos(u)\sin(t) \\ \sin(u) \end{array} \right] \\ &= \blueE{\left[ \begin{array}{c} 3\cos(t) + \cos(u)\cos(t) \\ 3\sin(t)+\cos(u)\sin(t) \\ \sin(u) \end{array} \right]} \end{aligned}

Когато u се мени от 0 до 2, pi, стойностите на функцията f, with, vector, on top, left parenthesis, u, ;, t, right parenthesis описват едно синьо сечение, а когато t се мени от 0 до 2, pi, сеченията обхождат целия тор.

Ето как изглежда параметричната повърхност, описана от f, with, vector, on top, left parenthesis, u, ;, t, right parenthesis за всички стойности на параметрите 0, is less than or equal to, u, is less than or equal to, 2, pi и 0, is less than or equal to, t, is less than or equal to, 2, pi:

Видео плейър на видеоклиповете в Кан Академия

Виж видео транскрипцията

Обобщение

Можем да изобразим дадена функция на два параметъра, чиито стойности са тримерни вектори, като начертаем всички стойности, съответстващи на даден регион от дефиниционната област на функцията. Резултатът от това е повърхнина, която наричаме параметрична повърхнина.
Обратният процес, при който започваме с дадена повърхнина и търсим функция, която я описва, се нарича параметризация на повърхнината. В общия случай тази задача не е лесна.

Искаш ли да се присъединиш към разговора?

Вписване в профила

Сортирай по:

Все още няма публикации.

Разбираш ли английски? Натисни тук, за да видиш още дискусии в английския сайт на Кан Академия.