Есть ли простое доказательство того, что законы Кирхгофа всегда дают точно полный набор уравнений?

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

Однако есть две проблемы с этими законами:

  • Их слишком много. Например, в простой схеме ниже можно нарисовать три различных контура, но только два независимых напряжения. Сходным образом,

  • Уравнения не все независимы. В приведенной ниже схеме уравнения сохранения тока для двух разных узлов оказываются одним и тем же уравнением.

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

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

Подробное обсуждение и доказательство см. в главе 12 тома 2 курса математики для студентов, изучающих физику . amazon.com/Course-Mathematics-Students-Physics-Bk/dp/0521332451
Понятие гомологии и когомологии в электрических цепях здесь весьма уместно (ср . это и это ). Количество основных петель (1-коциклов) определяется первым числом Бетти, а напряжения образуют 1-кограницы. Фактически, изучение гомологии было частично вдохновлено изучением законов Кирхгофа (см . статью Вейля 1923 г. ).
Очень простое доказательство можно найти здесь
@Christophe Эта ссылка выглядит очень восприимчивой к гниению ссылок и поэтому не особенно полезна. Для ясности ссылка, которую вы только что разместили, ведет на электронную печать «Доказательство числа независимых уравнений Кирхгофа в электрической цепи», П. Фельдманн и Р. А. Рорер, IEEE T. Circuits Sys. 38 , 681 (1991) .

Ответы (5)

Ответ не совсем простой, чтобы показать это, нам понадобится теория графов и матрицы. Существует прекрасный документ, подробно объясняющий это отношение:

Графы, матрицы и теория цепей . Такис ​​Константинопулус, февраль 2000 г.

Доступно в Semantic Scholar ; исходная ссылка в Университете Упсалы (уже мертва; архивная версия ).

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

Математика на самом деле вполне доступна. Понятие остовного дерева довольно интуитивно понятно, и отсюда каждое ребро, не входящее в остовное дерево, связывает два узла дерева. Поскольку эти 2 узла имеют одного уникального предка в дереве, это определяет уникальный цикл.
Документ на самом деле не решает проблему, поднятую в ответе Райана Хейзелтона. В разделе 10 говорится: «Мы представляем решение «любой» линейной схемы. Во-первых, мы предполагаем, что схема корректно определена. Мы оставляем это понятие расплывчатым, но мы имеем в виду, что схема не должна содержать, поскольку например, источники тока, подключенные таким образом, что они нарушают KCL, ни источники напряжения, нарушающие KVL». Но... это значит, что они действительно не решили проблему в целом.

Вот контрпример:

Предположим, две одинаковые идеальные батареи (с нулевым внутренним сопротивлением) соединены параллельно через один резистор; эквивалентно, замените один из резисторов на вашей схеме второй такой же батареей. Также предположим, что проводящие провода идеальны (опять же, без сопротивления).

Законы Кирхгофа в этом случае приводят к недоопределенной системе. Если ток через единственный резистор равен I , а напряжение на обеих идеальных батареях равно V , вы не можете найти ток через любую батарею, используя только законы Кирхгофа; обе петли дают напряжение на резисторе как V , и оба соединения говорят, что сумма токов через батареи должна равняться I , но не позволяют вам вычислить ни один из этих токов. Например, ток 3 л вверх через одну батарею и 2 л вниз через другую удовлетворяет системе уравнений. В этом случае вы должны использовать аргумент симметрии, чтобы сделать вывод, что ток через каждую батарею равен I /2.

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

Это косвенно поднимает другой вопрос; Имеют ли смысл законы Кирхгофа в идеальных схемах? Я уверен, что есть еще много примеров, подобных приведенному выше, где результирующая система линейных уравнений недоопределена (хотя я сомневаюсь, что есть случаи, которые переопределены). Мы используем идеальные ситуации для моделирования реальных систем, но хорошая ли это идея, когда ответы в идеальном случае не определены?

А зеркальная система (переопределенная) имеет два источника тока в цикле, но с противоположными направлениями тока.
В теории идеальных цепей параллельное соединение двух идеальных источников напряжения является, вообще говоря, недопустимой схемой по той же причине, по которой недопустимо последовательное соединение двух идеальных источников тока, поскольку, как правило, возникает противоречие, например, 1 = 2. Имеются действительные примеры недоопределенных цепей с зависимыми (управляемыми) источниками.
@AlfredCentauri: на самом деле это не решает проблему. Проблема будет заключаться в том, как вы узнаете, согласуются ли источники напряжения в сложной цепи или нет.
@BenCrowell, мой комментарий относится к авторскому примеру двух идеальных параллельных источников напряжения, что в общем -то недопустимо. Хотя прошло некоторое время с тех пор, как я оставил комментарий, я не помню, чтобы я намеревался решить какую-либо проблему, кроме этой. Я помню, как несколько лет назад анализировал «активный трансформатор» (идеальная схема операционного усилителя, преобразующая несимметричный сигнал в симметричный сигнал) со странным свойством, состоящим в том, что, хотя дифференциальное выходное напряжение было четко определено, общее Выходное напряжение в -режиме не определялось уравнениями схемы (что давало в О , с м знак равно в О , с м )
@BenCrowell, теперь я понимаю, почему мой старый комментарий привлек внимание. Я только что заметил награду! Я полагаю, что ответ на вопрос ОП заключается в том, что существуют неопределенные цепи, которые не заигрывают с патологическим.
@BenCrowell, относительно согласованности источников напряжения и, в частности, примера Райана схемы с двумя идентичными, параллельно соединенными идеальными источниками напряжения. Как вы, вероятно, знаете, идеальные схемы только с резисторами и двумя или более независимыми источниками могут быть решены с использованием суперпозиции (обнулить все источники, кроме одного, решить, повторить для каждого источника, сложить решения вместе для полного решения). Но учтите, что для примера Райана этого сделать нельзя — обнуление одного из источников напряжения дает противоречивое уравнение КВЛ.

Этот ответ адаптирован из задачи 1.4 в Používáme linearní algebru , книге решенных задач по линейной алгебре (бесплатно доступной в Интернете, но, к сожалению, только на чешском языке, AFAIK). Я покажу это при следующих предположениях:

  • Мы имеем дело с цепью постоянного или (низкочастотного) переменного тока, единственными элементами которой являются резисторы и идеальные источники напряжения.
  • Каждый край цепи имеет ненулевое (положительное) сопротивление,

Законы цепи Кирхгофа дают уникальное решение для тока и напряжения на каждом элементе цепи.

Сначала несколько комментариев. Уникальность легко понять на физическом основании. Линейность законов Кирхгофа подразумевает, что может быть более одного решения, если одна и та же цепь с удаленными источниками (т. е. их напряжение установлено на ноль без изменения топологии цепи) может поддерживать нетривиальные токи. Предположение о положительном сопротивлении каждого края цепи делает это физически невозможным из-за сохранения энергии. По той же причине я считаю, что то же утверждение справедливо для цепей переменного тока с другими элементами, кроме резисторов, если импеданс каждого края имеет положительную действительную часть. Однако мне не сразу очевидно, как приведенный ниже аргумент обобщается на этот случай. Также легко увидеть, что отказ от предположения о положительном сопротивлении может привести как к неоднозначности решения, так и к патологиям: см. ответы Райана Хейзелтона и Альфреда Центавра. Наконец, тот же аргумент должен применяться к схемам с идеальнымисточники тока из-за двойственности между двумя типами источников; предположение об идеальных источниках напряжения сделано только для простоты обозначений.

Теперь к делу. Я буду предполагать WLOG, что схема представлена ​​связным графом; в противном случае просто рассматривают все связанные компоненты один за другим. Аргумент по существу следует методу узлового напряжения . На первом этапе мы понимаем, что второй закон Кирхгофа (напряжение) эквивалентен существованию потенциала на графике. Предположим, что цепь имеет Н вершины (узлы). Мы можем выбрать потенциал одного из них произвольно, скажем ты 1 знак равно 0 . Тогда для данного решения законов Кирхгофа мы можем получить потенциал ты я принадлежащий я -й вершины путем сложения падений напряжения на резисторах и напряжений, отдаваемых источниками по любому пути, соединяющему я -я вершина в ты 1 . Второй закон Кирхгофа гарантирует, что результат для ты я не зависит от выбора пути и, следовательно, хорошо определена.

На втором этапе мы имеем дело с системой уравнений для неизвестных потенциалов ты 2 , , ты Н , подразумеваемый первым (действующим) законом Кирхгофа. Мы рассматриваем только вершины 2 , , Н , который дает Н 1 уравнения для Н 1 неизвестные потенциалы. Уравнение для я -я вершина читается символически

Дж 1 р я Дж ( ты я ты Дж + U я Дж ) знак равно 0 ,
где сумма по всем вершинам Дж подключен к я по краю, р я Дж обозначает сопротивление на краю я Дж , а также U я Дж напряжение, подаваемое источниками в них. Мы можем записать эту систему уравнений в матричной форме, М ты знак равно U , куда ты знак равно ( ты 2 , , ты Н ) Т а также U содержит исходные данные. Диагональные элементы матрицы М находятся
М я я знак равно Дж 1 р я Дж ,
тогда как недиагональные элементы
М я Дж знак равно { 1 / р я Дж  если  я  а также  Дж  связаны и  Дж 1 , 0  в противном случае.
Положительность всех сопротивлений означает, что
Дж я | М я Дж | | М я я |
для всех я знак равно 2 , , Н . Более того, есть такие я (соединенные ребром с ты 1 ), для которого выполняется строгое неравенство. Это означает, что матрица М является диагонально доминирующим и, следовательно, обратимым. Это гарантирует, что система уравнений для потенциалов ты 2 , , ты Н имеет единственное решение.

Зная все потенциалы, можно легко восстановить токи по всем краям цепи. Ток через край я Дж является, символически,

я я Дж знак равно 1 р я Дж ( ты я ты Дж + U я Дж ) .
Это завершает аргумент и математически показывает, почему предположение о положительном сопротивлении является достаточным условием для установления существования единственного решения. В более общем случае единственное решение существует всякий раз, когда определенная выше матрица М я Дж , зависящий от топологии цепи и сопротивлений, но не от источников, несингулярный. Должен М я Дж быть сингулярным, может быть более одного решения или вообще не быть решений, как известно из линейной алгебры .

Мне нравится, что вы упомянули требование положительного сопротивления. В примере, который я привожу в своем ответе, VCCS действует как резистор с сопротивлением 1 Ом тем самым отменяя сопротивление 1 Ом резистор. Результатом этой отмены является неопределенный последовательный ток.
@AlfredCentauri Да, именно!
Я не понимаю, как это относится к существованию, которое было указано в ответе Райана Хейзелтона и которое не рассматривается удовлетворительно в статье Константинопулуса, который говорит: «Мы оставляем это понятие расплывчатым, но мы имеем в виду, что схема должна не содержать, например, источников тока, подключенных таким образом, что они нарушают ККЛ, а также источников напряжения, нарушающих КВЛ». Кажется, никто здесь не предложил какого-либо четкого критерия для распознавания, когда схема нарушает это требование.
Томаш, у меня есть небольшой вопрос относительно утверждения «Линейность законов Кирхгофа подразумевает, что может быть только более одного решения, если одна и та же схема с удаленными источниками может поддерживать нетривиальные токи». Его удаляют или нужно обнулить ?
@BenCrowell, мне непонятно, о чем ты просишь. В целом, параллельно (последовательно) соединенные источники напряжения (тока) нарушают КВЛ (ККЛ) по осмотру. Частный случай, когда источники идентичны, нарушает теорему о суперпозиции. Вопрос: ставите ли вы под сомнение существование уникального решения (в данном контексте), когда есть только один независимый источник?
@AlfredCentauri Спасибо за комментарий. Хотя это просто вопрос семантики, я признаю, что первоначальная формулировка была двусмысленной. Я исправил текст, так что теперь он, надеюсь, понятен.
@BenCrowell Я показываю, что при конкретном и реалистичном предположении существует уникальное решение законов Кирхгофа. Я отредактировал конец своего ответа, чтобы прояснить, что все ребра, имеющие положительное сопротивление, являются лишь достаточным , а не необходимым условием существования уникального решения. Я считаю, что это имеет большое значение для подробного ответа на вопрос Эмилио Писанти. Конечно, можно было бы захотеть классифицировать все цепи, которые являются патологическими в смысле ответа Райана Хейзелтона, но я не вижу для этого четкой физической причины.

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

Вот простая идеальная схема, состоящая из источника тока, управляемого напряжением (VCCS), и резистора, где ток резистора я р не определяется уравнениями цепи:

введите описание изображения здесь

Напряжение на резисторе (верхний вывод положительный) определяется законом Ома:

В р знак равно я р 1 Ом

Напряжение управления VCCS равно В р по КВЛ, а ток резистора равен току ВКУ по ККЛ. Таким образом, ток резистора определяется выражением

я р знак равно В р 1

и поэтому уравнения схемы дают

я р знак равно я р 1 Ом 1 знак равно я р

То есть любое значение для я р решает эту схему.


Обновление для устранения этого комментария:

В вопросе перечислены разрешенные компоненты. VCCS не является одним из них. — Бен Кроуэлл 1 час назад

Фактически, в вопросе перечислены (1) резисторы, (2) источники напряжения и (3) источники тока в качестве разрешенных компонентов в соответствии с вводным предложением:

Предположим, у меня есть сложная электрическая цепь, состоящая исключительно из резисторов, источников напряжения и тока...

Теперь VCCS является текущим источником . Термин «источник тока», без уточнения как независимого , так и зависимого (управляемого) , может относиться к любому типу.

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

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

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

В вопросе перечислены разрешенные компоненты. VCCS не является одним из них.
@ БенКроуэлл, понятно. Итак, по вашему мнению, когда Эмилио пишет «состоит исключительно из резисторов и источников напряжения и тока», он явно имеет в виду независимые источники напряжения и тока? Кроме того, на всякий случай Эмилио в том же предложении указывает, что схема «сложная». Могу ли я обоснованно заключить, что вы также возражаете против моего примера, потому что это простая схема, а не сложная ?
Я не думал, что необходимо указывать в вопросе, что ответы должны соответствовать здравому смыслу, и я до сих пор не понимаю, как это приводит к редактированию вопроса, поэтому я сообщу об этом здесь: ответы должны быть применять здравый смысл. Это не так. -1 с моей стороны.
@EmilioPisanty, я не могу не улыбаться.

Вторая проблема решает первую. Если из измерений известно достаточно данных, то состояние системы определяется однозначно. Если было измерено более чем достаточно данных, это не повлияет на решение, если, конечно, предположения Кирхгофа не выполняются или уравнения Максвелла ошибочны.

Что касается запрошенных фундаментальных причин, то законы Кирхгофа прямо следуют из уравнений Максвелла, которые подразумевают сохранение тока и обращение в нуль × Е согласно предположениям Кирхгофа.

Если бы это было так тривиально, то документ, на который ссылается ответ Ху Ала, не нужно было бы писать. Вопрос в том, как показать, что уравнения независимы.
@BenCrowell Если мой ответ правильный, статью не нужно было писать. Итак, все сводится к следующему: правильный ли мой ответ?
Из отрицательной оценки я делаю вывод, что некоторые из нас считают ответ неверным, но не в состоянии объяснить, почему.
@my2cts Ваши два утверждения верны. Но первое утверждение очень общее и в основном просто объясняет, откуда берутся законы Кирхгофа. Я полагаю, что Эмилио Писанти просит проницательности, взяв эти законы за отправную точку . Поскольку законы Кирхгофа не являются фундаментальными, как уравнения Максвелла, а скорее обеспечивают основу для модельного описания электрических цепей, это совершенно законный вопрос, на который ваш ответ не отвечает. Для полноты: ваше второе утверждение ничего конкретно не говорит о законах Кирхгофа или электрических цепях.
Этот пост неверен и не является ответом на вопрос по причинам, уже объясненным в комментариях под вопросом, предшествующим этому сообщению.