2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки


Правила форума


Посмотреть правила форума



Начать новую тему Ответить на тему
 
 Инвариантность формы первого дифференциала
Сообщение25.10.2016, 10:20 
Аватара пользователя


07/01/15
1221
Возможно, баян, но все же...

Своими руками хотел доказать инвариантность формы первого дифференциала. Взял функции $y(x)$, $x(t)$. Они дифференцируемы в понятно каких точках. Далее:$$dy = A \cdot \Delta x.$$ $$\Delta x = B \cdot \Delta t + o(\Delta t) = dx + o(\Delta t).$$ $$dy = A \cdot dx + A \cdot o(\Delta t).$$
Что я делаю не так?

 Профиль  
                  
 
 Re: Инвариантность формы первого дифференциала
Сообщение25.10.2016, 10:21 
Заслуженный участник
Аватара пользователя


06/10/08
6422
Почему Вы думаете, что что-то не так?

 Профиль  
                  
 
 Re: Инвариантность формы первого дифференциала
Сообщение25.10.2016, 10:24 
Аватара пользователя


07/01/15
1221
Потому что в учебниках пишут: $$\frac {dy}{dx} = f'(x).$$
В моем обозначении: $$\frac {dy}{dx} = A.$$
Это, как Вы видите, не выполняется.

-- 25.10.2016, 11:27 --

Я, кажется, понял. Подразумевается, что $\Delta t \to 0$? С другой стороны, а с чего бы? Например, если $x$ - независимая переменная, то $\frac {dy}{dx} = f'(x)$ без всяких предельных переходов.

 Профиль  
                  
 
 Re: Инвариантность формы первого дифференциала
Сообщение25.10.2016, 10:33 
Заслуженный участник


11/05/08
32166
SomePupil в сообщении #1162886 писал(а):
Подразумевается, что $\Delta t \to 0$?

А что Вы, собственно, пытаетесь доказать? Поскольку равенство $\frac{dy}{dx}=f'(x)$ не имеет отношения к инвариантности.

 Профиль  
                  
 
 Re: Инвариантность формы первого дифференциала
Сообщение25.10.2016, 10:34 
Заслуженный участник
Аватара пользователя


06/10/08
6422
А что Вы понимаете под инвариантностью первого дифференциала? Инвариантность не означает, что $dx = \Delta x$. Она означает, что если посчитать $dy$ и $dx$, считая $y$ и $x$ функциями от $t$, то будет $dy = Adx$. Вы же считаете $dy$ исходя из независимой переменной $x$, а $dx$ с независимой $t$.

 Профиль  
                  
 
 Re: Инвариантность формы первого дифференциала
Сообщение25.10.2016, 10:38 
Аватара пользователя


07/01/15
1221
Xaositect в сообщении #1162888 писал(а):
Она означает, что если посчитать $dy$ и $dx$, считая $y$ и $x$ функциями от $t$, то будет $dy = Adx$.

Ах, вот оно какие пирожки бабушка печет!

ewert в сообщении #1162887 писал(а):
Поскольку равенство $\frac{dy}{dx}=f'(x)$ не имеет отношения к инвариантности.

Понял-понял.

Спасибо.

 Профиль  
                  
 
 Re: Инвариантность формы первого дифференциала
Сообщение26.10.2016, 10:55 
Заслуженный участник


13/12/05
4584
SomePupil в сообщении #1162883 писал(а):
Возможно, баян, но все же...

Своими руками хотел доказать инвариантность формы первого дифференциала. Взял функции $y(x)$, $x(t)$. Они дифференцируемы в понятно каких точках. Далее:$$dy = A \cdot \Delta x.$$ $$\Delta x = B \cdot \Delta t + o(\Delta t) = dx + o(\Delta t).$$ $$dy = A \cdot dx + A \cdot o(\Delta t).$$
Что я делаю не так?

Так сделайте:

в $\Delta y = A \cdot \Delta x+\alpha(\Delta x)\cdot |\Delta x|$ ($\alpha(\Delta x)\to 0$ при $\Delta x\to 0$) подставьте $x=x(t)$. Получите $\Delta y=A\cdot dx+\beta(\Delta t)\cdot |\Delta t|$ ($\beta(\Delta t)\to 0$ при $\Delta t\to 0$). Это и значит, что $dy=Adx$.

 Профиль  
                  
 
 Re: Инвариантность формы первого дифференциала
Сообщение26.10.2016, 19:15 
Заслуженный участник


11/05/08
32166
К инвариантности формы первого дифференциала о-маленькие отношения не имеют, инвариантность -- штука сугубо формальная: $dy(x,\Delta x)=y'(x)\Delta x=y'(x)\,dx$, поскольку $dx(x,\Delta x)=\Delta x$; далее, $dx(t,\Delta t)=x'(t)\Delta t=x'(t)\,dt$; итого (в сокращённой записи) $dy=y'(x)x'(t)\,dt=\big(y(x(t))\big)'\,dt$. Причём совершенно независимо от размерностей. Откуда берётся правило дифференцирования сложной функции -- вопрос отдельный (и предыдущий).

 Профиль  
                  
 
 Re: Инвариантность формы первого дифференциала
Сообщение26.10.2016, 19:52 
Заслуженный участник


13/12/05
4584
ewert в сообщении #1163293 писал(а):
Откуда берётся правило дифференцирования сложной функции -- вопрос отдельный (и предыдущий).

Равносильный свойству инвариантности первого дифференциала. Просто другая форма записи.

 Профиль  
                  
 
 Re: Инвариантность формы первого дифференциала
Сообщение26.10.2016, 20:09 
Заслуженный участник


11/05/08
32166
Padawan в сообщении #1163310 писал(а):
Равносильный свойству инвариантности первого дифференциала.

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

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 10 ] 

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: DariaRychenkova


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group