View source for Network analysis (electrical circuits)

{{short description|Determining all voltages and currents within an electrical network}}
{{redirect|Circuit theory||Circuit (disambiguation)}}
{{Network analysis navigation}}

In [[electrical engineering]] and [[electronics]], a ''[[Electrical network|network]]'' is a collection of interconnected [[Electronic component|components]]. '''Network analysis''' is the process of finding the [[voltage]]s across, and the [[Electric current|current]]s through, all network components.  There are many techniques for calculating these values; however, for the most part, the techniques assume [[Linear circuit|linear]] components. Except where stated, the methods described in this article are applicable only to ''linear'' network analysis.

==Definitions==
{|
|-valign=top
|'''[[Electronic component|Component]]'''||A device with two or more [[terminal (electronics)|terminal]]s into which, or out of which, current may flow.
|-valign=top
|'''[[Node (circuits)|Node]]'''||A point at which terminals of more than two components are joined.  A conductor with a substantially zero resistance is considered to be a node for the purpose of analysis.
|-valign=top
|'''Branch'''||The component(s) joining two nodes.
|-valign=top
|'''[[Mesh analysis|Mesh]]'''||A group of branches within a network joined so as to form a complete loop such that there is no other loop inside it.
|-valign=top
|'''[[Port (circuit theory)|Port]]'''||Two terminals where the current into one is identical to the current out of the other.
|-valign=top
|'''[[Electrical circuit|Circuit]]'''||A current from one terminal of a [[generator (circuit theory)|generator]], through load component(s) and back into the other terminal.  A circuit is, in this sense, a one-port network and is a trivial case to analyse.  If there is any connection to any other circuits then a non-trivial network has been formed and at least two ports must exist.  Often, "circuit" and "network" are used interchangeably, but many analysts reserve "network" to mean an idealised model consisting of ideal components.<ref>{{cite journal |author=Belevitch V |title=Summary of the history of circuit theory |journal=Proceedings of the IRE |volume=50 |issue=5 |pages=849 |date=May 1962 |doi=10.1109/JRPROC.1962.288301  |s2cid=51666316 |author-link=Vitold Belevitch }} cites {{cite journal |title=IRE Standards on Circuits: Definitions of Terms for Linear Passive Reciprocal Time Invariant Networks, 1960 |journal=Proceedings of the IRE |volume=48 |issue=9 |pages=1609 |date=September 1960  |doi=10.1109/JRPROC.1960.287676 }}to justify this definition.<br />[[Sidney Darlington]] {{cite journal |author=Darlington S  |title=A history of network synthesis and filter theory for circuits composed of resistors, inductors, and capacitors |journal= IEEE Transactions on Circuits and Systems|volume=31 |issue=1 |pages=4 |year=1984 |doi= 10.1109/TCS.1984.1085415}}<br />follows Belevitch but notes there are now also many colloquial uses of "network".</ref>
|-valign=top
|'''[[Transfer function]]'''||The relationship of the currents and/or voltages between two ports.  Most often, an input port and an output port are discussed and the transfer function is described as gain or attenuation.
|-valign=top
|'''Component transfer function'''||For a two-terminal component (i.e. one-port component), the current and voltage are taken as the input and output and the transfer function will have units of impedance or admittance (it is usually a matter of arbitrary convenience whether voltage or current is considered the input). A three (or more) terminal component effectively has two (or more) ports and the transfer function cannot be expressed as a single impedance. The usual approach is to express the transfer function as a matrix of parameters. These parameters can be impedances, but there is a large number of other approaches (see [[two-port network]]).
|}

==Equivalent circuits==
[[Image:circuit equivalence.png|200px|right]]
{{main|Equivalent impedance transforms}}
A useful procedure in network analysis is to simplify the network by reducing the number of components.  This can be done by replacing physical components with other notional components that have the same effect.  A particular technique might directly reduce the number of components, for instance by combining impedances in series.  On the other hand, it might merely change the form into one in which the components can be reduced in a later operation.  For instance, one might transform a voltage generator into a current generator using Norton's theorem in order to be able to later combine the internal resistance of the generator with a parallel impedance load. 

A [[resistive circuit]] is a circuit containing only [[resistors]], ideal [[current source]]s, and ideal [[voltage source]]s. If the sources are constant ([[Direct current|DC]]) sources, the result is a [[direct current circuit|DC circuit]].  Analysis of a circuit consists of solving for the voltages and currents present in the circuit.  The solution principles outlined here also apply to [[phasor (electronics)|phasor]] analysis of [[#AC circuits|AC circuits]].

Two circuits are said to be '''equivalent''' with respect to a pair of terminals if the [[voltage]] across the terminals and [[Current (electricity)|current]] through the terminals for one network have the same relationship as the voltage and current at the terminals of the other network.

If <math>V_2=V_1</math> implies <math>I_2=I_1</math> for all (real) values of {{math|''V''{{sub|1}}}}, then with respect to terminals {{math|ab}} and {{math|xy}}, circuit 1 and circuit 2 are equivalent.

The above is a sufficient definition for a [[one-port]] network.  For more than one port, then it must be defined that the currents and voltages between all pairs of corresponding ports must bear the same relationship. For instance, star and delta networks are effectively three port networks and hence require three simultaneous equations to fully specify their equivalence.

===Impedances in series and in parallel===
{{main|Series and parallel circuits}}
Some two terminal network of impedances can eventually be reduced to a single impedance by successive applications of impedances in series or impedances in parallel.

*Impedances in [[Series and parallel circuits#Series circuits|series]]: <math display="block">Z_\mathrm{eq} = Z_1 + Z_2 + \,\cdots\, + Z_n .</math>
*Impedances in [[Series and parallel circuits#Parallel circuits|parallel]]: <math display="block">\frac{1}{Z_\mathrm{eq}} = \frac{1}{Z_1}  +   \frac{1}{Z_2}  + \,\cdots\, +  \frac{1}{Z_n} .</math>
**The above simplified for only two impedances in parallel: <math display="block">Z_\mathrm{eq} = \frac{Z_1Z_2}{Z_1 + Z_2} .</math>

===Delta-wye transformation===
{{main|Y-Δ transform}}

[[Image:Delta-Star Transformation.svg|right|400px]]

A network of impedances with more than two terminals cannot be reduced to a single impedance equivalent circuit.  An {{mvar|n}}-terminal network can, at best, be reduced to {{mvar|n}} impedances (at worst [[Binomial coefficient|<math>\tbinom{n}{2}</math>]]).  For a three terminal network, the three impedances can be expressed as a three node delta (Δ) network or  four node star (Y) network.  These two networks are equivalent and the transformations between them are given below.  A general network with an arbitrary number of nodes cannot be reduced to the minimum number of impedances using only series and parallel combinations.  In general, Y-Δ and Δ-Y transformations must also be used.  For some networks the extension of Y-Δ to [[#General form of network node elimination|star-polygon]] transformations may also be required.

For equivalence, the impedances between any pair of terminals must be the same for both networks, resulting in a set of three simultaneous equations.  The equations below are expressed as resistances but apply equally to the general case with impedances.

====Delta-to-star transformation equations====
:<math>\begin{align}
R_a &=  \frac{R_\mathrm{ac}R_\mathrm{ab}}{R_\mathrm{ac} + R_\mathrm{ab} + R_\mathrm{bc}} \\
R_b &=  \frac{R_\mathrm{ab}R_\mathrm{bc}}{R_\mathrm{ac} + R_\mathrm{ab} + R_\mathrm{bc}} \\
R_c &=  \frac{R_\mathrm{bc}R_\mathrm{ac}}{R_\mathrm{ac} + R_\mathrm{ab} + R_\mathrm{bc}} 
\end{align}</math>

====Star-to-delta transformation equations====

:<math>\begin{align}
R_\mathrm{ac} &= \frac{R_a R_b + R_b R_c + R_c R_a}{R_b} \\
R_\mathrm{ab} &= \frac{R_a R_b + R_b R_c + R_c R_a}{R_c} \\
R_\mathrm{bc} &= \frac{R_a R_b + R_b R_c + R_c R_a}{R_a}
\end{align}</math>

===General form of network node elimination===
{{main|Star-mesh transform}}

The star-to-delta and series-resistor transformations are special cases of the general resistor network node elimination algorithm.  Any node connected by {{mvar|N}} resistors {{math|(''R''{{sub|1}} … ''R{{sub|N}}'')}} to nodes {{math|'''1''' … '''''N'''''}} can be replaced by <math>\tbinom{N}{2}</math> resistors interconnecting the remaining {{mvar|N}} nodes.  The resistance between any two nodes {{mvar|x, y}} is given by:
:<math>R_\mathrm{xy} = R_x R_y\sum_{i=1}^N \frac{1}{R_i}</math>
For a star-to-delta ({{math|1=''N'' = 3}}) this reduces to:
:<math>\begin{align}
R_\mathrm{ab} &= R_a R_b \left(\frac 1 R_a+\frac 1 R_b+\frac 1 R_c\right) = \frac{R_a R_b(R_a R_b + R_a R_c + R_b R_c)}{R_a R_b R_c} \\
&= \frac{R_a R_b + R_b R_c + R_c R_a}{R_c}
\end{align}</math>
For a series reduction ({{math|1=''N'' = 2}}) this reduces to:
:<math>R_\mathrm{ab} = R_a R_b \left(\frac 1 R_a+\frac 1 R_b\right) = \frac{R_a R_b(R_a + R_b)}{R_a R_b} = R_a + R_b</math>
For a dangling resistor ({{math|1=''N'' = 1}}) it results in the elimination of the resistor because <math>\tbinom{1}{2} = 0</math>.

===Source transformation===
[[Image:Sourcetransform.svg|thumb]]

A generator with an internal impedance (i.e. non-ideal generator) can be represented as either an ideal voltage generator or an ideal current generator plus the impedance.  These two forms are equivalent and the transformations are given below.  If the two networks are equivalent with respect to terminals ab, then {{mvar|V}} and {{mvar|I}} must be identical for both networks. Thus,

:<math>V_\mathrm{s} = RI_\mathrm{s}\,\!</math> or <math>I_\mathrm{s} = \frac{V_\mathrm{s}}{R}</math>
* [[Norton's theorem]] states that any two-terminal linear network can be reduced to an ideal current generator and a parallel impedance.
* [[Thévenin's theorem]] states that any two-terminal linear network can be reduced to an ideal voltage generator plus a series impedance.

==Simple networks==
Some very simple networks can be analysed without the need to apply the more systematic approaches.

===Voltage division of series components===
{{main|voltage division}}
Consider n impedances that are connected in '''series'''. The voltage <math>V_i</math> across any impedance <math>Z_i</math> is

:<math>V_i = Z_iI = \left( \frac{Z_i}{Z_1 + Z_2 + \cdots + Z_n} \right)V</math>

===Current division of parallel components===
{{main|current division}}
Consider n admittances that are connected in '''parallel'''. The current <math>I_i</math> through any admittance <math>Y_i</math> is

:<math>I_i = Y_iV = \left( \frac{Y_i}{Y_1 + Y_2 + \cdots + Y_n} \right)I</math>

for <math>i = 1,2,...,n.</math>

====Special case: Current division of two parallel components====
:<math>I_1 = \left( \frac{Z_2}{Z_1 + Z_2} \right)I</math>
:<math>I_2 = \left( \frac{Z_1}{Z_1 + Z_2} \right)I</math>

==Nodal analysis==
{{section howto|date=October 2022}}
{{main|nodal analysis}}
Nodal analysis uses the concept of a node voltage and considers the node voltages to be the unknown variables.{{r|"Circuit Analysis, Chen"|p=2-8 - 2-9}} For all nodes, except a chosen reference node, the node voltage is defined as the voltage drop from the node to the reference node. Therefore, there are N-1 node voltages for a circuit with N nodes.{{r|"Circuit Analysis, Chen"|p=2-10}}

In principle, nodal analysis uses [[Kirchhoff's current law]] (KCL) at N-1 nodes to get N-1 independent equations. Since equations generated with KCL are in terms of currents going in and out of nodes, these currents, if their values are not known, need to be represented by the unknown variables (node voltages). For some elements (such as resistors and capacitors) getting the element currents in terms of node voltages is trivial.

For some common elements where this is not possible, specialized methods are developed. For example, a concept called supernode is used for circuits with independent voltage sources.{{r|"Circuit Analysis, Chen"|p=2-12 - 2-13}}

# Label all '''nodes''' in the circuit. Arbitrarily select any node as reference.
# Define a voltage variable from every remaining node to the reference. These voltage variables must be defined as voltage rises with respect to the reference node.
# Write a KCL equation for every node except the reference.
# Solve the resulting system of equations.

==Mesh analysis==
{{section howto|date=October 2022}}
{{main|mesh analysis}}

[[Mesh]]&nbsp;— a loop that does not contain an inner loop.

# Count the number of “window panes” in the circuit. Assign a mesh current to each window pane.
# Write a [[Kirchhoff's circuit laws|KVL]] equation for every mesh whose current is unknown.
# Solve the resulting equations

==Superposition==
{{Main|Superposition theorem}}

In this method, the effect of each generator in turn is calculated. All the generators other than the one being considered are removed and either short-circuited in the case of voltage generators or open-circuited in the case of current generators. The total current through or the total voltage across a particular branch is then calculated by summing all the individual currents or voltages.

There is an underlying assumption to this method that the total current or voltage is a linear superposition of its parts. Therefore, the method cannot be used if non-linear components are present. <ref name="Circuit Analysis, Chen">{{cite book |last=Chen |first=Wai-Kai |date=2005 |title=Circuit Analysis and Feedback Amplifier Theory |publisher=CRC Press |isbn=1420037277}}</ref>{{rp|pages=6-14}} Superposition of powers cannot be used to find total power consumed by elements even in linear circuits.  Power varies according to the square of total voltage or current and the square of the sum is not generally equal to the sum of the squares.  Total power in an element can be found by applying superposition to the voltages and current independently and then calculating power from the total voltage and current.

==Choice of method==
Choice of method<ref name="ElectricCircuits">{{cite book |last1 = Nilsson | first1 = James W. | last2 = Riedel | first2 = Susan A. |title=Electric Circuits |publisher=Pearson Prentice Hall  |year=2007 |isbn=978-0-13-198925-2 |edition=8th |url=https://books.google.com/books?id=sxmM8RFL99wC }}</ref>{{rp|pp=112–113}} is to some extent a matter of taste. If the network is particularly simple or only a specific current or voltage is required then ad-hoc application of some simple equivalent circuits may yield the answer without recourse to the more systematic methods.
* [[Nodal analysis]]: The number of voltage variables, and hence simultaneous equations to solve, equals the number of nodes minus one. Every voltage source connected to the reference node reduces the number of unknowns and equations by one.
* [[Mesh analysis]]: The number of current variables, and hence simultaneous equations to solve, equals the number of meshes. Every current source in a mesh reduces the number of unknowns by one. Mesh analysis can only be used with networks which can be drawn as a [[Planar graph|planar]] network, that is, with no crossing components.<ref name="ElectricCircuits"/>{{rp|p=94}}
* [[Superposition theorem|Superposition]] is possibly the most conceptually simple method but rapidly leads to a large number of equations and messy impedance combinations as the network becomes larger.
* [[Effective medium approximations]]: For a network consisting of a high density of random resistors, an exact solution for each individual element may be impractical or impossible. Instead, the effective resistance and current distribution properties can be modelled in terms of [[Graph (discrete mathematics)|graph]] measures and geometrical properties of networks.<ref>{{Cite journal|last1=Kumar|first1=Ankush|last2=Vidhyadhiraja|first2=N. S.| last3=Kulkarni|first3=G. U .|year=2017|title=Current distribution in conducting nanowire networks|journal=Journal of Applied Physics| volume=122|issue=4|pages=045101|doi=10.1063/1.4985792|bibcode=2017JAP...122d5101K}}</ref>

==Transfer function==
A [[transfer function]] expresses the relationship between an input and an output of a network. For resistive networks, this will always be a simple real number or an expression which boils down to a real number. Resistive networks are represented by a system of simultaneous algebraic equations. However, in the general case of linear networks, the network is represented by a system of simultaneous linear differential equations. In network analysis, rather than use the differential equations directly, it is usual practice to carry out a [[Laplace transform]] on them first and then express the result in terms of the Laplace parameter s, which in general is [[Complex number|complex]]. This is described as working in the [[s-domain]].  Working with the equations directly would be described as working in the time (or t) domain because the results would be expressed as time varying quantities. The Laplace transform is the mathematical method of transforming between the s-domain and the t-domain.

This approach is standard in [[control theory]] and is useful for determining [[Stable polynomial|stability]] of a system, for instance, in an amplifier with feedback.

===Two terminal component transfer functions===
For two terminal components the transfer function, or more generally for non-linear elements, the [[constitutive equation]], is the relationship between the current input to the device and the resulting voltage across it. The transfer function, Z(s), will thus have units of impedance, ohms. For the three passive components found in electrical networks, the transfer functions are;
{|
|-
|Resistor||<math>Z(s)=R\,\!</math>
|-
|Inductor||<math>Z(s)=sL\,\!</math>
|-
|Capacitor||<math>Z(s)=\frac{1}{sC}</math>
|}

For a network to which only steady ac signals are applied, s is replaced with ''jω'' and the more familiar values from ac network theory result.

{|
|-
|Resistor||<math>Z(j\omega)=R\,\!</math>
|-
|Inductor||<math>Z(j\omega)=j\omega L\,\!</math>
|-
|Capacitor||<math>Z(j\omega)=\frac{1}{j\omega C}</math>
|}

Finally, for a network to which only steady dc is applied, s is replaced with zero and dc network theory applies.

{|
|-
|Resistor||<math>Z=R\,\!</math>
|-
|Inductor||<math>Z=0\,\!</math>
|-
|Capacitor||<math>Z=\infin \,\!</math>
|}

===Two port network transfer function===
Transfer functions, in general, in control theory are given the symbol H(s). Most commonly in electronics, transfer function is defined as the ratio of output voltage to input voltage and given the symbol A(s), or more commonly (because analysis is invariably done in terms of sine wave response), ''A''(''jω''), so that;
<math display="block">A(j\omega)=\frac{V_o}{V_i}</math>

The ''A'' standing for attenuation, or amplification, depending on context. In general, this will be a complex function of ''jω'', which can be derived from an analysis of the impedances in the network and their individual transfer functions.  Sometimes the analyst is only interested in the magnitude of the gain and not the phase angle.  In this case the complex numbers can be eliminated from the transfer function and it might then be written as;
<math display="block">A(\omega)=\left|{\frac{V_o}{V_i}}\right|</math>

====Two port parameters====
{{main|Two-port network}}
The concept of a two-port network can be useful in network analysis as a [[black box]] approach to analysis. The behaviour of the two-port network in a larger network can be entirely characterised without necessarily stating anything about the internal structure.  However, to do this it is necessary to have more information than just the A(jω) described above. It can be shown that four such parameters are required to fully characterise the two-port network. These could be the forward transfer function, the input impedance, the reverse transfer function (i.e., the voltage appearing at the input when a voltage is applied to the output) and the output impedance. There are many others (see the main article for a full listing), one of these expresses all four parameters as impedances.  It is usual to express the four parameters as a matrix;
<math display="block">
\begin{bmatrix}
  V_1 \\
  V_0
\end{bmatrix}
=
\begin{bmatrix}
  z(j\omega)_{11} & z(j\omega)_{12} \\
  z(j\omega)_{21} & z(j\omega)_{22}
\end{bmatrix}
\begin{bmatrix}
  I_1 \\
  I_0
\end{bmatrix}
</math>

The matrix may be abbreviated to a representative element;

<math> \left [z(j\omega) \right] </math> or just <math> \left [z \right] </math>

These concepts are capable of being extended to networks of more than two ports. However, this is rarely done in reality because, in many practical cases, ports are considered either purely input or purely output. If reverse direction transfer functions are ignored, a multi-port network can always be decomposed into a number of two-port networks.

====Distributed components====
Where a network is composed of discrete components, analysis using two-port networks is a matter of choice, not essential. The network can always alternatively be analysed in terms of its individual component transfer functions. However, if a network contains [[distributed-element model|distributed components]], such as in the case of a [[transmission line]], then it is not possible to analyse in terms of individual components since they do not exist. The most common approach to this is to model the line as a two-port network and characterise it using two-port parameters (or something equivalent to them). Another example of this technique is modelling the carriers crossing the base region in a high frequency transistor. The base region has to be modelled as distributed resistance and capacitance rather than [[Lumped parameters|lumped components]].

====Image analysis====
{{Main|Image impedance}}
Transmission lines and certain types of filter design use the image method to determine their transfer parameters. In this method, the behaviour of an infinitely long cascade connected chain of identical networks is considered. The input and output impedances and the forward and reverse transmission functions are then calculated for this infinitely long chain. Although the theoretical values so obtained can never be exactly realised in practice, in many cases they serve as a very good approximation for the behaviour of a finite chain as long as it is not too short.

== Time-based network analysis with simulation ==
{{see also|Electronic circuit simulation}}
Most analysis methods calculate the voltage and current values for static networks, which are circuits consisting of memoryless components only but have difficulties with complex dynamic networks. In general, the equations that describe the behaviour of a dynamic circuit are in the form of a [[differential-algebraic system of equations]] (DAEs). DAEs are challenging to solve and the methods for doing so are not yet fully understood and developed (as of 2010). Also, there is no general theorem that guarantees solutions to DAEs will exist and be unique. <ref name="Circuit Simulation, Najm">{{cite book |last=Najm |first=Farid N. |date=2010 |title=Circuit Simulation |publisher=John Wiley & Sons |isbn=9780470538715}}</ref>{{rp|pages=204-205}} In special cases, the equations of the dynamic circuit will be in the form of an [[ordinary differential equation|ordinary differential equations]] (ODE), which are easier to solve, since numerical methods for solving ODEs have a rich history, dating back to the late 1800s. One strategy for adapting ODE solution methods to DAEs is called direct discretization and is the method of choice in circuit simulation. {{r|"Circuit Simulation, Najm"|p=204-205}}

Simulation-based methods for time-based network analysis solve a circuit that is posed as an [[initial value problem]] (IVP). That is, the values of the components with memories (for example, the voltages on capacitors and currents through inductors) are given at an initial point of time {{math|t<sub>0</sub>}}, and the analysis is done for the time <math>t_0\leq t\leq t_f</math>. {{r|"Circuit Simulation, Najm"|p=206-207}} Since finding numerical results for the infinite number of time points from {{math|t<sub>0</sub>}} to {{math|t<sub>f</sub>}} is not possible, this time period is discretized into discrete time instances, and the numerical solution is found for every instance. The time between the time instances is called the time step and can be fixed throughout the whole simulation or may be [[adaptive step size|adaptive]].

In an IVP, when finding a solution for time {{math|t<sub>n+1</sub>}}, the solution for time {{math|t<sub>n</sub>}} is already known. Then, [[temporal discretization]] is used to replace the derivatives with differences, such as <math display="block">x'(t_{n+1}) \approx \frac{x_{n+1}-x_n}{h_{n+1}}</math> for the [[backward Euler method]], where {{math|h<sub>n+1</sub>}} is the time step. {{r|"Circuit Simulation, Najm"|p=266}}

If all circuit components were linear or the circuit was linearized beforehand, the equation system at this point is a [[system of linear equations]] and is solved with [[numerical linear algebra]] methods. Otherwise, it is a nonlinear algebraic equation system and is solved with [[Equation solving#Numerical methods|nonlinear numerical methods]] such as [[Root-finding algorithms]].

=== Comparison to other methods ===
Simulation methods are much more applicable than [[Laplace transform]] based methods, such as [[Network analysis (electrical circuits)#Transfer function|transfer functions]], which only work for simple dynamic networks with capacitors and inductors. Also, the input signals to the network cannot be arbitrarily defined for Laplace transform based methods.

==Non-linear networks==
Most electronic designs are, in reality, non-linear. There are very few that do not include some semiconductor devices. These are invariably non-linear, the transfer function of an ideal semiconductor [[p-n junction]] is given by the very non-linear relationship;

:<math>i = I_o \left(e^{{v}/{V_T}}-1\right)</math>

where;
* ''i'' and ''v'' are the instantaneous current and voltage.
* ''I<sub>o</sub>'' is an arbitrary parameter called the reverse leakage current whose value depends on the construction of the device.
* ''V<sub>T</sub>'' is a parameter proportional to temperature called the thermal voltage and equal to about 25mV at room temperature.

There are many other ways that non-linearity can appear in a network. All methods utilising linear superposition will fail when non-linear components are present.  There are several options for dealing with non-linearity depending on the type of circuit and the information the analyst wishes to obtain.

===Constitutive equations===
The [[diode]] equation above is an example of an [[Electrical element#Non-linear elements|element constitutive equation]] of the general form,

:<math>f(v,i) = 0 </math>

This can be thought of as a non-linear resistor.  The corresponding constitutive equations for non-linear inductors and capacitors are respectively;

:<math>f(v, \varphi) = 0 </math>
:<math>f(v, q) = 0 </math>

where ''f'' is any arbitrary function, ''φ'' is the stored magnetic flux and ''q'' is the stored charge.

===Existence, uniqueness and stability===
An important consideration in non-linear analysis is the question of uniqueness. For a network composed of linear components there will always be one, and only one, unique solution for a given set of boundary conditions. This is not always the case in non-linear circuits.  For instance, a linear resistor with a fixed current applied to it has only one solution for the voltage across it.  On the other hand, the non-linear [[tunnel diode]] has up to three solutions for the voltage for a given current.  That is, a particular solution for the current through the diode is not unique, there may be others, equally valid. In some cases there may not be a solution at all: the question of existence of solutions must be considered.

Another important consideration is the question of stability. A particular solution may exist, but it may not be stable, rapidly departing from that point at the slightest stimulation.  It can be shown that a network that is absolutely stable for all conditions must have one, and only one, solution for each set of conditions.<ref>Ljiljana Trajković, "Nonlinear circuits", ''The Electrical Engineering Handbook'' (Ed: Wai-Kai Chen), pp. 79–81, Academic Press, 2005 {{ISBN|0-12-170960-4}}</ref>

===Methods===

====Boolean analysis of switching networks====
A switching device is one where the non-linearity is utilised to produce two opposite states. CMOS devices in digital circuits, for instance, have their output connected to either the positive or the negative supply rail and are never found at anything in between except during a transient period when the device is switching.  Here the non-linearity is designed to be extreme, and the analyst can take advantage of that fact.  These kinds of networks can be analysed using [[Boolean algebra (logic)|Boolean algebra]] by assigning the two states ("on"/"off", "positive"/"negative" or whatever states are being used) to the boolean constants "0" and "1".

The transients are ignored in this analysis, along with any slight discrepancy between the state of the device and the nominal state assigned to a boolean value. For instance, boolean "1" may be assigned to the state of +5V.  The output of the device may be +4.5V but the analyst still considers this to be boolean "1". Device manufacturers will usually specify a range of values in their data sheets that are to be considered undefined (i.e. the result will be unpredictable).

The transients are not entirely uninteresting to the analyst. The maximum rate of switching is determined by the speed of transition from one state to the other. Happily for the analyst, for many devices most of the transition occurs in the linear portion of the devices transfer function and linear analysis can be applied to obtain at least an approximate answer.

It is mathematically possible to derive [[Boolean algebra (structure)|boolean algebra]]s that have more than two states. There is not too much use found for these in electronics, although three-state devices are passingly common.

====Separation of bias and signal analyses====
This technique is used where the operation of the circuit is to be essentially linear, but the devices used to implement it are non-linear. A transistor amplifier is an example of this kind of network. The essence of this technique is to separate the analysis into two parts.  Firstly, the dc [[Biasing (electronics)|biases]] are analysed using some non-linear method. This establishes the [[Biasing|quiescent]] operating point of the circuit. Secondly, the [[small signal]] characteristics of the circuit are analysed using linear network analysis. Examples of methods that can be used for both these stages are given below.

====Graphical method of dc analysis====
In a great many circuit designs, the dc bias is fed to a non-linear component via a resistor (or possibly a network of resistors). Since resistors are linear components, it is particularly easy to determine the quiescent operating point of the non-linear device from a graph of its transfer function. The method is as follows: from linear network analysis the output transfer function (that is output voltage against output current) is calculated for the network of resistor(s) and the generator driving them. This will be a straight line (called the [[load line (electronics)|load line]]) and can readily be superimposed on the transfer function plot of the non-linear device. The point where the lines cross is the quiescent operating point.

Perhaps the easiest practical method is to calculate the (linear) network open circuit voltage and short circuit current and plot these on the transfer function of the non-linear device. The straight line joining these two point is the transfer function of the network.

In reality, the designer of the circuit would proceed in the reverse direction to that described. Starting from a plot provided in the manufacturers data sheet for the non-linear device, the designer would choose the desired operating point and then calculate the linear component values required to achieve it.

It is still possible to use this method if the device being biased has its bias fed through another device which is itself non-linear, a diode for instance. In this case however, the plot of the network transfer function onto the device being biased would no longer be a straight line and is consequently more tedious to do.

====Small signal equivalent circuit====
{{main|Small-signal model}}
This method can be used where the deviation of the input and output signals in a network stay within a substantially linear portion of the non-linear devices transfer function, or else are so small that the curve of the transfer function can be considered linear.  Under a set of these specific conditions, the non-linear device can be represented by an equivalent linear network.  It must be remembered that this equivalent circuit is entirely notional and only valid for the small signal deviations.  It is entirely inapplicable to the dc biasing of the device.

For a simple two-terminal device, the small signal equivalent circuit may be no more than two components.  A resistance equal to the slope of the v/i curve at the operating point (called the dynamic resistance), and tangent to the curve.  A generator, because this tangent will not, in general, pass through the origin.  With more terminals, more complicated equivalent circuits are required.

A popular form of specifying the small signal equivalent circuit amongst transistor manufacturers is to use the two-port network parameters known as [[two-port network#Hybrid parameters (h-parameters)|[h] parameters]].  These are a matrix of four parameters as with the [z] parameters but in the case of the [h] parameters they are a hybrid mixture of impedances, admittances, current gains and voltage gains.  In this model the three terminal transistor is considered to be a two port network, one of its terminals being common to both ports.  The [h] parameters are quite different depending on which terminal is chosen as the common one.  The most important parameter for transistors is usually the forward current gain, h<sub>21</sub>, in the common emitter configuration.  This is designated h<sub>fe</sub> on data sheets.

The small signal equivalent circuit in terms of two-port parameters leads to the concept of dependent generators.  That is, the value of a voltage or current generator depends linearly on a voltage or current elsewhere in the circuit.  For instance the [z] parameter model leads to dependent voltage generators as shown in this diagram;

[[Image:Z-equivalent two port.png|thumbnail|none|400px|[z] parameter equivalent circuit showing dependent voltage generators]]

There will always be dependent generators in a two-port parameter equivalent circuit.  This applies to the [h] parameters as well as to the [z] and any other kind.  These dependencies must be preserved when developing the equations in a larger linear network analysis.

====Piecewise linear method====
In this method, the transfer function of the non-linear device is broken up into regions.  Each of these regions is approximated by a straight line.  Thus, the transfer function will be linear up to a particular point where there will be a discontinuity.  Past this point the transfer function will again be linear but with a different slope.

A well known application of this method is the approximation of the transfer function of a pn junction diode.  The transfer function of an ideal diode has been given at the top of this (non-linear) section.  However, this formula is rarely used in network analysis, a piecewise approximation being used instead.  It can be seen that the diode current rapidly diminishes to -I<sub>o</sub> as the voltage falls.  This current, for most purposes, is so small it can be ignored.  With increasing voltage, the current increases exponentially.  The diode is modelled as an open circuit up to the knee of the exponential curve, then past this point as a resistor equal to the [[bulk resistance]] of the semiconducting material.

The commonly accepted values for the transition point voltage are 0.7V for silicon devices and 0.3V for germanium devices.  An even simpler model of the diode, sometimes used in switching applications, is short circuit for forward voltages and open circuit for reverse voltages.

The model of a forward biased pn junction having an approximately constant 0.7V is also a much used approximation for transistor base-emitter junction voltage in amplifier design.

The piecewise method is similar to the small signal method in that linear network analysis techniques can only be applied if the signal stays within certain bounds.  If the signal crosses a discontinuity point then the model is no longer valid for linear analysis purposes.  The model does have the advantage over small signal however, in that it is equally applicable to signal and dc bias. These can therefore both be analysed in the same operations and will be linearly superimposable.

===Time-varying components===
In linear analysis, the components of the network are assumed to be unchanging, but in some circuits this does not apply, such as sweep oscillators, [[voltage controlled amplifier]]s, and variable [[Electronic filter|equalisers]].  In many circumstances the change in component value is periodic. A non-linear component excited with a periodic signal, for instance, can be represented as a periodically varying ''linear'' component. [[Sidney Darlington]] disclosed a method of analysing such periodic time varying circuits. He developed canonical circuit forms which are analogous to the canonical forms of [[Ronald M. Foster]] and [[Wilhelm Cauer]] used for analysing linear circuits.<ref>{{Ref patent |country=US |number=3265973 |status=patent |title=Synthesis of two-port networks having periodically time-varying elements |gdate=1966-08-09 |fdate=1962-05-16 |inventor=Sidney Darlington, Irwin W. Sandberg }}</ref>

===Vector circuit theory===
{{see also|Spintronics}}

Generalization of circuit theory based on scalar quantities to vectorial currents is a necessity for newly evolving circuits such as spin circuits.{{clarify|date=November 2018}}  Generalized circuit variables consist of four components: scalar current and vector spin current in x, y, and z directions. The voltages and currents each become vector quantities with conductance described as a 4x4 spin conductance matrix.{{Citation needed|reason=Ref needed to show this is a mainstream, or accepted, idea beyond the proposing paper|date=November 2018}}

==See also==
* [[Bartlett's bisection theorem]]
* [[Kirchhoff's circuit laws]]
* [[Millman's theorem]]
* [[Modified nodal analysis]]
* [[Ohm's law]]
* [[Reciprocity (electrical networks)]]
* [[Tellegen's theorem]]
* [[Symbolic circuit analysis]]

==References==
{{reflist|25em}}

==External links==
* [https://feynmanlectures.caltech.edu/II_22.html The Feynman Lectures on Physics Vol. II Ch. 22: AC Circuits]

{{DEFAULTSORT:Network Analysis (Electrical Circuits)}}

[[Category:Electrical engineering]]
[[Category:Electronic design]]