Abstract
In the context of district heating networks we consider a model for the distribution of energy through water (for heating or cooling) from a central power station to the consumers. We prove the well posedness of the system, by using the Banach Fixed Point Theorem together with stability estimates for reduced systems. Eventually we consider optimal control problems motivated by applications and we provide the existence of optimal controls in special situations.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
District heating (or cooling) networks (briefly DHN), also called teleheating, is a system, which permits to distribute heat, generated in a centralized place called power station or combined heat and power plant (briefly CHP), to residential houses, commercial and industrial sites. The heat is transported along a network of pipes, filled with an incompressible fluid, typically water. Despite the initial costs due to the construction of the whole network, this system typically results in a high efficiency, in a smaller production of pollution compared to localized heat generators, and in reduced costs for final users in a long time scale.
Here we present, from a mathematical point of view, a complete teleheating system, modeled by ordinary and partial differential equations on a graph; see also [3, 32]. Such equations describe both the fluid dynamics inside the pipes’ network and the energy distribution towards the final consumers. Our main result consists in proving the existence of a unique solution to such a system and the continuous dependence of the solution from the initial and boundary conditions. This result opens the road for the study of optimal ways for heat distribution. In simple cases we also present optimal control problems and we show that optimal controls do exist; see [32] for finding optimal controls in a reduced case and Remark 3.11.
The model considered here is constructed starting from by the classic Euler system [29], which describes the evolution of a fluid through macroscopic quantities: density, linear momentum and energy. For results on Euler systems on networks we refer to [7,8,9, 12, 23] and references therein. In the present framework, since the fluid’s incompressibility, in each pipe the velocity of the fluid is described by an ordinary differential equation. Furthermore at junctions coupling conditions can be given in a fixed form, since no change of characteristics can occur. For compressible flows this is a truly challenging problem.
In the present case, the heat energy satisfies a hyperbolic advection equation, since it is transported along each tube according to the fluid velocity. At junctions suitable coupling conditions provide the mass and energy conservation and distribution rules over the pipes. We use coupling conditions slightly different from those considered in [32] with the aim of avoiding low regularity of the solution. Note that although the energy equations are linear, nonlinear effects can occur due to the coupling. In [31, Sect. 3.2 ] a minimal example is given, how discontinuous solutions can occur even with smooth input data. In this example two neighboring consumers are directly supplied by the power plant, but also mutually connected by an additional pipe. The flow in this additional pipe is always pointing towards the consumer with the larger demand. Thus, if the demands change, the flow changes its direction and a different temperature can enter the pipe.
Partial differential equations on networks attracted a lot of interest in the last years, mainly due to applications, which range from traffic flow [25] to gas distribution [11, 26], irrigation channels [17, 21], sewer networks [2] and flexible strings [15, 22, 28]. In this setting, coupling conditions at nodes play an important role, since they strongly influence the existence, the well posedness, and the qualitative properties of the solution.
The proof of the main result is obtained through the classical Banach Fixed Point Theorem and through ad-hoc stability estimates. The most delicate part consists in deducing stability and total variation estimates for the energy subsystem. This is due to the fact that the energy evolves according to a transport equation whose characteristic curves move with speed given by the fluid velocity. Even for simple networks the direction of the flow can change arbitrarily often. This fact produces solutions for the energy functions whose traces at the nodes have low regularity. Such stability estimates e.g. are missing in [33].
The paper is organized as follows. In Sect. 2 we construct in detail the model starting from reduced systems, which describe the hydrodynamics part and the energy part. In Sect. 3 we state and prove the main result of the paper. Moreover we introduce the control problems and we show the existence of optimal controls in various situations. Finally, in the appendix, there are the detailed proofs of the stability of the advection equation w.r.t. the velocity of the flow and several auxiliary results.
2 The Model
In this section, we illustrate in detail the system for the description of the district heating network, starting from the definition of a network used in the paper.
Definition 2.1
The hydraulic network is a couple \({\mathcal {G}} = \left( {\mathcal {I}}, {\mathcal {J}}\right) \) with the following properties.
-
1.
\({\mathcal {I}} = \left\{ 1, \ldots , {N_{\mathcal {I}}}\right\} \) is the set of the indices enumerating the edges or pipes. For every \(i \in {\mathcal {I}}\), the corresponding edge \(I_i\) is modeled by the one-dimensional interval \([a_i, b_i]\). We denote with \(A^i\) the sectional area of the pipe \(I_i\), i.e. \(A^i = \pi r_i^2\) where \(r_i\) is the constant radius of the i-th tube.
-
2.
\({\mathcal {J}} = \left\{ J_1, \ldots , J_{M}\right\} \) is the set of internal nodes. Each node \(J_j\) is described by the set
$$\begin{aligned} J_j = \left\{ {j_1}, \ldots , {j_{{M}_j}}\right\} \subseteq {\mathcal {I}}, \end{aligned}$$i.e. by the indices of the edges connected to the node \(J_j\). Moreover we denote by \(\textrm{inc}(J_j) \subseteq J_j\) and by \(\textrm{out}(J_j) \subseteq J_j\) respectively the incoming and outgoing edges for the node \(J_j\), according to the edge’s parametrization, i.e. we have \(i\in \textrm{inc}(J_j)\) (resp. \(i\in \textrm{out}(J_j)\)) with \(I_i = [a_i, b_i]\) if the junction \(J_j\) is at \(x = b_i\) (resp. at \(x = a_i\)).
-
3.
\({\mathcal {I}}_P = \{1\} \subseteq {\mathcal {I}}\), i.e. the first pipe \(I_1\) is the only one connected to the power station. We assume that \(a_1\) corresponds to the power station position.
-
4.
\({\mathcal {I}}_H = \left\{ {h_1}, \ldots , {h_{N_H}}\right\} \subseteq {\mathcal {I}}\) consists in all the indices corresponding to the pipes connected to the houses. Therefore, for \(h_k\in {\mathcal {I}}_H\), \(b_{h_k}\) denotes the position of the \(h_k\)-th house, while \(a_{h_k}\) represents the position of the (last) internal node before the consumer’s house, thus of some junction \(J_k\).
Remark 2.2
Without loss of generalities, we assume that, for every junction \(J \in {\mathcal {J}}\), the sets of incoming and outgoing edges are not empty, i.e.
Note that for every \(J \in {\mathcal {J}}\),
Moreover we underline that the incoming and the outgoing edges are not determined by the sign of the velocity of the fluid inside the pipe, but only by the choice of the parametrization.
As stated in the introduction, in each pipe the starting point is the Euler system see [29, Chap. 1]
where t is time, \(x \in [a, b]\) the spatial parametrization, \(\rho \) denotes the density of the fluid, v is the velocity, p is the pressure, and e is the energy density. In the case of an incompressible fluid, the macroscopic variable \(\rho \) is constant, so that the first equation in (2.1) simply becomes \(\partial _x v=0\) and (2.1) reduces to
where the right hand side \(f = f(v)\) models the friction as well as gravitational effects, while the source term \(g = g(e)\) models the energy loss due to not perfect insulation.
Remark 2.3
Common choices for the source terms f and g in (2.2) are
The term \(-\frac{\uplambda }{2d}v|v|\) corresponds to the Darcy-Weisbach friction law of the fluid with the pipe’s walls (d is the pipe’s diameter and \(\uplambda \) is the friction factor). The source term \(- \gamma \, \partial _x h\) represents static pressure due to different elevations at the ends of the tube, where the constant \(\gamma \) is the gravitational acceleration and \(\partial _x h\) is the slope of the pipe.
Finally, the term \(-\frac{4\kappa }{d}\left( T(e)-T_{\infty }\right) \) models the energy loss due to heat flux over the pipe wall, where \(\kappa \) is the heat transmission coefficient of the pipe, T(e) is the fluid temperature depending on its energy density e and \(T_\infty \) is the external temperature.
In a district heating network, the heating power is distributed through water in a system of pipes. This can be described by considering a copy of (2.2) for each pipe \(I_i\), \(i \in {\mathcal {I}}\), of the network via suitable coupling conditions at nodes. The full system then can be divided into three different parts, namely the hydrodynamics part (briefly HYD), the consumer part, and the energy part. We describe them separately.
2.1 The Hydrodynamics Part
The flow in each pipe of the network, except those connected to a house, can be modeled by a copy of the first two equations of the complete incompressible Euler system (2.2), i.e. for every \(i \in {\mathcal {I}} \setminus {\mathcal {I}}_H\), by the system
Note that, since the incompressibility assumption holds, namely \(\partial _x v^i = 0\), each \(v^i\) is a function depending only on time; hence \(\partial _x p^i\) depends only on time, so that \(p^i\) is affine in x. For every \(i \in {\mathcal {I}}\setminus {\mathcal {I}}_H\), the initial condition for \(v^i\) is given by
Moreover, for every junction \(J \in {\mathcal {J}}\) and \(t > 0\), we consider the coupling conditions
The first equation states the conservation of mass. For constant density the mass flux in pipe j is the product of cross sectional area \(A^j\) and fluid velocity \(v^j\). The pipes are assumed to be filled completely for all times. The remaining equations provide the continuity of the pressure at the junction.
Finally, at the CHP we impose, for \(t > 0\), the boundary condition
Note that no initial condition for the pressure on the edges is needed. Indeed, thanks to the particular form of the second equation in (2.4) and to the compatibility condition (2.6), it is sufficient to provide the boundary condition at the CHP (2.7). For a later use, we consider the following assumptions:
- \(({\textbf {H.1}})\):
-
\(p^{1, b} \in \mathbf {L^{1}_{\textbf{loc}}} \left( (0, +\infty ); {\mathbb {R}}\right) \) and \(\textrm{TV}\left( p^{1, b}\right) < +\infty \).
- \(({\textbf {H.2}})\):
-
\(f\in \mathbf {C^{1}}\left( {\mathbb {R}};{\mathbb {R}}\right) \) satisfies \(v f(v) \le 0\) for every \(v \in {\mathbb {R}}\).
- \(({\textbf {H.3}})\):
-
For every \(i \in {\mathcal {I}}\), \(v^{i,o} \in {\mathbb {R}}\) satisfies \(\displaystyle \sum _{I_j\in J} A^jv^{j,o} = 0\).
2.2 The Consumers’ Part
For every \({k} \in {\mathcal {I}}_H\), denote by \(J_k\) the junction at position \(a_k\) and let \(Q_k(t)\) be the time dependent power demand of the consumer k. For every \({k} \in {\mathcal {I}}_H\), the velocity \(v^k\) is determined by an ordinary differential equation depending on the power demand \(Q_k\). More precisely, \(v^k\) is governed by the equation
where \(\alpha > 0\) is a relaxation parameter, \(e^{k,out}=e(T_{k,out})\) is the energy related to the fixed temperature level \(T_{k,out}\), to which the water inside the pipe is cooled down, and \(e_{J_{k}}\) is the energy at the starting node for consumer k. Note that equation (2.8) pushes \(v^k\) to the state \(Q_k(t) = A^k v^k (e_{J_{k}}(t) - e^{k,out})\).
We consider the following assumptions for the consumer subsystem:
- \(({\textbf {C.1}})\):
-
There exist two positive constants \(\overline{Q}_{max},{\overline{Q}}_{min} > 0\) such that, for every \(k \in \mathcal I_H\), \(Q_k \in \mathbf {L^{1}_{\textbf{loc}}} \left( (0, +\infty ); \left[ {\overline{Q}}_{min}, {\overline{Q}}_{max}\right] \right) \).
Finally we give the definition of solution for the system (2.4)–(2.8).
Definition 2.4
Fix \(T > 0\) and suppose that the assumptions (H.1), (H.2), (H.3), and (C.1) hold. Assume moreover that for every \(k \in {\mathcal {I}}_H\), the function \(t \mapsto e_{J_{k}}(t)\) is in \(\mathbf {L^1}\left( (0, T); {\mathbb {R}}\right) \).
A couple \(\left( p, v\right) = \left( \left( p^1, \ldots , p^{N_{\mathcal {I}}}\right) , \left( v^1, \ldots , v^{N_{\mathcal {I}}}\right) \right) \) is a solution to (2.4)–(2.8) on the time interval [0, T] if the following conditions are satisfied.
-
1.
For every \(i \in \left\{ 1, \ldots , {N_{\mathcal {I}}}\right\} \), the functions \(p^i\), and \(v^i\) satisfy the regularity assumptions:
-
(a)
\(p^i \in \mathbf {L^1}\left( (0, T); \mathbf {C^{1}}\left( [a_i, b_i]; {\mathbb {R}}\right) \right) \) and, for a.e. \(t \in [0, T]\), \(\partial _x p^i(t)\) does not depend on x.
-
(b)
\(v^i \in \textbf{AC}\left( [0, T]; {\mathbb {R}}\right) \).
-
(a)
-
2.
For every \(i \in \left\{ 1, \ldots , {N_{\mathcal {I}}}\right\} \), \(v^i(0) = v^{i,o}\) and \(p^i\) satisfies, for all \(x \in I_i\) and for a.e. \(t \in [0, T]\),
$$\begin{aligned} p^i(t, x) = p^i(t, a_i) + \rho \left( f(v^i(t)) - \dot{v}^i(t) \right) (x - a_i). \end{aligned}$$ -
3.
v is a solution to (2.8) in the sense of Carathéodory [19], i.e. for every \(k \in {\mathcal {I}}_H\) and for every \(t \in [0, T]\),
$$\begin{aligned} v^{k}(t) = v^{k,o} + \int _0^t \frac{1}{\alpha } \left( Q^{k}(s) - v^{k}(s) \left( e_{J_{k}}(s) - e^{{k}, out}\right) \right) \textrm{d}{s}. \end{aligned}$$ -
4.
The boundary condition \(p^1(t, a_1) = p^{1,b}(t)\) holds for a.e. \(t \in [0, T]\).
-
5.
For every junction \(J \in {\mathcal {J}}\)
$$\begin{aligned} \left\{ \begin{array}{ll} \displaystyle \sum _{I_k \in J} A^k v^k(t) = 0, &{}\forall t\in [0,T] \\ p^i (t, b_i) = p^j (t, a_j) =:p_J(t), &{} for\ a.e.\ t\in [0,T], \begin{array}{c} i \in \textrm{inc}(J)\\ j \in \textrm{out}(J) \end{array} . \end{array} \right. \end{aligned}$$
2.3 The Energy Part
The energy transport in the network is described by the third equation in (2.2). Thus for every \(i \in {\mathcal {I}}\), we consider the advection equation
supplemented with the initial condition
and with suitable boundary and coupling conditions. More precisely, the boundary condition applies only at the level of CHP and, when admissible, it reads
for a.e. \(t > 0\). It prescribes the energy produced by the CHP.
The coupling conditions at each internal node \(J \in {\mathcal {J}}\) depend on the solution of a differential equation. Fix an internal node \(J \in {\mathcal {J}}\) and \(t > 0\). Define the (possibly time dependent) sets (see Fig. 1)
and consider the Cauchy problem
where \(V_J > 0\) represents the volume inside the junction J. At the outgoing edges according to the fluid velocity, we impose that the energy is equal to \(e_J\): for \(t>0\) and for every \(i\in \textrm{inc}{}^{-, t}(J)\) and \(j\in \textrm{out}{}^{+, t}(J)\), we set
Remark 2.5
The coupling conditions (2.13) can be justified in the following way.
For \(J \in {\mathcal {J}}\), define \(V_J > 0\) the volume inside the junction J. Denote by \(e_J(t)\) the temperature inside the junction J at time t, the variation \(\Delta e_J\) of \(e_J\) during the time step \(\Delta t\) is given by
see Fig. 2. Thus, passing to the limit as \(\Delta t \rightarrow 0\), we obtain (2.13).
Remark 2.6
A reasonable alternative to the coupling condition (2.14) could be the following:
stating the conservation of energy inside the node and the perfect mixture of energies; see also [3, 32].
The advantage of conditions (2.13)–(2.14) is mainly technical. Indeed (2.13)–(2.14) permit to deduce total variation estimates needed in the proof of the main result.
We consider the following assumptions.
- \(({\textbf {E.1}})\):
-
\(e^{1, b} \in \mathbf {L^{1}_{\textbf{loc}}}\left( (0, +\infty ); {\mathbb {R}}\right) \) and, for every \(i \in {\mathcal {I}}\), \(e^{i,o} \in \mathbf {L^1}\left( [a_i, b_i]; {\mathbb {R}}\right) \) with \(\textrm{TV}\left( e^{i,o}\right) < +\infty \).
- \(({\textbf {E.2}})\):
-
There exists \(G> 0\) such that \(|g(e_1)-g(e_2)|\le G|e_1-e_2|\) for every \(e_1,e_2\in {\mathbb {R}}\).
We give now the definition of solution for the energy system.
Definition 2.7
Fix \(T > 0\) and assume (E.1) and (E.2). Furthermore, assume that for every \(i \in {\mathcal {I}}\), the function \(t \mapsto v^i(t)\) is in \(\mathbf {L^1}\left( (0, T); {\mathbb {R}}\right) \).
A function \(e = ( e^{{\mathcal {I}}},e_{{\mathcal {J}}})=\left( \left( e^1, \ldots , e^{N_{\mathcal {I}}}\right) ,\left( e_{J_1},\dots ,e_{J_{M}}\right) \right) \) is a solution to (2.9), (2.10), (2.11), (2.13), and (2.14) on the time interval [0, T] if the following conditions are satisfied.
-
1.
For every \(i \in \left\{ 1, \ldots , {N_{\mathcal {I}}}\right\} \), the function \(e^i \in \mathbf {C^{0}}\left( [0, T]; \mathbf {L^1}\left( [a_i, b_i]; {\mathbb {R}}\right) \right) \) and, for every \(t \in [0, T]\), \(e^i(t)\) has finite total variation.
-
2.
For every \(J\in {\mathcal {J}}\), the function \(e_{J} \in \mathbf {L^1}\left( (0,T);{\mathbb {R}}\right) \) has finite total variation.
-
3.
\(e^{{\mathcal {I}}}\) is a MV-solution to (2.9), i.e. for every \(i \in \left\{ 1, \ldots , {N_{\mathcal {I}}}\right\} \) and for every \(\varphi \in \mathbf {C_c^{1}}\left( (-\infty , T[ \times {\mathbb {R}}; {\mathbb {R}}_+\right) \) and \(k \in {\mathbb {R}}\),
$$\begin{aligned}&\int _0^T \int _{a_i}^{b_i} \left( e^i(t, x) -k\right) ^\pm \left( \partial _t \varphi (t, x) + v^i(t) \partial _x \varphi (t, x)\right) \textrm{d}{x} \textrm{d}{t} \\&+ \int _0^T \int _{a_i}^{b_i} \textrm{sgn}^\pm \left( e^i(t, x) -k\right) g(e^i(t,x)) \varphi (t,x) \textrm{d}{x} \textrm{d}{t} \\&+ \int _{a_i}^{b_i} \left( e^{i,o}(x)-k\right) ^\pm \varphi (0, x) \textrm{d}{x} \\&+ {\left\| v_i\right\| }_{\mathbf {L^\infty }([0,T]; {\mathbb {R}})} \int _0^t \left( e_{J,a_i}(t)-k\right) ^\pm \varphi (t,a_i) \textrm{d}{t} \\&+ {\left\| v_i\right\| }_{\mathbf {L^\infty }([0,T]; {\mathbb {R}})} \int _0^t \left( e_{J,b_i}(t)-k\right) ^\pm \varphi (t,b_i) \textrm{d}{t} \ge 0, \end{aligned}$$where \(s^+= \max \{s,0\}\), \(s^- = \max \{-s,0\}\),
$$\begin{aligned} \textrm{sgn}^+ (s) = \&{\left\{ \begin{array}{ll} 1 &{} \text{ if } s>0,\\ 0 &{} \text{ if } s\le 0, \end{array}\right. }&\textrm{sgn}^- (s) = \&{\left\{ \begin{array}{ll} 0 &{} \text{ if } s\ge 0,\\ -1 &{} \text{ if } s< 0, \end{array}\right. } \end{aligned}$$\((J,a_i), (J,b_i) \in {\mathcal {J}}\) denote the junctions located respectively at \(x=a_i\) and \(x=b_i\), and \(e_{J,a_i}, e_{J,b_i}\) are the Carathéodory solutions to (2.13).
For the definition of solution used in item 3 we refer to [30, Definition 1], see also [34, Definition 2.1] referring to the 1-D case.
2.4 The Complete System
Finally we consider the complete DHN system, composed by hydrodynamic and energy part. It is given by the system of differential equations
for \(i \in {\mathcal {I}}\), with initial conditions
with boundary conditions
and with the coupling conditions (2.6) and (2.14).
We introduce here the concept of solution to the complete system.
Definition 2.8
Given \(T > 0\), a triple \(\left( e, p, v\right) \) is a solution on the time interval [0, T] to (2.15)–(2.16)–(2.17) with the coupling conditions (2.6) and (2.14) if the following conditions are satisfied.
-
1.
\(e = {( e^{{\mathcal {I}}},e_{{\mathcal {J}}})=(\left( e^1, \ldots , e^{N_{\mathcal {I}}}\right) ,\left( e_{J_1},\dots ,e_{J_{M}}\right) )}\), \(p = \left( p^1, \ldots , p^{N_{\mathcal {I}}}\right) \), and \(v = \left( v^1, \ldots , v^{N_{\mathcal {I}}}\right) \).
-
2.
For the given node energies \(e_{\mathcal {J}}\), (p, v) is a solution as defined in Definition 2.4.
-
3.
For the given velocity v, e is a solution as defined in Definition 2.7.
3 Well Posedness Result
In this part we deal with the well posedness result for the district heating network, which is stated in Sect. 3.3. In Sect. 3.1 and in Sect. 3.2 we consider well posedness for the hydrodynamics and energy part respectively, which are the basic steps in the proof of the main result.
3.1 Hydrodynamics Part
Here we consider the system (2.4), with the initial conditions (2.5), coupling conditions (2.6), boundary conditions (2.7), and with the conditions (2.8) at consumers’ sites.
Theorem 3.1
Fix \(T > 0\) and assume that (H.1), (H.2), (H.3), and (C.1) hold. Then, system (2.4)–(2.8) admits a unique solution, in the sense of Definition 2.4.
Moreover, the following stability estimate holds. There exists a positive constant \(L > 0\), depending on the time T, such that, for every two sets of initial conditions
\({\bar{v}}^{i,o}\) and \({\tilde{v}}^{i,o}\) (\(i \in {\mathcal {I}}\)) satisfying (H.3),
two sets of power demands \({\bar{Q}}_k\), \({\tilde{Q}}_K\) (\(k \in {\mathcal {I}}_H\)) satisfying (C.1), and two sets of node energy functions
\({\bar{e}}_{{\mathcal {J}}}\), \({\tilde{e}}_{{\mathcal {J}}}\) in \(\mathbf {L^1}\left( (0, T); {\mathbb {R}}^{M}\right) \), the corresponding solutions \(\left( {\bar{p}}, {\bar{v}}\right) \) and \(\left( {\tilde{p}}, {\tilde{v}}\right) \) satisfy, for a.e. \(t \in [0, T]\),
Proof
The proof is very similar to the proof of Theorem 5.3 in [27], but here we use less regularity assumptions on the inputs and the solution. We show that there is a decomposition of the system into pure algebraic and pure ODE parts, where the existence of unique solutions follows directly from standard results about Cauchy problems for solutions in Carathéodory sense [19].
Define the transformation
where \(A_Q^T\) \(\in {\mathbb {R}}^{{N_{\mathcal {I}}}\times {N_H}}\) rearranges the velocities of consumer edges \(v_0\in {\mathbb {R}}^{{N_H}}\) onto the full velocity vector. The columns of \(A_Q^T\) are the unit vectors of the consumer edges in I such that \(A_QA_Q^T=Id_{{N_H}}\).
The matrix \(A_t \in {\mathbb {R}}^{({M}-1)\times {N_{\mathcal {I}}}}\) maps the edges of a spanning tree of \({\mathcal {G}}\) onto the full edge set and \(A_{PC}\in {\mathbb {R}}^{{N_{\mathcal {I}}}-({M}-1)\times {N_{\mathcal {I}}}}\) is the incidence matrix of a set of fundamental cycles of \({\mathcal {G}}\) corresponding to the spanning tree.
Furthermore we define \(A=(A_r,A_r^p)\) as the incidence matrix of the whole graph, where \(A_r^p\in {\mathbb {R}}^{{N_{\mathcal {I}}}\times 1}\) is the column corresponding to the node of the CHP. \(A_r\) is the remaining matrix for the inner nodes and consumers. A formal definition of these matrices can be found in [27]. For those matrices, we use the following properties:
-
(i)
\(R:=\left( \begin{array}{c} A_t\\ A_{PC} \end{array}\right) \in {\mathbb {R}}^{{N_{\mathcal {I}}}\times {N_{\mathcal {I}}}}\) is nonsingular
-
(ii)
\(A_tA_r \in {\mathbb {R}}^{{M}-1\times {M}-1}\) is nonsingular
-
(iii)
\(A_{PC}A_r = 0\)
-
(iv)
\(A_QA_t^T = 0\) and \(A_QA_{PC}^T = 0\)
A proof for (i)–(iii) can be found in [27]. Property (iv) holds due to the fact that the rows of \(A_Q\) only affect consumer edges while those are excluded in the definition of \(A_t\) and \(A_{PC}\).
System (2.4)–(2.8) can be compactly written as
together with the corresponding initial conditions. Here, \(p_{\mathcal {J}}\in \mathbf {L^1}((0,T);{\mathbb {R}}^{M})\) is the vector of node pressures. Due to (2.6) this is well-defined. The last equation is the vectorized version of (2.8). We insert the transformation (3.2) and multiply by \(\left( \begin{array}{c} A_t\\ A_{PC} \end{array}\right) \) from the left. This leads to the equivalent formulation
For system (3.4) the requirements for the existence theorem of solutions in Carathéodory sense are met, as the right hand side of the first equation is measurable in t as well as Lipschitz continuous in \(v_0\). We get a unique solution \(v_0\) and due to the pure algebraic connection also a unique \(v_1\). Similarly, the ODE for \(v_2\) has continuously differentiable right hand side and we get existence of a unique \(v_2\).
Applying Gronwall inequality provides us with bound
after transforming back to the usual coordinates.
The stability estimate (3.1) directly follows from basic ODE theory and Gronwall Lemma, e.g. [6, 24]. \(\square \)
Remark 3.2
Similar stability estimates can be deduced for the pressure p. We have, for \(t>0\),
Using the fact that \(\partial _x p^i\) does not depend on the space variable, we deduce that, for \(t>0\),
and thus
where the individual node pressures \(p_J\) is taken from \(p_{{\mathcal {J}}}\) in (3.4). The form of the last equation in (3.4) immediately gives stability estimates for \(p_{\mathcal {J}}\) due to (H.2) and boundedness of v. Those estimates are similar to the ones for \(\partial _t v_2\). For the ease of notations and clarity of the proofs, we omit the estimates for p. Note that only the velocity couples to the energy transport. The triangular structure of (3.4) allows evaluation and stability estimates for v independently of the pressure, thus the results for the coupled system do not depend on p.
Remark 3.3
The constant L in Theorem 3.1 depends exponentially on T, since it is obtained through the Gronwall Lemma. More precisely
where the Landau symbol O(1) denotes a suitable constant, which depends on initial data by \(\max _{k\in {\mathcal {I}}}\left| v^{k,0}\right| \), but not on T.
3.2 Energy Network
Here we consider system (2.9), supplemented with the initial conditions (2.10), with the coupling conditions (2.14), and with the boundary conditions (2.11).
Theorem 3.4
Fix \(T > 0\) and assume (E.1) and (E.2). Then, system (2.9)–(2.14) admits a unique solution, in the sense of Definition 2.7.
Moreover, there exists a positive constant \(L > 0\), depending on the time T, such that, for every two sets of initial conditions \({\bar{e}}^{i,o}\), \({\tilde{e}}^{i,o}\), (\(i \in {\mathcal {I}}\)) and of boundary data \({\bar{e}}^{1, b}, {\tilde{e}}^{1, b}\), both satisfying (E.1), and two sets of velocity functions
\({\bar{v}}\), \({\tilde{v}} \in \mathbf {L^1}\left( (0, T); {\mathbb {R}}^{N_{\mathcal {I}}}\right) \), the corresponding solutions \({\bar{e}} = ( {\bar{e}}^{{\mathcal {I}}},{\bar{e}}_{{\mathcal {J}}})\) and \({\tilde{e}} = ( {\tilde{e}}^{{\mathcal {I}}},{\tilde{e}}_{{\mathcal {J}}})\) satisfy, for a.e. \(t\in [0, T]\),
Before we start with the proof, we state a lemma for the stability of the solution on a single edge.
Lemma 3.5
Fix \(a, b \in {\mathbb {R}}\), with \(a < b\), \(v_1, v_2, e^1_L, e^2_L, e^1_R, e^2_R \in \mathbf {L^1}({\mathbb {R}}^+) \cap \mathbf {L^\infty }\left( {\mathbb {R}}^+\right) \) and \(\bar{e}_1,\bar{e}_2\in \mathbf {L^\infty }(a,b)\), all with bounded total variation. Let \(G>0\) be fixed and let \(g :{\mathbb {R}}\rightarrow {\mathbb {R}}\) be a Lipschitz continuous function such that \({\left| g(y_1)-g(y_2)\right| }\le G {\left| y_1-y_2\right| }\) for every \(y_1, y_2 \in {\mathbb {R}}\). Let \(e_1\) and \(e_2\) be the solutions to the following IBVP problems:
Then, for a.e. \(t>0\), the following stability estimate holds:
where the constant K depends on the total variation and on the \(\mathbf {L^\infty }\)-norm of \({\bar{e}}_1\), \({\bar{e}}_2\), \(e_L\), \(e_R\), and on the \(\mathbf {L^\infty }\)-norm of \(v_1\) and \(v_2\).
Furthermore, if \(t\le \frac{b-a}{v_{max}}\) with \({\left| v_1\right| },{\left| v_2\right| }\le v_{max}\), for the fluxes at the boundaries we have
where \(v^-_i(t) = -\min \{v_i(t),0\}, v^+_i(t) = \max \{v_i(t),0\}\). A sequential consideration with (3.10) can remove the bound on t.
The proof of Lemma 3.5 is given in Appendix A.1.
Proof of Theorem 3.4
Existence of solutions to such transport problems on networks have already been proven, e.g. in [33]. We focus on the stability estimate (3.9) that, to our knowledge, has not been shown before.
The proof consists of two steps.
For both steps, we decompose the network problem into shorter time intervals. Those intervals are chosen in such a way that information can not reach one node from another, so that the network problem then decouples into a sequence of localized problems on segments. By defining the intermediate times \(0=t_0<t_1<\dots <t_n=t\) with \(\Delta t_i = (t_i-t_{i-1})\) such that \(\max _{i=1,...,n} \Delta t_i \le \frac{\min _{I_k\in J}\left( b_k-a_k\right) }{v_{max}}\), where the constant \(v_{max}\) denotes the maximum possible of velocity,
in each interval \([t_{i-1},t_i]\) the information starting from one node can not reach a neighboring one. Therefore, a local consideration of the nodes with the adjacent edges is sufficient. To ease the notations, we assume here the topological orientation of the edges to point towards the node, such that positive velocities always represent an inflow, whereas negative velocities correspond to outgoing flows (different from the more complicated global definitions from (2.12)).
Step 1: Stability of node values \({\bar{e}}_J\) and \({\tilde{e}}_J\).
From classical results about ODEs, we deduce that, for the junction J, the solutions \({\bar{e}}_J\) and \({\tilde{e}}_J\) of (2.13) fulfill
where \(\hat{e}=\sum _{I_i\in \textrm{inc}{}(J)} A^i \left( v^i\right) ^+ e^i(\cdot , b_i) + \sum _{I_i\in \textrm{out}{}(J)} A^i \left( v^i\right) ^- e^i(\cdot , a_i)\), and \({\hat{K}}\) and \(K_{J,0}\) are suitable constants, not depending on time.
Using (3.11) and (3.12), we have that
Inserting it into (3.13) yields
where
Applying Gronwall inequality, we obtain
and, due to the positivity of \(\hat{K}K_J\),
where \(K = e^{\hat{K}K_JT}\left( \hat{K}K_v+\hat{K}K_0+K_{J,0}\right) \).
Step 2: Stability estimates on the whole network
Here, for suitable \(L_1 > 0\) and \(L_2 > 0\), we aim to prove:
For each edge \( i \in {\mathcal {I}}\) with \(I_i = [a_i,b_i]\) we can apply Lemma 3.5
and get
where \(e_L,e_R\) are the left and right boundary values. In case the edge is connected to a node, these are the node energies \(e_J\).
Altogether we have
with \(K_v = \max _{k \in {\mathcal {I}}} K_v^k\), \(K_I = \max _{k \in {\mathcal {I}}} K_I^k\) and \(K_J = \textrm{deg}({\mathcal {G}})(\max _{k \in {\mathcal {I}}}K_L + \max _{k \in {\mathcal {I}}}K_R)\), where \(\textrm{deg}({\mathcal {G}})\) is the largest node degree in the network.
Consequently, (3.14) follows directly from (3.15).
For a node \(J\in {\mathcal {J}}\) and a single time interval \([t_{i-1},t_i]\), using the result of step 1, we obtain
for suitable constants \(A_J^i\) and \(B_J^i\). Set \(A=\max _{i,J} A_J^i, B = \max _{i,J} B_J^i\). Then, by iterative insertion, we get
This is a recursive formula of the form
with
Hence
So the explicit estimate of (3.20) is
The result follows directly from (3.18). \(\square \)
Remark 3.6
The constant L in Theorem 3.4 depends exponentially on T. More precisely
where the Landau symbol O(1) denotes a suitable constant, which depends on initial data, but not on T. Regarding the initial data, the constants contain only \(\max _{i\in {\mathcal {I}}}\left\| e^{k,0}\right\| _\infty \) and the bound on the total variation \(\textrm{TV}_e\).
3.3 The Complete System
In this part, we deal with the well posedness result for the complete system.
Theorem 3.7
Assume (H.1), (H.3), (E.1), (E.2), and (C.1) hold. Then, for any \(T>0\) the system (2.15)–(2.16)–(2.17)–(2.6)–(2.14) admits a unique solution, in the sense of Definition 2.8.
Moreover there exists a positive constant \(L > 0\) such that for two power demands \({\bar{Q}}_k\) and \({\tilde{Q}}_k\), \(k \in {\mathcal {I}}_H\), two boundary data \({\bar{e}}^{1, b}\), \({\tilde{e}}^{1, b}\) satisfying (E.1) and initial conditions \({\bar{v}}^{i,o}\), \({\tilde{v}}^{i,o}\) and \({\bar{e}}^{i,o}\), \({\tilde{e}}^{i,o}\) (\(i \in {\mathcal {I}}\)) satisfying (H.3), denoting by \(\left( {\bar{e}}, {\bar{p}}, {\bar{v}}\right) \) and \(\left( {\tilde{e}}, {\tilde{p}}, {\tilde{v}}\right) \) the corresponding solutions to (2.15)–(2.16)–(2.17)–(2.6)–(2.14), the following stability estimate holds: for \(t \in [0, T]\),
Proof
Define the set
which is a closed subset of the Banach space \(\mathbf {C^{0}}\left( [0, T]; {\mathbb {R}}^{N_{\mathcal {I}}}\right) \) endowed with the norm
Consider the operator
where \({\mathcal {T}}\) is defined by two subsequent steps.
For given initial values \(e^0\) and external inputs \(e^b\) we first we define by \({\mathcal {T}}_e\) the operator producing a solution to the energy subsystem according to Theorem 3.4. The solution \(g = {\mathcal {T}}_e \left( v\right) \) is split into \(g = \left( g^{\mathcal {I}},g_{\mathcal {J}}\right) \), where \(g_{\mathcal {J}}\) denotes the node energy functions. Then, with \(v^0\) and \(Q_K\) given, the operator \({\mathcal {T}}_v\) provides the solution to the hydrodynamic part (see Theorem 3.1). Its output we name \(w = {\mathcal {T}}_v\left( g_{\mathcal {J}}\right) \).
\({\mathcal {T}}\) is well defined. Fix \(v \in X_v\). Then, for every \(i \in \{1, \ldots , {N_{\mathcal {I}}}\}\) \(v^i \in \mathbf {L^1} ([0,T];{\mathbb {R}})\).
By Theorem 3.4, there exists a unique \(g = \left( g^{\mathcal {I}},g_{\mathcal {J}}\right) = {\mathcal {T}}_e \left( v\right) \), such that, in particular, \(g_J \in \mathbf {L^1} ([0,T]; {\mathbb {R}})\) for every \(J \in {\mathcal {J}}\) (see Item 2 in Definition 2.7).
Since the set of internal nodes on pipes connected to the houses, i.e. pipes in the set \(\mathcal {I_H}\), are a subset of \({\mathcal {J}}\), by Theorem 3.1 there exists a unique \(w = {\mathcal {T}}_e(g_{{\mathcal {J}}})\) such that, in particular \(w \in \textbf{AC}([0,T];{\mathbb {R}}^{N_{\mathcal {I}}})\) and \(\sum _{h \in J} A^h w^h =0\) for every junction \(J \in {\mathcal {J}}\), that is \( w \in X_v\).
\({\mathcal {T}}\) is a contraction. Let \(T'\le T\). Fix two elements \({\bar{v}}, {\tilde{v}} \in X_v\) and denote
By Theorem 3.4 we deduce that
Therefore, using Theorem 3.1, we deduce that
We choose \(T' >0\) such that \(L_H(T)L_E(T) T'^2 {N_{\mathcal {I}}}^2 < 1\), proving that \({\mathcal {T}}\) is a contraction on \([0,T']\).
Thus the requirements of Banach fixed point theorem [1] are fulfilled, leading to the unique existence of a solution on \([0,T']\).
Since \(L_H(T)\) and \(L_E(T)\) do not depend on \(T'\), we aim to repeat this procedure to cover the full interval [0, T]. According to Remark 3.3 and Remark 3.6 these constants depend on the respective initial conditions only by \(v_{max}\), \(e_{max}\) and \(\textrm{TV}_e\).
Due to (3.5), Lemmas A.3 and A.4 these quantities are globally bounded and \(L_H(T)\) and \(L_E(T)\) can be chosen independently of the individual initial condition. Thus by repeating the contraction finitely many times, we obtain uniquely the solution on [0, T].
Stability estimate. Let \({\bar{Q}}_k\) and \({\tilde{Q}}_k\) (\(k \in {\mathcal {I}}_H\)) denote two power demands, \({\bar{e}}^{1,b}, {\tilde{e}}^{1,b}\) two boundary conditions and \({\bar{v}}^{i,o},{\tilde{v}}^{i,o}\), \({\bar{e}}^{i,o}, \tilde{e}^{i,o}\) initial conditions for the velocity and energy. Denote respectively with \(\left( {\bar{e}}, {\bar{p}}, {\bar{v}}\right) \) and \(\left( {\tilde{e}}, {\tilde{p}}, {\tilde{v}}\right) \) the corresponding solutions. By Theorem 3.1, we deduce that
By Theorem 3.4 we deduce that
From (3.17), we obtain
In particular, the estimates of Theorems 3.1 and 3.4 hold point wise, such that
where
Here we can now apply Gronwall inequality to get
The monotonicity of the right hand side and (3.28) imply
which concludes the proof. \(\square \)
3.4 Optimal Control Problems
In this part, we consider the complete teleheating system (2.15) as a control system, where the boundary term \(e^{1,b}\) at the CHP acts as a control function, and we assume that, given \(T > 0\), the solution exists on the time interval [0, T]. In this perspective, a natural problem consists in finding a control function \(e^{1,b}\), satisfying assumption (E.1), which minimizes the functional
for suitable coefficients \(\alpha _k \ge 0\), \(\beta _k \ge 0\), and \(\gamma _1, \gamma _2, \gamma _3, \gamma _4 \ge 0\). The minimization of the first two terms in (3.29) aims at producing the required temperature in the houses respectively on the whole time interval and at the final time. The third term in (3.29) measures the total energy produced by the CHP. The minimization of the fourth term penalizes too many oscillation in the energy production. The fifth and sixth terms have similar meanings with respect to the total power provided at the CHP. The next result deals with the lower semicontinuity of J.
Proposition 3.8
Assume that the hypotheses (H.1), (H.2), (H.3), (C.1), (E.1), and (E.2) hold. Define the sets
Then the functional \(J: E_2 \rightarrow {\mathbb {R}}\), defined in (3.29), is lower semicontinuous with respect to the \(\mathbf {L^1}\) topology. If \(\gamma _2 = 0\) and \(\gamma _4 = 0\), then \(J: E_1 \rightarrow {\mathbb {R}}\) is also continuous.
Proof
We prove that \(J: E_2 \rightarrow {\mathbb {R}}\) is lower semicontinuous with respect the \(\mathbf {L^1}\) topology. The final statement can be proved similarly.
Fix \({\bar{e}}^{1,b} \in E_2\) and a sequence \(e_n^{1,b} \in E_2\) such that \(e_n^{1,b} \rightarrow {\bar{e}}^{1,b}\) in \(\mathbf {L^1}\left( 0, T\right) \) as \(n \rightarrow +\infty \). Denote with \(\left( {\bar{e}}, {\bar{p}}, {\bar{v}}\right) \) and respectively with \(\left( e_n, p_n, v_n\right) \) the solution to the system (2.15) corresponding to the boundary data \({\bar{e}}^{1,b}\) and respectively to \(e_n^{1,b}\), according to Definition 2.8. Note that these solutions exist by Theorem 3.7.
Clearly, by Theorem 3.7, we have that
and
Moreover, by [18, Theorem 1, Sect. 5.2.1],
and
By Theorem 3.7, we deduce that
and
Therefore, for every \(k \in {\mathcal {I}}_{H}\), we deduce that
and
The proof is so concluded. \(\square \)
The next result deals with optimal solutions.
Corollary 3.9
Assume that (H.1), (H.2), (H.3), (C.1), (E.1), and (E.2) hold. Fix \({\mathcal {K}}\), a compact subset of \(E_1\) or \(E_2\), defined in (3.30), with respect to the \(\mathbf {L^1}\) topology. Then there exists \({\bar{e}}^{1, b} \in {\mathcal {K}}\) such that
Proof
The proof follows the lines of the direct method of calculus of variations; see [14, 16] for more details. Consider a minimizing sequence \(e^{1, b}_n \in {\mathcal {K}}\) for the functional J, i.e.
Since \({\mathcal {K}}\) is compact, then there exists \({\bar{e}}^{1,b} \in {\mathcal {K}}\) and a subsequence \(e^{1, b}_{n_k}\) such that \(e^{1, b}_{n_k} \rightarrow {\bar{e}}^{1,b}\) as \(k \rightarrow +\infty \). By using the lower semicontinuity of J (see Proposition 3.8), we deduce that
concluding the proof. \(\square \)
Remark 3.10
Note that the previous result holds if \({\mathcal {K}}\) is a compact subset of \(E_1\) (or of \(E_2\)) with respect the \(\mathbf {L^1}\)-topology. Therefore Corollary 3.9 can not be applied for general closed and bounded subsets \({\mathcal {K}}\) of \(E_1\) or \(E_2\). If instead \({\mathcal {K}}\) is a closed and bounded subset of a finite dimensional subspace of \(E_1\) or \(E_2\), then the functional J admits a minimum.
Remark 3.11
The results in the present section deal only with the existence of optimal controls which minimize the functional J in (3.29). Conversely, no necessary conditions, that represent the main tool in the search of optimizers, are deduced here. From the analytic point of view, this is a challenging problem since it needs some differentiability properties of the functional J with respect the topology of the control set. Dealing with solutions with low regularity makes the problem hard.
However one can try to find approximate optimal controls using numerical schemes inspired for example by the gradient descent method [4] as in [31], even if the present regularity does not fully justifies it. A possible not-optimized algorithm for approximating an optimal control could be the following.
-
1.
Replace the control set \({\mathcal {K}}\) by a finite-dimensional approximation \({\mathcal {K}}_d\).
-
2.
Fix an initial control \(e_0 \in {\mathcal {K}}_d\).
-
3.
Find the numerical gradient \(\nabla J(e_0)\) of J at \(e_0\) and construct the control \(e_1 = e_0 - \gamma _0 \nabla J(e_0)\), possibly with a projection on the set \({\mathcal {K}}_d\), where \(\gamma _0 > 0\) is a sufficiently small learning rate.
-
4.
Recursively, given \(e_n \in {\mathcal {K}}_d\), find the numerical gradient \(\nabla J(e_n)\) of J at \(e_n\) and construct the control \(e_{n+1} = e_n - \gamma _n \nabla J(e_n)\), possibly with a projection on the set \({\mathcal {K}}_d\), where \(\gamma _n > 0\) is a sufficiently small learning rate.
References
Banach, S.: Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales. Fundam. Math. 3, 133–181 (1922)
Borsche, R., Colombo, R.M., Garavello, M.: Mixed systems: ODEs-balance laws. J. Differ. Equ. 252(3), 2311–2338 (2012)
Borsche, R., Eimer, M., Siedow, N.: A local time stepping method for thermal energy transport in district heating networks. Appl. Math. Comput. 353, 215–229 (2019)
Boyd, S., Vandenberghe, L.: Convex Optimization. Cambridge University Press, Cambridge (2004)
Bressan, A., Piccoli, B.: Introduction to the Mathematical Theory of Control. AIMS Series on Applied Mathematics, vol. 2. American Institute of Mathematical Sciences (AIMS), Springfield (2007)
Coddington, A., Levinson, N.: Theory of Ordinary Differential Equations. International Series in Pure and Applied Mathematics. McGraw-Hill Companies, London (1987)
Colombo, R.M., Garavello, M.: On the \(p\)-system at a junction. In: Control Methods in PDE-Dynamical Systems. AMS-IMS-SIAM Joint Summer Research Conference, Snowbird, UT, USA, 3–7 July 2005, pages 193–217. American Mathematical Society (AMS), Providence (2007)
Colombo, R.M., Garavello, M.: On the Cauchy problem for the \(p\)-system at a junction. SIAM J. Math. Anal. 39(5), 1456–1471 (2008)
Colombo, R.M., Mauri, C.: Euler system for compressible fluids at a junction. J. Hyperbolic Differ. Equ. 5(3), 547–568 (2008)
Colombo, R.M., Rossi, E.: Nonlocal conservation laws in bounded domains. SIAM J. Math. Anal. 50(4), 4041–4065 (2018)
Colombo, R.M., Herty, M., Sachers, V.: On \(2\times 2\) conservation laws at a junction. SIAM J. Math. Anal. 40(2), 605–622 (2008)
Colombo, R.M., Guerra, G., Herty, M., Schleper, V.: Optimal control in networks of pipes and canals. SIAM J. Control Optim. 48(3), 2032–2050 (2009)
Colombo, R.M., Garavello, M., Marcellini, F., Rossi, E.: IBVPs for inhomogeneous systems of balance laws in several space dimensions motivated by biology and epidemiology. Preprint (2021)
Dacorogna, B.: Direct Methods in the Calculus of Variations. Applied Mathematical Sciences, vol. 78, 2nd edn. Springer, New York (2008)
Dáger, R., Zuazua, E.: Wave Propagation, Observation and Control in 1-\(d\) Flexible Multi-structures, vol. 50. Springer, Berlin (2006)
Dal Maso, G.: An Introduction to \(\Gamma \)-Convergence. Progress in Nonlinear Differential Equations and Their Applications, vol. 8. Birkhäuser, Boston (1993)
de Halleux, J., Prieur, C., Coron, J.-M., d’Andréa-Novel, B., Bastin, G.: Boundary feedback control in networks of open channels. Automatica 39(8), 1365–1376 (2003)
Evans, L.C., Gariepy, R.F.: Measure Theory and Fine Properties of Functions. CRC Press, Boca Raton (2015)
Filippov, A.F.: Differential Equations with Discontinuous Righthand Sides. Mathematics and Its Applications (Soviet Series), vol. 18. Kluwer, Dordrecht. Translated from the Russian (1988)
Folland, G.B.: Real Analysis: Modern Techniques and Their Applications. Pure and Applied Mathematics: A Wiley of Texts, Monographs and Tracts. Wiley, New York, 2nd edn (1999)
Gugat, M., Leugering, G., Schittkowski, K., Schmidt, E.J.P.G.: Modelling, stabilization, and control of flow in networks of open channels. In: Online Optimization of Large Scale Systems, pp. 251–270. Springer, Berlin (2001)
Gugat, M., Trélat, E., Zuazua, E.: Optimal Neumann control for the 1D wave equation: finite horizon, infinite horizon, boundary tracking terms and the turnpike property. Syst. Control Lett. 90, 61–70 (2016)
Gugat, M., Schuster, M., Weber, G.-W.: Stationary gas networks with compressor control and random loads: optimization with probabilistic constraints. Math. Probl. Eng. 2018, Article ID 7984079 (2018)
Hartman, P.: Ordinary Differential Equations, vol. 38. SIAM, Philadelphia (2002)
Holden, H., Risebro, N.H.: A mathematical model of traffic flow on a network of unidirectional roads. SIAM J. Math. Anal. 26(4), 999–1017 (1995)
Holden, H., Risebro, N.H.: Riemann problems with a kink. SIAM J. Math. Anal. 30(3), 497–515 (1999)
Jansen, L., Pade, J.: Global unique solvability for a quasi-stationary water network model. Publikationen des Instituts für Mathematik (2013). http://www2.mathematik.hu-berlin.de/publ/pre/2013/P-13-11.pdf
Kramar Fijavž, M., Mugnolo, D., Sikolya, E.: Variational and semigroup methods for waves and diffusion in networks. Appl. Math. Optim. 55(2), 219–240 (2007)
Landau, L.D., Lifshitz, E.M.: Course of Theoretical Physics, vol. 6, 2nd edn. Pergamon Press, Oxford (1987). Fluid Mechanics, Translated from the third Russian edition by J. B. Sykes and W. H. Reid
Martin, S.: First order quasilinear equations with boundary conditions in the \(L^\infty \) framework. J. Differ. Equ. 236(2), 375–406 (2007)
Mohring, J., Linn, D., Eimer, M., Rein, M., Siedow, N.: District heating networks—dynamic simulation and optimal operation. In: Mathematical Modeling, Simulation and Optimization for Power Engineering and Management, vol. 34. Mathematics in Industry, pp. 303–325. Springer, Cham (2021)
Rein, M., Mohring, J., Damm, T., Klar, A.: Optimal control of district heating networks using a reduced order model. Optim. Control Appl. Methods 41(4), 1352–1370 (2020)
Roggensack, A.: Low Mach number equations with heat source on networks. PhD thesis, Universität Hamburg (2014)
Rossi, E.: Well-posedness of general 1D initial boundary value problems for scalar balance laws. Discret. Contin. Dyn. Syst. 39(6), 3577–3608 (2019)
Acknowledgements
MG and ER were partially supported by the 2022 GNAMPA project Evolution equations: well posedness, control and applications. ME was partially founded by the Federal Ministry for Economic Affairs and Climate Action (DingFESt, FK 03EN3015B).
Funding
Open Access funding enabled and organized by Projekt DEAL. The authors have not disclosed any funding.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors have not disclosed any competing interests.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix
Appendix
1.1 Lipschitz continuity of solutions to advection equations
In this section we give, for an advection equation on a bounded interval, a proof of the stability of the solution and the traces of the flux at the boundary w.r.t. the speed. Note that we do require a uniform upper bound on the velocity, but do not restrict the orientation of the flow, i.e. the direction of the flow can change arbitrarily often.
Proof of Lemma 3.5
Observe first that the broad solution (i.e. the solution constructed using characteristics curves) to an initial-boundary value problem such as \(P_1\) or \(P_2\) is indeed a MV-solution, as introduced in item 3 of Definition 2.7. The proof of this claim follows the line of [10, Lemma 4.3], see also [13, Formula 4.5] for the definition of solution constructed through characteristics when the boundary datum is not zero.
In order to prove the stability estimate (3.10), first we regularize the velocities \(v_1\) and \(v_2\): there exist sequences \((v_1^\nu ), (v_2^\nu ) \in \mathbf {C^{\infty }}([0,T]; {\mathbb {R}})\) converging in \(\mathbf {L^1}\) respectively to \(v_1, v_2\). Denote by \(e_1^\nu , e_2^\nu \) the corresponding solutions to \(P_1^\nu \) and \(P_2^\nu \), constructed through characteristics. Using [34, Theorem 2.4], we deduce that, for a.e. \(t>0\), \(e_i^\nu (t)\) converges to \(e_i(t)\) in \(\mathbf {L^1}((a,b); {\mathbb {R}})\), for \(i=1,2\). The definition of MV-solution in item 3 of Definition 2.7 has the remarkable feature of being stable under convergence in \(\mathbf {L^1}\), therefore we obtain that \(e_i\) is the solution to \(P_i\), for \(i=1,2\).
Using [34, Proposition 2] and adapting the proof of [34, Theorem 2.4] to the present linear setting, we obtain that for all \(t \in [0,T]\) the following estimate holds
where we used the bounds provided by Lemmas A.3 and A.4. Passing to the limit as \(\nu \rightarrow +\infty \), we obtain that (3.10) holds.
In the second part of this proof, we show (3.12), the proof for (3.11) being symmetric.
The case of positive velocity. Here, assuming that \(v_1\) and \(v_2\) are positive velocities, we prove that
The proof is divided into three steps.
-
Step 1.
Here only the initial datum is changed, namely, given \(v \ge 0\), \(e_1\) and \(e_2\) are solutions to
$$\begin{aligned} \left\{ \begin{array}{l} \partial _t e_1 + v \partial _x e_1 = g(e_1) \\ e_1(t, a) = e_L^1(t) \\ e_1(t, b) = e_R^1(t) \\ e_1(0, x) = {\bar{e}}_1(x) \end{array} \right.{} & {} \text { and }{} & {} \left\{ \begin{array}{l} \partial _t e_2 + v \partial _x e_2 = g(e_2) \\ e_2(t, a) = e_L^2(t) \\ e_2(t, b) = e_R^2(t) \\ e_2(0, x) = {\bar{e}}_2(x). \end{array} \right. \end{aligned}$$Denote with \(\Phi \) the flux associated to the vector field g, i.e. \(\Phi \) solves
$$\begin{aligned} \left\{ \begin{array}{l} \frac{\textrm{d}{}}{\textrm{d}{t}}\Phi (t; t_o, u_o) = g\left( \Phi (t; t_o, u_o)\right) \\ \Phi (t_o; t_o, u_o) = u_o. \end{array} \right. \end{aligned}$$Note that, for \(t \ge t_o\),
$$\begin{aligned} \frac{\textrm{d}{}}{\textrm{d}{u}_o}\Phi (t; t_o, u_o) = \exp \left( \int _{t_o}^t g'\left( \Phi (\tau ; t_o, u_o)\right) \textrm{d}{\tau }\right) \le e^{G\left( t - t_0\right) }; \end{aligned}$$(A.2)see [5]. Since \(v \ge 0\), for \(t>0\) sufficiently small,
$$\begin{aligned} {\left| e_1(t, b) - e_2(t, b)\right| }&= {\left| \Phi \left( t; 0, {\bar{e}}_{1}\left( X\left( 0; t, b\right) \right) \right) - \Phi \left( t; 0, {\bar{e}}_{2}\left( X\left( 0; t, b\right) \right) \right) \right| } \\&\le e^{Gt} {\left| {\bar{e}}_{1}\left( X\left( 0; t, b\right) \right) - {\bar{e}}_{2}\left( X\left( 0; t, b\right) \right) \right| }, \end{aligned}$$where X is the characteristic associated to v. Thus
$$\begin{aligned}&\left\Vert v(\cdot ) \left( e_1(\cdot , b) - e_2(\cdot , b)\right) \right\Vert _{\mathbf {L^1}(0,t)} \\&\quad \le e^{Gt} \int _0^t v(\tau ) {\left| {\bar{e}}_1(X(0; \tau , b)) - {\bar{e}}_2(X(0; \tau , b))\right| } \textrm{d}{\tau }\\&\quad \le e^{Gt} \int _a^b {\left| {\bar{e}}_1(x) - {\bar{e}}_2(x)\right| } \textrm{d}{x} \\&\quad \le e^{Gt} \left\Vert {\bar{e}}_1 - {\bar{e}}_2\right\Vert _{\mathbf {L^1}(a,b)}. \end{aligned}$$ -
Step 2.
Here we consider the same initial datum, but different velocities \(v_1 \ge 0\), \(v_2 \ge 0\), namely, given \({\bar{e}}\), \(e_1\) and \(e_2\) are solutions to
$$\begin{aligned} \left\{ \begin{array}{l} \partial _t e_1 + v_1 \partial _x e_1 = g(e_1) \\ e_1(t, a) = e_L^1(t) \\ e_1(t, b) = e_R^1(t) \\ e_1(0, x) = {\bar{e}}(x) \end{array} \right.{} & {} \text { and }{} & {} \left\{ \begin{array}{l} \partial _t e_2 + v_2 \partial _x e_2 = g(e_2) \\ e_2(t, a) = e_L^2(t) \\ e_2(t, b) = e_R^2(t) \\ e_2(0, x) = {\bar{e}}(x). \end{array} \right. \end{aligned}$$Consider a sequence \({\bar{e}}^h \in \mathbf {C^{\infty }}\left( ]a, b[; {\mathbb {R}}\right) \) such that
-
1.
\(\displaystyle \lim _{h \rightarrow +\infty } \left\Vert {\bar{e}}^h - \bar{e}\right\Vert _{\mathbf {L^1}(a,b)} = 0\);
-
2.
\(\displaystyle \left\Vert {\bar{e}}^h\right\Vert _{\mathbf {L^\infty }(a,b)} \le \left\Vert \bar{e}\right\Vert _{\mathbf {L^\infty }(a,b)}\);
-
3.
\(\textrm{TV}({\bar{e}}^h) \le \textrm{TV}({\bar{e}})\) for every h.
Let \(\theta \in [0,1]\) and define the velocity
$$\begin{aligned} v_\theta = \theta v_1 + (1-\theta ) v_2. \end{aligned}$$Denote with \(X_\theta \) and \(e^h_\theta \) respectively the characteristic associated to the velocity \(v_\theta \) and the solution to
$$\begin{aligned} \left\{ \begin{array}{l} \partial _t e^h_\theta + v_\theta \partial _x e^h_\theta = g(e^h_\theta ) \\ e^h_\theta (t, a) = e_L^2(t) \\ e^h_\theta (t, b) = e_R^2(t) \\ e^h_\theta (0, x) = {\bar{e}}^h(x). \end{array} \right. \end{aligned}$$Observe that, for \(t \ge t_o\) and \(x_o \in (a, b)\)
$$\begin{aligned} \left\{ \begin{array}{l} \partial _t \partial _{\theta } X_\theta (t; t_o, x_o) = v_1(t) - v_2(t) \\ \partial _{\theta } X_\theta (t_o; t_o, x_o) = 0, \end{array} \right. \end{aligned}$$so that
$$\begin{aligned} \partial _{\theta } X_\theta (t; t_o, x_o) = \int _{t_o}^t \left( v_1(\tau ) - v_2(\tau )\right) \textrm{d}{\tau }. \end{aligned}$$We have
$$\begin{aligned}&\int _0^t {\left| v_1(\tau ) e^h_1(\tau , b) - v_2(\tau ) e^h_2(\tau , b)\right| } \textrm{d}{\tau }\le \int _0^1 \int _0^t {\left| \partial _\theta \left( v_\theta (\tau ) e^h_\theta (\tau , b)\right) \right| } \textrm{d}{\tau }\, \textrm{d}{\theta }\\&\le \int _0^1 \int _0^t {\left| \left( v_1(\tau ) - v_2(\tau )\right) e^h_\theta (\tau , b)\right| } \textrm{d}{\tau }\, \textrm{d}{\theta }\\&\quad + \int _0^1 \int _0^t {\left| v_\theta (\tau ) e^{G\tau } \nabla {\bar{e}}^h \left( X_\theta (0; \tau , b)\right) \int _0^\tau (v_1(s) - v_2(s)) \textrm{d}{s}\right| }\textrm{d}{\tau }\, \textrm{d}{\theta }\\&\le \int _0^1 \int _0^t {\left| v_1(\tau ) - v_2(\tau )\right| } e^{G\tau } {\left| {\bar{e}}^h(X_{\theta }(0; \tau , b))\right| } \textrm{d}{\tau }\, \textrm{d}{\theta }\\&\quad + e^{G t}\int _0^1 \int _0^t v_\theta (\tau ) {\left| \nabla {\bar{e}}^h \left( X_\theta (0; \tau , b)\right) \right| } \int _0^\tau {\left| v_1(s) - v_2(s))\right| } \textrm{d}{s}\, \textrm{d}{\tau }\, \textrm{d}{\theta }\\&\le e^{G t} \left\Vert {\bar{e}}\right\Vert _{\mathbf {L^\infty }(a,b)} \left\Vert v_1 - v_2\right\Vert _{\mathbf {L^1}(0,t)} + e^{G t} \textrm{TV}({\bar{e}}) \left\Vert v_1 - v_2\right\Vert _{\mathbf {L^1}(0,t)}. \end{aligned}$$Now, using these calculations and step 1, we deduce that
$$\begin{aligned} \left\Vert v_1(\cdot ) e_1(\cdot , b) - v_2(\cdot ) e_2(\cdot , b)\right\Vert _{\mathbf {L^1}(0,t)}&\le \left\Vert v_1(\cdot ) (e_1(\cdot , b) - e_1^h(\cdot , b))\right\Vert _{\mathbf {L^1}(0,t)} \\&\quad + \left\Vert v_1(\cdot ) e_1^h(\cdot , b) - v_2(\cdot ) e_2^h(\cdot , b)\right\Vert _{\mathbf {L^1}(0,t)} \\&\quad + \left\Vert v_2(\cdot ) (e_2^h(\cdot , b) - e_2(\cdot , b))\right\Vert _{\mathbf {L^1}(0,t)} \\&\le 2 e^{G t} \left\Vert {\bar{e}} - {\bar{e}}^h\right\Vert _{\mathbf {L^1}(a,b)} \\&\quad + e^{G t} \left( \left\Vert {\bar{e}}\right\Vert _{\mathbf {L^\infty }(a,b)} + \textrm{TV}({\bar{e}})\right) \left\Vert v_1 - v_2\right\Vert _{\mathbf {L^1}(0,t)}. \end{aligned}$$Passing to the limit as \(h \rightarrow +\infty \), we get
$$\begin{aligned} \left\Vert v_1(\cdot ) e_1(\cdot , b) - v_2(\cdot ) e_2(\cdot , b)\right\Vert _{\mathbf {L^1}(0,t)}&\le e^{G t} \left( \left\Vert {\bar{e}}\right\Vert _{\mathbf {L^\infty }(a,b)} + \textrm{TV}({\bar{e}})\right) \left\Vert v_1 - v_2\right\Vert _{\mathbf {L^1}(0,t)}. \end{aligned}$$ -
1.
-
Step 3.
Here we consider different initial data \({\bar{e}}_1\), \({\bar{e}}_2\) and different velocities \(v_1 \ge 0\), \(v_2 \ge 0\), namely, \(e_1\) and \(e_2\) are solutions to
$$\begin{aligned} \left\{ \begin{array}{l} \partial _t e_1 + v_1 \partial _x e_1 = g(e_1) \\ e_1(t, a) = e_L^1(t) \\ e_1(t, b) = e_R^1(t) \\ e_1(0, x) = {\bar{e}}_1(x) \end{array} \right.{} & {} \text { and }{} & {} \left\{ \begin{array}{l} \partial _t e_2 + v_2 \partial _x e_2 = g(e_2) \\ e_2(t, a) = e_L^2(t) \\ e_2(t, b) = e_R^2(t) \\ e_2(0, x) = {\bar{e}}_2(x). \end{array} \right. \end{aligned}$$Let \(e_3\) be the solution to the additional problem
$$\begin{aligned} \left\{ \begin{array}{l} \partial _t e_3 + v_1 \partial _x e_3 = g(e_3) \\ e_3(t, a) = e_L^1(t) \\ e_3(t, b) = e_R^1(t) \\ e_3(0, x) = {\bar{e}}_2(x). \end{array} \right. \end{aligned}$$Using the results of Step 1 and Step 2, we have that
$$\begin{aligned}&\quad \left\Vert v_1(\cdot ) e_1(\cdot , b) - v_2(\cdot ) e_2(\cdot , b)\right\Vert _{\mathbf {L^1}(0,t)} \\&\le \left\Vert v_1(\cdot ) e_1(\cdot , b) - v_1(\cdot ) e_3(\cdot , b)\right\Vert _{\mathbf {L^1}(0,t)} + \left\Vert v_1(\cdot ) e_3(\cdot , b) - v_2(\cdot ) e_2(\cdot , b)\right\Vert _{\mathbf {L^1}(0,t)} \\&\le e^{Gt} \left\Vert {\bar{e}}_1 - {\bar{e}}_2\right\Vert _{\mathbf {L^1}(a,b)} + e^{G t} \left( \left\Vert {\bar{e}}_2\right\Vert _{\mathbf {L^\infty }(a,b)} + \textrm{TV}({\bar{e}}_2)\right) \left\Vert v_1 - v_2\right\Vert _{\mathbf {L^1}(0,t)}, \end{aligned}$$proving (A.1).
The general case.
For \(\varepsilon >0\) we define the sets
and split the estimate for \(F_{[0,t]} = \left\Vert v_1^+e_1(\cdot ,b)-v_2^+e_2(\cdot ,b)\right\Vert _{\mathbf {L^1}([0,t])}\) into the contributions coming from the different subsets of the whole domain
For \(C_\varepsilon \), all involved velocities have an absolute value smaller than \(\varepsilon \), leading to the estimate
For the set \(B_\varepsilon \), one of the velocities is negative, meaning the corresponding contribution is zero and thus
The crucial part is the estimate for \(A_\varepsilon \), where we can use the results for positive velocities obtained above. The set \(A_\varepsilon \) is closed: due to the bounded total variation of v, it can be written as a finite union of closed intervals
The goal is to get an estimate similar to (A.1) for each \(I_i^\varepsilon \). Here it is important that the dependencies on the initial datum do not overlap, as that would lead to a boundlessly growing right hand side as \(\varepsilon \) tends to zero and the number of intervals grows. This is why we use a combination of above estimate and (3.10), where we take special care of the domains of dependency in the spatial integrals.
We start be considering the interval \(I_{n_\varepsilon }^\varepsilon \): by (A.1) we get
with \(a_{n_\varepsilon } = b-\int _{{\underline{t}}_{n_\varepsilon }^\varepsilon }^{\bar{t}_{n_\varepsilon }^\varepsilon } v_1(t) \textrm{d}{t}\). The bound (A.3) is actually more precise than (A.1): indeed, we take care, in the \(\mathbf {L^1}\)-norm in space, of the true area of dependency induced by the flow velocity.
In order to bound the first term on the right hand side of (A.3), we exploit (3.10):
with \(c_{n_\varepsilon } = a_{n_\varepsilon } - v_{max} ({\underline{t}}_{n_\varepsilon }^\varepsilon -{\overline{t}}_{n_\varepsilon -1}^\varepsilon )\). Due to \(v_j > 0\) in \(I_{{n_\varepsilon }-1}^\varepsilon , j=1,2\), the last term in the inequality above can be estimated as follows:
where \(d_{n_\varepsilon -1} = c_{n_\varepsilon } - \int _{{\underline{t}}_{n_\varepsilon -1}^\varepsilon }^{{\overline{t}}_{n_\varepsilon -1}^\varepsilon }v_1(t) \textrm{d}{t}= a_{n_\varepsilon } - v_{max} ({\underline{t}}_{n_\varepsilon }^\varepsilon -{\overline{t}}_{n_\varepsilon -1}^\varepsilon ) - (b-a_{n_\varepsilon -1})\). Inserting (A.5) into (A.4) and then into (A.3), we get
Using (A.6) for the time interval \(I_{n_\varepsilon }^\varepsilon \) and (A.3) for \(I_{n_\varepsilon -1}^\varepsilon \), leads to
We remark that the coefficient of the norm of the difference between the velocities is computed taking care of the time intervals on which the \(\mathbf {L^1}\)-norm is evaluated.
We can proceed by adding the time interval \(I_{n_\varepsilon -2}\): in particular, we exploit (A.6) for \(I_{n_\varepsilon }^\varepsilon \cup I_{n_\varepsilon -1}^\varepsilon \) and add (A.3) for \(I_{n_\varepsilon -2}\), noting that we can bound the last line on the right hand side of (A.6) exploiting (A.4) and (A.5). What we obtain is entirely analogous to (A.7). Proceeding in this way, we get
Finally, we add the contributions from the three different subsets into which we divided [0, t]:
The left hand side does not depend on \(\varepsilon \), while the right hand side holds true for all choices of \(\varepsilon \), so we can omit the last term, obtaining the desired estimate. \(\square \)
Lemma A.1
Let \(s_1, s_2: [a, b] \rightarrow [a', b']\) be continuous and invertible functions satisfying the following properties:
-
1.
\(s_1(a) = s_2(a)\) and \(s_1(b) = s_2(b)\);
-
2.
there exists \(K > 0\) such that
$$\begin{aligned} \begin{aligned} {\left| s^{-1}_1(y_1) - s^{-1}_1(y_2)\right| }&\le K {\left| y_1 - y_2\right| } \\ {\left| s^{-1}_2(y_1) - s^{-1}_2(y_2)\right| }&\le K {\left| y_1 - y_2\right| } \end{aligned} \end{aligned}$$for every \(y_1, y_2 \in [a', b']\).
Fix \(f\in \mathbf {L^1}((a',b');{\mathbb {R}})\) with finite total variation.
Then
Proof
We extend f to a function \({\tilde{f}}: {\mathbb {R}}\rightarrow {\mathbb {R}}\) such that \({\tilde{f}}\) is continuous in \(a'\) and \(b'\), \({\tilde{f}}(x) = 0\) for every \(x \in {\mathbb {R}}\setminus [a'-1, b'+1]\), \({\tilde{f}}\) has finite total variation, and \({\tilde{f}}(x) = f(x)\) for a.e. \(x \in (a', b')\). Then there exists a unique signed Borel measure \(\mu _f\) such that \({\tilde{f}}(x) = \mu _f((-\infty , x])\) for every \(x \in {\mathbb {R}}\); see [20, Theorem 3.29].
Define the continuous functions \(m(x)=\min \{s_1(x), s_2(x)\}\) and \(M(x)=\max \{s_1(x), s_2(x)\}\). We have
concluding the proof. \(\square \)
Lemma A.2
Assume \(e_L\), \(e_R\) and \(\bar{e}\) be functions with bounded total variation. Let \(G>0\) be fixed and let \(g: {\mathbb {R}}\rightarrow {\mathbb {R}}\) be a globally Lipschitz continuous function with Lipschitz constant G. Denote with e the solution of
Then, for a.e. \(t \in {\mathbb {R}}^+\), it holds
Proof
The proof follows almost directly using the fact that the solution to (A.8) along the characteristics lines is a solution of an ordinary differential equations with vector field given by g. Thus the amplification, obtained by the Gronwall Lemma, produced by the solution at time t is given by \(e^{Gt}\). Therefore the total variation of e(t) can be control by the total variation of the initial and boundary conditions multiplied by \(e^{Gt}\) and by the jumps between the boundary data and the initial condition, again multiplied by the factor \(e^{Gt}\); see also [34, Theorem 2.3] for a similar situation. \(\square \)
Lemma A.3
(Energy bound) Under the assumptions of Theorem 3.4 we have for all \(t\le T\)
for almost every x.
Proof
First consider a single pipe and the corresponding transport equation
with \(e(0,x) = e_0(x)\) and \(e(t,a) = e_L(t), e(t,b) = e_R(t)\) with \(e_0,e_L,e_R\in \mathbf {L^1}\) and essentially bounded. Denoting the essential supremum by
then we know from basic ODE theory that
for almost every x, where \(\Theta (t)=e^{Gt}\). For a node J, the node energy depends on those of all connected pipes. Let
be the maximum essential bound of all edges. Then
and with Gronwall’s inequality
where \(C=\frac{deg({\mathcal {G}})v_{max}}{V}\) is the maximal node degree in the network and V the minimal volume of a junction. For an arbitrary edge in the network, the left and right boundary values come from some nodes in the network. Inserting (A.10) into (A.9) and applying Gronwall one more time gives
where \(e_{max,0}\) is the essential supremum of the initial datum of the network and the boundary data at the source. The choice \(e_{max}= \text {exp}(e_{max,0}\Theta (T)CTe^{CT})\) concludes the proof. \(\square \)
Lemma A.4
(Total variation bound) Under the assumptions of Theorem 3.4 we have for all \(t\le T\)
Proof
Then the total variation of the node values fulfills
Here, \(deg({\mathcal {G}})\) is the maximal node degree in the network and V the minimal volume of a junction. Using A.2 we get for the solution along one edge in the network
The full energy solution \( e = (e^{{\mathcal {I}}}, e_{{\mathcal {J}}})\) then collects the total variation of all edges and nodes (including the boundary).
\(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, 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 licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence 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. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Borsche, R., Eimer, M., Garavello, M. et al. Analysis of District Heating Networks. Appl Math Optim 87, 38 (2023). https://doi.org/10.1007/s00245-022-09952-2
Accepted:
Published:
DOI: https://doi.org/10.1007/s00245-022-09952-2