Почему этот линейный интеграл дает неправильный знак?

Я пытался найти ошибку в этом подходе к расчету работы однородного гравитационного поля над объектом, падающим на землю в у направление.

Вт "=" я ф Ф г с "=" м г я ф у ^ г с
Поскольку объект движется вниз, г с "=" г у
"=" м г я ф у ^ г у "=" м г я ф у ^ г у
Потому что у ^ параллельно г у , то векторное скалярное произведение равно г у
"=" м г я ф г у "=" м г ( час ф час я )
который меньше нуля, когда час ф < час я , а значит, явно неправильно. Тем не менее, упрощенный подход Вт "=" Ф Д , с двумя параллельными векторами, и ясно, что работа действительно положительна.

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

Это распространенная ошибка? Является ли урок, что при выполнении скалярного произведения внутри интеграла знак интеграла должен проверяться аналитически? Или есть более простая аксиома, которую мне не хватает? Я мог бы легко представить себя, если бы я писал код, пытаясь следовать алгебре, не думая слишком аналитически, и, таким образом, получая неправильный ответ. Я изучал линейную алгебру бакалавриата, векторное исчисление и промежуточную механику, но я не помню, чтобы когда-либо возникал этот вопрос.

Ответы (4)

Поскольку объект движется вниз, г с "=" г у

является источником вашей ошибки.

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

Изменение потенциальной энергии гравитации равно м г ( час ф час я )

Вернитесь на один этап назад и запишите эквивалентное векторное уравнение в виде

м ( г ) ( час ф час я ) "=" м ( г у ^ ) ( час ф час я ) у ^

Вернитесь еще на один этап, а затем еще на один, где Δ у "=" час ф час я

"=" м ( г у ^ ) Δ у у ^ "=" м ( г у ^ ) Δ у

и в интегральной форме это становится час я час ф м ( г у ^ ) г у

Заметим, что во всем вышеприведенном анализе не упоминаются значения компонент перемещений час я у ^ и час ф у ^ .

Когда ты написал г с "=" г у Вы действительно имели в виду, что смещение было Δ с "=" Δ у "=" час я у ^ час ф у ^ ?
Думаю, нет?

Таким образом, вы должны понимать, что знак приращения г с полностью диктуется пределами интегрирования, и не следует предвосхищать знак г с .

Ваша проблема в том, что вы установили г с "=" г у . Неважно, какой у тебя путь, г с всегда

г с "=" г Икс Икс ^ + г у у ^ + г г г ^

Эвристически признак _ г у определяется пределами интегрирования. Итак, когда вы интегрируете у я у ф с у я > у ф у вас есть г у < 0 .

Чтобы понять это правильно, я всегда возвращаюсь к правильному определению линейного интеграла. Чтобы вычислить работу по некоторому пути, мы сначала параметризуем путь как с ( т ) где т идет от т я к т ф . Затем оцениваем силу на этом пути Ф ( с ( т ) ) и поставить точку в г с и интегрировать следующим образом:

Вт "=" т я т ф Ф ( с ( т ) ) г с ( т ) г т   г т .
В вашем случае одним из способов параметризации кривой является
с ( т ) "=" ( ( 1 т ) у я + т у ф ) у ^ ,
где т находится между 0 и 1, и в этом случае
г с ( т ) г т "=" ( у ф у я ) у ^ ,
и, конечно, сила просто постоянна Ф ( с ( т ) ) "=" м г у ^ .

Таким образом,

Вт "=" т я т ф Ф ( с ( т ) ) г с ( т ) г т   г т "=" 0 1 ( м г у ^ ) ( у ф у я ) у ^   г т "=" м г ( у ф у я ) 0 1 г т "=" м г ( у ф у я ) ,
что, конечно, правильный ответ!

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

с ( у ) "=" у у ^ ,
где у идет от у я к у ф . Затем
г с "=" г с г у г у "=" у ^ г у ,
и вы можете видеть, что вы заставляете выбирать положительный знак, а не отрицательный.

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

После того, как вы установили г с "=" г у , вы забыли изменить пределы интеграции. Пусть с в диапазоне от начальной до конечной точек, скажем с 1 , с 2 , , с Н , то нижний предел равен с 1 и верхний предел с Н . Теперь, согласно вашему соглашению у "=" с , значения, которые у будут иметь с 1 , с 2 , , с Н и, таким образом, вы должны изменить (при интегрировании по y) пределы от с 1 к с Н . Вычисляя интеграл для гравитационного поля, вы получите член, пропорциональный

с Н ( с 1 ) "=" с 1 с Н

вместо

с Н с 1 (когда забыто преобразование пределов интегрирования).

Границы интеграции должны быть изменены после любых преобразований координат!

Я думал об этом, но пределы интегрирования представлены абстрактно, как от «начального» до «конечного», и, учитывая это абстрактное представление, нет необходимости менять их местами, чтобы перейти от конечного к начальному. Я имею в виду, чтобы быть немного более точным с обозначениями, вопрос имеет что-то вроде с я с ф ( ) г с у я у ф ( ) г у .
Даже если есть абстрактные пределы, они меняются, когда вы меняете знак
Я так не думаю... когда вы меняете переменные, если вы интегрируете от начального до конечного значения исходной переменной, вы интегрируете от начального до конечного значения новой переменной без какого-либо дополнительного изменения знака независимо от что такое замена переменных. Например, определение г "=" у , у я "=" 0 и у ф "=" 1 , у нас есть у я у ф г у "=" у ф у я "=" 1 и у я у ф г у "=" г я г ф г г г у г г "=" г я г ф ( 1 ) г г "=" ( 1 ) ( г ф г я ) "=" ( 1 0 ) "=" 1 .
@DavidZ Я думаю, что kyromaxim говорит то, что вы говорите. Вы делаете пределы отрицательными. Я не думаю, что они говорят поменять местами начальный с окончательным и наоборот.