Abstract
The theory of linear time-varying systems can be extended to weakly-nonlinear time-varying (WNTV) systems in a similar way as we did for linear time-invariant systems. In this chapter we first define WNTV systems mathematically and highlight some important differences from the theory of WNTI systems. We then discuss weakly-nonlinear periodically time-varying (WNPTV) systems. These type of systems generate a characteristic spectrum that is relatively easy to describe and is relevant, for example, in the study and design of communication systems.
You have full access to this open access chapter, Download chapter PDF
The theory of linear time-varying systems can be extended to weakly-nonlinear time-varying (WNTV) systems in a similar way as we did for linear time-invariant systems. In this chapter we first define WNTV systems mathematically and highlight some important differences from the theory of WNTI systems. We then discuss weakly-nonlinear periodically time-varying (WNPTV) systems. These type of systems generate a characteristic spectrum that is relatively easy to describe and is relevant, for example, in the study and design of communication systems.
1 Weakly Nonlinear Time-Varying Systems
1.1 Definition
A Weakly-nonlinear time-varying system is defined as a system whose response to the input signal x can be described by
The operator \(\star \) is the extension of the operator introduced in Sect. 12.2.2 to higher dimensions. For causal systems described by regular distributions and driven by a right sided input x it is defined by
\(w_k\) is the kth order fundamental kernel of the system. As for WNTI systems, to guarantee uniqueness, we require it to be symmetric in the variables \(\tau _1,\dotsc ,\tau _k\).
Generalizations valid for a wider class of input signals can be done in the same way as was done for LTV systems. Note that \(w_k\star x^{\otimes k}\) is a distribution of the single variable t and not a higher dimensional distribution as for WNTI systems. The reason for this is explained next.
Consider a WNTV system described by a differential equation of the form
with
and where all coefficients \(a_i, b_i\) and \(c_i\) are indefinitely differentiable functions. The equation can be solved iteratively as in the case of WNTI systems. We first solve the linear part of the equation. The solution \(y_1\) is then used in the nonlinear terms to compute “nonlinear sources” of second order. With them we solve the part of the equation consisting of terms of second order only, a linear equation, and so on.
There is an important difference compared to the case of WNTI systems: in the case of WNTI systems, to get around the lack of a general multiplication between arbitrary distributions, we made use of a direct product of distributions and introduced a multiplication based on the tensor product. Here the same method doesn’t work as the coefficients of the differential equation are functions of the single time variable t and it is unclear how to adapt them for use with higher order distributions. For this reason here the responses of all orders \(y_k\) are distributions of the single variable t. To solve the equation we must therefore assume the existence of all appearing multiplications and powers \(y^n, k=2,3,\dotsc \).
If we consider t as a fix parameter then the multiplication between components of y act as a tensor product like operation. Consider the product between \(y_k\) and \(y_l\)
The result has the form of a response of order \(k+l\) which can be interpreted as a “nonlinear source” generated by nonlinearities and lower order responses as desired.
To solve the equation we must be able to solve the equation for each order independently and verify that it has the desired form. Solving the equations is (in principle) simple as all equations are linear. The solution of the equation consisting of terms of order k is given by
with \(z_k\star x^{\otimes k}\) the nonlinear source and v the fundamental kernel of the equation.
To show that this expression can be transformed in the desire form, consider the integral
As a first step we exchange the order of integration between \(\tau \) and \(\tau _1\) and obtain
We then perform a second exchange between \(\tau _2\) and \(\tau \) (refer to Fig. 13.1) which results in
If the integral would involve more integrations between 0 and \(\tau \) then we could repeat the last step more times giving
Using this result we can transform the above expression for \(y_k(t)\) into
which has the desired form \(w_k \star x^{\otimes k}\).
1.2 Time-Varying Nonlinear Impulse Responses
As for LTV systems, the response of WNTV systems can also be expressed in terms of the time-varying nonlinear impulse responses
and the convolution operator \(*_t\) for time varying systems
Example 13.1
Consider a WNTV system described by the following differential equation
We are interested in the second order fundamental kernel of the system.
The fundamental kernel of the linearized equation is given by (12.26) which, taking into account the commutativity of the product of scalar functions simplifies to
With it the linear response of the system is
Given \(y_1\) we can compute the “nonlinear source” of second order
With it we can then solve the equation consisting of terms of second order only
The fundamental kernel of this equation is the same as the one of the first order equation. The second order response of the system is therefore
The second order fundamental kernel of the system can be found by comparing this expression with \(y_2=w_2(t,\tau _1, \tau _2) \star x^{\otimes 2}(\tau _1, \tau _2)\) giving
As a check we verify that in the special case in which a(t) is constant we obtain the same result as in Example 9.5. Evaluating the integrals gives
and, after the variable substitutions \(\xi _i = t - \tau _i, i=1,2\) we indeed obtain an expression equivalent to \(h_2\) in Example 9.5.
1.3 Time-Varying Nonlinear Frequency Responses
Weakly-nonlinear time-varying systems can equivalently be characterised by time-varying nonlinear frequency responses. The kth order one is defined as the Fourier transform with respect to \(\xi _1,\dotsc ,\xi _k\) of the impulse response \(h_k(t,\xi _1,\dotsc ,\xi _k)\). For regular distributions
with \(\omega , \xi \in {\mathbb {R}}^k\).
The response of order k of a system can be calculated by
The derivation is entirely analogous to the one dimensional case carried out in Sect. 12.4.1.
2 Weakly Nonlinear Periodically Time-Varying Systems
Weakly nonlinear periodically time-varying (WNPTV) systems are weakly nonlinear systems whose characteristics vary periodically in time. In other words, their fundamental kernels, impulse responses and frequency responses are periodic functions of time and can therefore be expanded in Fourier series. For example, the kth order frequency response of a \({\mathcal {T}}\)-periodic system can be represented by the series
with \(\omega _{\mathcal {T}}= 2\pi /{\mathcal {T}}\). This representation highlights the fact that such systems can be represented by a parallel connection of a countable set of weakly nonlinear time-invariant networks whose outputs are shifted in frequency by a multiple of \(\omega _{\mathcal {T}}\) (see Fig. 13.2). Practical applications where this representation is particularly useful include the analysis and design of communication systems.
In the rest of this section we focus on the special case in which weakly nonlinear periodically time-varying systems are driven by a set of tones. This will reveal a spectrum characteristic of this type of systems.
2.1 Discrete Convolution
Before turning to actually calculating the response of WNPTV systems driven by a set of tones, it’s convenient to introduce some notation that will simplify many expressions.
A series \(\sum \limits _{n=-\infty }^\infty a_n\) is absolutely convergent if the sum of the absolute values of the terms converges
In this case the value of the series doesn’t depend on the order of the elements. The product of two absolutely convergent series \(\sum _{n=-\infty }^\infty a_n\) and \(\sum _{n=-\infty }^\infty b_n\) is also absolutely convergent
and can be expressed as
The inner sum in the last expression is called discrete convolution (or Cauchy product). For convenience, we are going to denote it by
The discrete convolution is associative and commutative
and has a unit element, the Kronecker delta
2.2 Product of Fourier Series
In the following we use the convention introduced in Sect. 4.5 of denoting the kth Fourier coefficient of a distribution f by \(c_k(f)\).
It is well known that if \(t \mapsto f(t)\) is a continuous \({\mathcal {T}}\)-periodic function, its Fourier series is absolutely convergent for all values of t [23]. If f and g are two such functions then their product is well-defined and continuous. In addition, the Fourier coefficients of the product can be expressed in terms of the coefficients of the individual series
The coefficients of the product are evidently the convolution product of the coefficients of the two series
Let now f and g be two \({\mathcal {T}}\)-periodic distributions. Let further introduce the sequences \((f_k)\) and \((g_k)\) defined by
with \((\beta _k)\) a sequence of functions in \({\mathcal {D}}\) converging to \(\delta \) (for example the sequence of Example 2.5). Then \((f_k)\) and \((g_k)\) are sequences of indefinitely differentiable functions converging as distributions to f and g respectively. The Fourier series of each member of each sequence is thus absolutely convergent.
If the product \(f \, g\) exists, then it defines a \({\mathcal {T}}\)-periodic distribution which must coincide with the limit of the sequence
The Fourier series of each member of the sequence can be written as
Therefore, from the assumption of convergence and the uniqueness of the Fourier series representation of periodic distributions we conclude that the Fourier coefficients of \(f \, g\) must be
Example 13.2
Consider the regular \({\mathcal {T}}\)-periodic distribution shown in Fig. 13.3 that we denote by f and whose Fourier coefficients are
From the graph it’s apparent that the product of f with itself is well-defined and produces the regular distribution with constant value 1. The Fourier coefficients are evidently all zero apart from the zeroth one whose value is one \(c_0(f\,f) = 1\). We show that, despite the fact that the Fourier series of f is not absolutely convergent, \(c_.(f) *_dc_.(f)\) produces the right answer.
First note that for n odd either \(c_q(f)\) or \(c_{n-q}(f)\) is zero for every value of q. Hence,
For n even the convolution product is
For the particular case \(n = 0\) the summation in the last expression can be written as
The zeroth coefficient is therefore
To evaluate the Fourier coefficient for \(n\ne 0\) it’s convenient to rewrite the summation as
In this form it’s apparent that for each value of n all terms cancel in pair (the kth with the \((n/2 + k)\)th), thus giving
2.3 Response to Multi-tones
Consider a weakly nonlinear periodically time-varying system described by the differential equation
with
and where all coefficients \(a_i, b_i\) and \(c_i\) are smooth \({\mathcal {T}}\)-periodic functions. We assume that the system is driven by N complex tones
with \(A_1,\dotsc ,A_N\) the phasors of the tones.
In Sect. 12.4.2 we saw that the solution of the linear part of the equation is given by
with \(\hat{h}_1\) the (first order) time-varying frequency response of the system. We also saw (Sect. 12.5.2) that \(t \mapsto \hat{h}(t,\omega _1)\) is a \({\mathcal {T}}\)-periodic function. Expanding it in a Fourier series, \(y_1\) can be written as
\(y_1\) is therefore a sum of tones at \(q\omega _{{\mathcal {T}}} + \omega _n\).
We now solve the nonlinear equation by adding terms to \(y_1\) in a similar way as we did for weakly nonlinear time invariant systems in Sect. 9.5. As explained in Sect. 13.1 here we must assume the existence of the powers \(y_1^k, k=2,3,\dotsc \) and the others that will appear below.
For the sake of solving the equation let’s assume that the frequencies \(\omega _{{\mathcal {T}}}, \omega _1,\dotsc ,\omega _N\) are all incommensurate. Under this assumption, the only power resulting in terms proportional to \(A_jA_l\textrm{e}^{\jmath (\omega _j + \omega _l)t}; j,l=1,\dotsc ,N\) is the second order one
with m the multi-index \(m=(m_1,\dotsc ,m_N)\) whose elements range from 0 to k (=2) and \(\omega _m\) as defined in (9.27) and repeated here for convenience
Similarly to the time invariant case we can assume that the solution of the nonlinear differential equation includes a term of second order \(y_2\) proportional to \(A_jA_l\textrm{e}^{\jmath (\omega _j + \omega _l)t}; j,l=1,\dotsc ,N\). \(y_2\) can be found by retaining only those terms in the equation that are proportional to \(A_jA_l\textrm{e}^{\jmath (\omega _j + \omega _l)t}\). The resulting equation is linear with \(c_2(t) y_1^2(t)\) playing the role of a source composed by tones. Exploiting linearity we can solve the equation for a single tone at \(q\omega _{{\mathcal {T}}} + \omega _1 + \omega _2\) and combine the results at the end
\(t \mapsto \hat{g}_{2,q}(t, \omega _1, \omega _2)\) is also \({\mathcal {T}}\)-periodic and can be expanded in a Fourier series
With it the second order term \(y_2\) is given by
which, with the change of variable \(l = q_1 + q_2\), can be rewritten as
with
The second order response of the system thus consists of tones at all possible sums of two of the input tone frequencies at a time, around each of the harmonics of the fundamental frequency of the system.
The higher order responses can be calculated in a similar manner. The kth order response has the form
and is composed by tones at all possible sums of k input tone frequencies at a time, around each of the harmonics of the system fundamental frequency. A comparison of the typical two tones response of LTI-. WNTI-, LPTV- and WNPTV-systems is shown in Fig. 13.4.
Note that the factor
appearing in the kth order response \(y_k\) is the Fourier series of the time-varying kth order nonlinear frequency response of the system \(\hat{h}_k(t, \omega _1,\dotsc ,\omega _k)\). It is related to \(\hat{h}_{k,m,l}\) by
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made.
The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
Copyright information
© 2024 The Author(s)
About this chapter
Cite this chapter
Beffa, F. (2024). Weakly Nonlinear Time-Varying Systems. In: Weakly Nonlinear Systems. Understanding Complex Systems. Springer, Cham. https://doi.org/10.1007/978-3-031-40681-2_13
Download citation
DOI: https://doi.org/10.1007/978-3-031-40681-2_13
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-40680-5
Online ISBN: 978-3-031-40681-2
eBook Packages: EngineeringEngineering (R0)