Loading [MathJax]/jax/element/mml/optable/SpacingModLetters.js
Review

Developments in the evaluation of elastic properties of carbon nanotubes and their heterojunctions by numerical simulation

  • Received: 06 March 2017 Accepted: 01 June 2017 Published: 13 June 2017
  • High-tech miniaturization is a strategic area to empower new scientific challenges for which carbon nanotubes are ideal candidates with outstanding electronic, optical and mechanical properties. Carbon nanotubes and their heterojunctions are efficient components for reinforcement of composites, for constructing micro- and nanodevices, and for designing new materials with required electronic and mechanical properties. The carbon nanotubes have been studied experimentally, but a big inconsistency in experimental results has been observed, because of the technical difficulties to operate with nanoscale objects. For this reason, modelling and computer simulation for predicting their mechanical properties have received much attention. This review attempts to classify the accomplishments in predicting of the elastic properties of carbon nanotubes and their heterojunctions by analytical and computational approaches. The literature results concerning Young’s modulus, shear modulus and Poisson’s ratio of perfect and with defects single-walled and multi-walled carbon nanotubes and their heterojunction are analysed and systematized.

    Citation: Nataliya A. Sakharova, Jorge M. Antunes, Andre F. G. Pereira, Jose V. Fernandes. Developments in the evaluation of elastic properties of carbon nanotubes and their heterojunctions by numerical simulation[J]. AIMS Materials Science, 2017, 4(3): 706-737. doi: 10.3934/matersci.2017.3.706

    Related Papers:

    [1] Kexin Li, Hu Chen, Shusen Xie . Error estimate of L1-ADI scheme for two-dimensional multi-term time fractional diffusion equation. Networks and Heterogeneous Media, 2023, 18(4): 1454-1470. doi: 10.3934/nhm.2023064
    [2] Panpan Xu, Yongbin Ge, Lin Zhang . High-order finite difference approximation of the Keller-Segel model with additional self- and cross-diffusion terms and a logistic source. Networks and Heterogeneous Media, 2023, 18(4): 1471-1492. doi: 10.3934/nhm.2023065
    [3] Zhe Pu, Maohua Ran, Hong Luo . Effective difference methods for solving the variable coefficient fourth-order fractional sub-diffusion equations. Networks and Heterogeneous Media, 2023, 18(1): 291-309. doi: 10.3934/nhm.2023011
    [4] Li-Bin Liu, Limin Ye, Xiaobing Bao, Yong Zhang . A second order numerical method for a Volterra integro-differential equation with a weakly singular kernel. Networks and Heterogeneous Media, 2024, 19(2): 740-752. doi: 10.3934/nhm.2024033
    [5] Xiongfa Mai, Ciwen Zhu, Libin Liu . An adaptive grid method for a singularly perturbed convection-diffusion equation with a discontinuous convection coefficient. Networks and Heterogeneous Media, 2023, 18(4): 1528-1538. doi: 10.3934/nhm.2023067
    [6] Yaxin Hou, Cao Wen, Yang Liu, Hong Li . A two-grid ADI finite element approximation for a nonlinear distributed-order fractional sub-diffusion equation. Networks and Heterogeneous Media, 2023, 18(2): 855-876. doi: 10.3934/nhm.2023037
    [7] Junjie Wang, Yaping Zhang, Liangliang Zhai . Structure-preserving scheme for one dimension and two dimension fractional KGS equations. Networks and Heterogeneous Media, 2023, 18(1): 463-493. doi: 10.3934/nhm.2023019
    [8] Fengli Yin, Dongliang Xu, Wenjie Yang . High-order schemes for the fractional coupled nonlinear Schrödinger equation. Networks and Heterogeneous Media, 2023, 18(4): 1434-1453. doi: 10.3934/nhm.2023063
    [9] Diandian Huang, Xin Huang, Tingting Qin, Yongtao Zhou . A transformed L1 Legendre-Galerkin spectral method for time fractional Fokker-Planck equations. Networks and Heterogeneous Media, 2023, 18(2): 799-812. doi: 10.3934/nhm.2023034
    [10] Li-Bin Liu, Yige Liao, Guangqing Long . Error estimate of BDF2 scheme on a Bakhvalov-type mesh for a singularly perturbed Volterra integro-differential equation. Networks and Heterogeneous Media, 2023, 18(2): 547-561. doi: 10.3934/nhm.2023023
  • High-tech miniaturization is a strategic area to empower new scientific challenges for which carbon nanotubes are ideal candidates with outstanding electronic, optical and mechanical properties. Carbon nanotubes and their heterojunctions are efficient components for reinforcement of composites, for constructing micro- and nanodevices, and for designing new materials with required electronic and mechanical properties. The carbon nanotubes have been studied experimentally, but a big inconsistency in experimental results has been observed, because of the technical difficulties to operate with nanoscale objects. For this reason, modelling and computer simulation for predicting their mechanical properties have received much attention. This review attempts to classify the accomplishments in predicting of the elastic properties of carbon nanotubes and their heterojunctions by analytical and computational approaches. The literature results concerning Young’s modulus, shear modulus and Poisson’s ratio of perfect and with defects single-walled and multi-walled carbon nanotubes and their heterojunction are analysed and systematized.


    In this paper we study systems of linear hyperbolic equations on a bounded interval, say, (0,1), sometimes referred to as port-Hamiltonians, see for example [14], and the role is played by the boundary conditions coupling the incoming and outgoing Riemann invariants determined by the system at the endpoints x=0 and x=1. In particular, we consider the set of equations

    t(υϖ)=(C+00C)x(υϖ),0<x<1,t>0, (1a)
    Ξ(υ(0,t),ϖ(1,t),υ(1,t),ϖ(0,t))T=0,t>0, (1b)
    υ(x,0)=υ˚ (1c)

    where \boldsymbol{ \upsilon} and \boldsymbol{ \varpi} are the Riemann invariants flowing from 0 to 1 and from 1 to 0 , respectively, \mathcal{C}_+ and \mathcal{C}_- are m_+\times m_+ and m_-\times m_- diagonal matrices with positive entries and, with 2m = m_++m_- , \boldsymbol{\Xi} is a 2m\times 4m matrix relating outgoing \boldsymbol{{ \upsilon}}(0), \boldsymbol{{ \varpi}}(1) and incoming \boldsymbol{{ \upsilon}}(1), \boldsymbol{{ \varpi}}(0) boundary values so that (1b) can be written as

    \begin{equation} \boldsymbol{\Xi}_{out} (\boldsymbol{{ \upsilon}}(0, t), \boldsymbol{{ \varpi}}(1, t))^T + \boldsymbol{\Xi}_{in}(\boldsymbol{{ \upsilon}}(1, t), \boldsymbol{{ \varpi}}(0, t))^T = 0, \quad t > 0. \end{equation} (2)

    An important class of such problems arises from dynamical systems on metric graphs. Let \Gamma be a graph with r vertices \{ \mathbf{v}_j\}_{1\leq j\leq r} = :\Upsilon and m edges \{\boldsymbol{e_j}\}_{1\leq j\leq m} (identified with (0, 1) through a suitable parametrization). The dynamics on each edge \boldsymbol{e_j} is described by

    \begin{equation} {\partial}_t \boldsymbol{p}^j+ \mathcal{M}^j{\partial}_x\boldsymbol{p}^j = 0, \quad 0 < x < 1, \; t > 0, \; 1\leq j\leq m, \end{equation} (3)

    where \boldsymbol{p}^j = (p^j_1, p^j_2)^T and \mathcal{M}^j = (M^j_{lk})_{1\leq k, l\leq 2} are defined on [0, 1] and \mathcal{M}^j(x) is a strictly hyperbolic real matrix for each x\in [0, 1] and 1\leq j\leq m . System (3) is complemented with initial conditions and suitable transmission conditions coupling the values of \boldsymbol{p}^j at the vertices which the edges \boldsymbol{e_j} are incident to. Then, (1) can be obtained from (3) by diagonalization so that (suitably re-indexed) \boldsymbol{ \upsilon} and \boldsymbol{ \varpi} are the Riemann invariants (see [7,Section 1.1]) of \boldsymbol{p} = (\boldsymbol{p}^j)_{1\leq j\leq m} .

    Such problems have been a subject of intensive research, both from the dynamics on graphs, [1,10,5,4,11,17,19], and the 1-D hyperbolic systems, [7,21,15,14], points of view. However, there is hardly any overlap, as there seems to be little interest in the network interpretation of the results in the latter, while in the former the conditions on the Riemann invariants seem to be "difficult to adapt to the case of a network", [11,Section 3].

    The main aim of this paper, as well as of the preceding one [2] is to bring together these two approaches. In [2] we have provided explicit formulae allowing for a systematic conversion of Kirchhoff's type network transmission conditions to (1b) in such a way that the resulting system(1) is well-posed. We also gave a proof of the well-posedness on any L_p , 1\leq p<\infty , which, in contrast to [21], is purely based on an operator semigroup approach. For notational clarity, we focused on 2\times 2 hyperbolic systems on each edge but the method works equally well for systems of arbitrary (finite) dimension. In this paper we are concerned with the reverse question, that is, to determine under what assumptions on \boldsymbol{\Xi} , (1) describes a network dynamics given by 2\times 2 hyperbolic systems on each edge, coupled by Kirchhoff's transmission conditions at incident vertices.

    To briefly describe the content of the paper, we observe that if the matrix \boldsymbol{\Xi} = \{\xi_{ij}\}_{1\leq i\leq 2m, 1\leq j\leq 4m} in (1b) describes transmission conditions at the vertices of a graph, say \Gamma, on whose edges we have 2\times 2 systems of hyperbolic equations, then we should be able to group the indices j into pairs \{j', j"\} corresponding to the edges of \Gamma on which we have 2\times 2 systems for the components j' and j" of (\boldsymbol{ \upsilon}, \boldsymbol{ \varpi}). Thus, in a sense, the columns of \boldsymbol{\Xi} determine the edges of \Gamma. It follows that it is easier to split the reconstruction of \Gamma into two steps and first build a digraph \boldsymbol{\Gamma}, where each column index j of \boldsymbol{\Xi} is associated with an arc, say \boldsymbol{{\varepsilon}}^j, on which we have a first order system for either \upsilon_j or \varpi_j. Thus, the main problem is to construct vertices of \Gamma (and \boldsymbol{\Gamma} ) which should be somehow determined by a partition of the row indices of \boldsymbol{\Xi} . To do this, we observe that the coefficients of \boldsymbol{\Xi} represent a map of connections of the edges in the sense that, roughly speaking, if \xi_{ij}\neq 0 and \xi_{ik}\neq 0 , then arcs \boldsymbol{{\varepsilon}}^j and \boldsymbol{{\varepsilon}}^k are incident to the same vertex and, if they are incoming to it, then they cannot be incoming to any other vertex. A difficulty here is that while for the flow to occur from, say, \boldsymbol{{\varepsilon}}^j to \boldsymbol{{\varepsilon}}^k, these arcs must be incident to the same vertex but the converse may not hold, that is, for \boldsymbol{{\varepsilon}}^j incoming to and \boldsymbol{{\varepsilon}}^k outgoing from the same \mathbf{v}, the flow from \boldsymbol{{\varepsilon}}^j may not enter \boldsymbol{{\varepsilon}}^k but go to other outgoing arcs. To avoid such a case, in this paper we formulate conditions ensuring that the flow connectivity at each vertex is the same as the graph connectivity. This assumption yields a relatively simple criterion for the reconstruction of \boldsymbol{\Gamma}, which is that

    \widehat {\left(\widehat{\boldsymbol{\Xi}_{out}}\right)^T\widehat{\boldsymbol{\Xi}_{in}}}

    is the adjacency matrix of a line graph (where for a matrix \mathcal{A} , \widehat{\mathcal{A}} is obtained by replacing non-zero entries of \mathcal{A} by 1.) This, together with some technical assumptions, allows us to apply the theory of [13], see also [6,Theorem 4.5.1], to construct first \boldsymbol{\Gamma} and then \Gamma in such a way that (2) can be localized at each vertex of \Gamma in a way which is consistent with (1a).

    The main idea of this paper is similar to that of [3]. However, [3] dealt with first order problems with (2) solved with respect to the outgoing data. Here, we do not make this assumption and, while(1) technically is one-dimensional, having reconstructed \boldsymbol{\Gamma}, we still have to glue together its pairs of arcs to obtain the edges of \Gamma in such a way that the corresponding pairs of solutions of (1a) are Riemann invariants of 2\times 2 systems on \Gamma . Another difficulty in the current setting is potential presence of sources and sinks in \Gamma. Their structure is not reflected in the line graph, [3], and reconstructing them in a way consistent with a system of 2\times 2 equations on \Gamma is technically involved.

    The paper is organized as follows. In Section 2 we briefly recall the notation and relevant results from [2]. Section 3 contains the main result of the paper. In Appendix we recall basic results on line graphs in the interpretation suitable for the considerations of the paper.

    We consider a network represented by a finite, connected and simple (without loops and multiple edges) metric graph \Gamma with r vertices \{ \mathbf{v}_j\}_{1\leq j\leq r} = :\Upsilon and m edges \{\boldsymbol{e_j}\}_{1\leq j\leq m} . We denote by E_{ \mathbf{v}} the set of edges incident to \mathbf{v}, let J_{ \mathbf{v}} = \{j;\; \boldsymbol{e_j} \in E_{ \mathbf{v}}\} and |E_{ \mathbf{v}}| = |J_{ \mathbf{v}}| be the valency of \mathbf{v} . We identify the edges with unit intervals through sufficiently smooth invertible functions l_j: \boldsymbol{e_j} \mapsto [0, 1] . In particular, we call \mathbf{v} with l_j( \mathbf{v}) = 0 the tail of \boldsymbol{e_j} and the head if l_j( \mathbf{v}) = 1 . On each edge \boldsymbol{e_j} we consider the system (3). Let \lambda^j_-< \lambda^j_+ be the eigenvalues of \mathcal{M}^j, 1\leq j\leq m (the strict inequality is justified by the strict hyperbolicity of \mathcal{M}^j ). The eigenvalues can be of the same sign as well as of different signs. In the latter case, we have \lambda^j_-<0< \lambda^j_+ . By f^j_\pm = (f^j_{\pm, 1}, f^j_{\pm, 2})^T we denote the eigenvectors corresponding to \lambda^j_\pm , respectively, and by

    \mathcal{F}^j = \left(\begin{array}{cc} f^j_{+, 1}&f^j_{-, 1}\\ f^j_{+, 2}&f^j_{-, 2} \end{array}\right),

    the diagonalizing matrix on each edge. The Riemann invariants \boldsymbol{u}^j = (u^j_1, u^j_2)^T, 1\leq j\leq m, are defined by

    \begin{equation} \boldsymbol{u}^j = (\mathcal{F}^{j})^{-1} \boldsymbol{p}^j\quad\text{and}\quad \boldsymbol{p}^j = \binom{f^j_{+, 1} u^j_1 + f^j_{-, 1}u^j_2}{f^j_{+, 2}u^j_1 + f^j_{-, 2}u^j_2}. \end{equation} (4)

    Then, we diagonalize (3) and, discarding lower order terms, we consider

    \begin{equation} {\partial}_t\boldsymbol{u}^j = \mathcal{L}^j{\partial}_x\boldsymbol{{u}}^j = \left(\begin{array}{cc}- \lambda^j_+&0\\0&- \lambda^j_- \end{array}\right){\partial}_x\boldsymbol{{u}}^j, \end{equation} (5)

    for each 1\leq j\leq m .

    Remark 1. We refer an interested reader to [7,Section 1.1] for a detailed construction of the Riemann invariants for a general 1-D hyperbolic system and the explanation of the name.

    The most general linear local boundary conditions at \mathbf{v}\in \Upsilon are given by

    \begin{equation} \boldsymbol{\Phi}_{ \mathbf{v}} \boldsymbol{p}( \mathbf{v}) = 0, \end{equation} (6)

    where \boldsymbol{p} = ((p_1^j, p_2^j)_{1\leq j\leq m})^T and the real matrix \boldsymbol{\Phi}_{ \mathbf{v}} is given by

    \begin{equation} \boldsymbol{\Phi}_{ \mathbf{v}} : = \left(\begin{array}{ccccc}\phi^{j_1}_{ \mathbf{v}, 1}& \varphi^{j_1}_{ \mathbf{v}, 1}&\ldots&\phi^{j_{|J_{ \mathbf{v}}|}}_{ \mathbf{v}, 1}& \varphi^{j_{|J_{ \mathbf{v}}|}}_{ \mathbf{v}, 1}\\ \vdots&\vdots&\vdots&\vdots&\vdots\\ \phi^{j_1}_{ \mathbf{v}, k_{ \mathbf{v}}}& \varphi^{j_1}_{ \mathbf{v}, k_{ \mathbf{v}}}&\ldots&\phi^{j_{|J_{ \mathbf{v}}|}}_{ \mathbf{v}, k_{ \mathbf{v}}}& \varphi^{j_{|J_{ \mathbf{v}}|}}_{ \mathbf{v}, k_{ \mathbf{v}}}\end{array}\right), \ \end{equation} (7)

    where J_{ \mathbf{v}} = \{j_1, \ldots, j_{|J_{ \mathbf{v}}|}\} and k_{ \mathbf{v}} is a parameter determined by the problem. The difficulty with such a formulation is that it is not immediately clear what properties \boldsymbol{\Phi}_{ \mathbf{v}} should have to ensure well-posedness of the hyperbolic problem for which (6), \mathbf{v}\in \Upsilon , serve as boundary conditions. There are various ways tackling this difficulty. For example, in [20,11] conditions are imposed directly on \boldsymbol{\Phi}_{ \mathbf{v}} to ensure specific properties, such as dissipativity, of the resulting initial boundary value problem. However, we follow the paradigm introduced in [7,Section 1.1.5.1] and require that at each vertex all outgoing data must be determined by the incoming data. Since for a general system (3) it is not always obvious which data are outgoing and which are incoming at a vertex, we write (6) in the equivalent form using the Riemann invariants \boldsymbol{u} = \mathcal{F}^{-1} \boldsymbol{p} , as

    \begin{equation} \boldsymbol{\Psi}_{ \mathbf{v}} \boldsymbol{u}( \mathbf{v}) : = \boldsymbol{\Phi}_{ \mathbf{v}} \mathcal{F}( \mathbf{v})\boldsymbol{u}( \mathbf{v}) = 0. \end{equation} (8)

    For Riemann invariants, we can define their outgoing values at \mathbf{v} as follows.

    Definition 2.1. Let \mathbf{v}\in \Upsilon . The following values u^j_k( \mathbf{v}), j\in J_{ \mathbf{v}}, k = 1, 2, are outgoing at \mathbf{v} .

    If λ^j_+>λ^j_->0 λ^j_+>0>λ^j_- 0>λ^j_+>λ^j_-
    l_j(\bf v) =0 u^j_1(\bf v), u^j_2(\bf v) u^j_1(\bf v) none
    l_j(\bf v) =1 none u^j_2(\bf v) u^j_1(\bf v), u^j_2(\bf v)

     | Show Table
    DownLoad: CSV

    Denote by \alpha_j the number of positive eigenvalues on \boldsymbol{e_j} . Then, we see that for a given vertex \mathbf{v} with valence |J_{ \mathbf{v}}| the number of outgoing values is given by

    \begin{equation} k_{ \mathbf{v}} : = \sum\limits_{j\in J_{ \mathbf{v}}} (2(1-\alpha_j)l_j( \mathbf{v}) +\alpha_j ). \end{equation} (9)

    Definition 2.2. We say that \mathbf{v} is

    ● a sink if either \alpha_j = 2 and l_j( \mathbf{v}) = 1 or \alpha_j = 0 and l_j( \mathbf{v}) = 0 for all j \in J_{ \mathbf{v}} ;

    ● a source if either \alpha_j = 0 and l_j( \mathbf{v}) = 1 or \alpha_j = 2 and l_j( \mathbf{v}) = 0 for all j \in J_{ \mathbf{v}} ;

    ● a transient (or internal) vertex if it is neither a source nor a sink.

    We denote the sets of sources, sinks and transient vertices by \Upsilon_s, \Upsilon_z and \Upsilon_t , respectively.

    We observe that if \mathbf{v}\in \Upsilon_z , then k_{ \mathbf{v}} = 0 (so that no boundary conditions are imposed at a sink), while if \mathbf{v}\in \Upsilon_s , then k_{ \mathbf{v}} = 2|J_{ \mathbf{v}}| .

    A typical example of (8) is Kirchhoff's law that requires that the total inflow rate into a vertex must equal the total outflow rate from it. Its precise formulation depends on the context, we refer to [8,Chapter 18] for a detailed description in the context of flows in networks. Since it provides only one equation, in general it is not sufficient to ensure the well-posedness of the problem. So, we introduce the following definition.

    Definition 2.3. We say that \boldsymbol{p} satisfies a generalized Kirchhoff conditions at \mathbf{v} \in \Upsilon\setminus\Upsilon_z if, for \boldsymbol{u} = \mathcal{F}^{-1} \boldsymbol{p}, (8) is satisfied for some matrix \boldsymbol{\Phi}_{ \mathbf{v}} = \boldsymbol{\Psi}_{ \mathbf{v}}\mathcal{F}^{-1} with k_{ \mathbf{v}} given by (9).

    To realize the requirement that the outgoing values should be determined by the incoming ones, we have to analyze the structure of \boldsymbol{\Psi}_{ \mathbf{v}} . Let us introduce the partition

    \begin{equation} \{1, \ldots, m\} = : J_1\cup J_2\cup J_0, \end{equation} (10)

    where j \in J_1 if \alpha_j = 1, j \in J_2 if \alpha_j = 2 and j\in J_0 if \alpha_j = 0 . This partition induces the corresponding partition of each J_{ \mathbf{v}} as

    J_{ \mathbf{v}} : = J_{ \mathbf{v}, 1}\cup J_{ \mathbf{v}, 2}\cup J_{ \mathbf{v}, 0}.

    We also consider another partition J_{ \mathbf{v}} = J_{ \mathbf{v}}^0\cup J_{ \mathbf{v}}^1, where j\in J_{ \mathbf{v}}^0 if l_j( \mathbf{v}) = 0 and j\in J_{ \mathbf{v}}^1 if l_j( \mathbf{v}) = 1 . Then, we can give an alternative expression for k_{ \mathbf{v}} as

    \begin{equation} k_{ \mathbf{v}} = \sum\limits_{j\in J^0_{ \mathbf{v}}} \alpha_j + \sum\limits_{j\in J^1_{ \mathbf{v}}} (2-\alpha_j) = |J_{ \mathbf{v}, 1}|+ 2(|J^0_{ \mathbf{v}}\cap J_{ \mathbf{v}, 2}| + |J^1_{ \mathbf{v}}\cap J_{ \mathbf{v}, 0}|). \end{equation} (11)

    Then, by [2,Lemma 3.6],

    \rm (i) u^j_1(0) is outgoing if and only if j \in (J_{ \mathbf{v}, 1}\cup J_{ \mathbf{v}, 2})\cap J^0_{ \mathbf{v}},

    \rm (ii) u^j_2(0) is outgoing if and only if j \in J_{ \mathbf{v}, 2}\cap J^0_{ \mathbf{v}},

    \rm(iii) u^j_1(1) is outgoing if and only if j \in J_{ \mathbf{v}, 0}\cap J^1_{ \mathbf{v}},

    \rm (iv) u^j_2(1) is outgoing if and only if j \in (J_{ \mathbf{v}, 1}\cup J_{ \mathbf{v}, 0})\cap J^1_{ \mathbf{v}}.

    We introduce the block diagonal matrix

    \begin{equation} \mathcal{{\tilde{{F}}}}_{out}( \mathbf{v}) = {\rm diag}\{\mathcal{{\tilde{{F}}}}_{out}^j( \mathbf{v})\}_{j \in J_{ \mathbf{v}}}, \end{equation} (12)

    where

    \mathcal{{\tilde{F}}}_{out}^j( \mathbf{v}) = \left\{\begin{array} {ccc} \left(\begin{array}{cc}0&0\\0&0\end{array}\right)&\text{if} &j\in (J_{ \mathbf{v}, 0} \cap J_{ \mathbf{v}}^0)\cup (J_{ \mathbf{v}, 2}\cap J_{ \mathbf{v}}^1), \\ \left(\begin{array}{cc}f^j_{+, 1}(l_j( \mathbf{v}))&f^j_{-, 1}(l_j( \mathbf{v}))\\f^j_{+, 2}(l_j( \mathbf{v}))&f^j_{-, 2}(l_j( \mathbf{v}))\end{array}\right)&\text{if}& j\in (J_{ \mathbf{v}, 0} \cap J_{ \mathbf{v}}^1)\cup (J_{ \mathbf{v}, 2}\cap J_{ \mathbf{v}}^0), \\ \left(\begin{array}{cc}f^j_{+, 1}(0)&0\\f^j_{+, 2}(0)&0\end{array}\right)&\text{if} &j\in J_{ \mathbf{v}, 1} \cap J_{ \mathbf{v}}^0, \\ \left(\begin{array}{cc}0&f^j_{-, 1}(1)\\0&f^j_{-, 2}(1)\end{array}\right)&\text{if}& j\in J_{ \mathbf{v}, 1} \cap J_{ \mathbf{v}}^1. \end{array} \right.

    Further, by \mathcal{F}_{out}( \mathbf{v}) we denote the contraction of \mathcal{{\tilde{F}}}_{out}( \mathbf{v}) ; that is, the 2|J_{ \mathbf{v}}| \times k_{ \mathbf{v}} matrix obtained from \mathcal{{\tilde{F}}}_{out}( \mathbf{v}) by deleting 2|J_{ \mathbf{v}}| - k_{ \mathbf{v}} zero columns, and then define \mathcal{F}_{in}( \mathbf{v}) as the analogous contraction of \mathcal{F}( \mathbf{v})-\mathcal{{\tilde{F}}}_{out}( \mathbf{v}) .

    In a similar way, we extract from \boldsymbol{u}( \mathbf{v}) the outgoing boundary values \widetilde{\boldsymbol{u}}_{out}( \mathbf{v}) = (\widetilde{\boldsymbol{u}}^j_{out}( \mathbf{v}))_{j\in J_{ \mathbf{v}}} by

    \widetilde{\boldsymbol{u}}^j_{out}( \mathbf{v}) = \left\{\begin{array} {ccc} (0, 0)^T&\text{if} &j\in (J_{ \mathbf{v}, 0} \cap J_{ \mathbf{v}}^0)\cup (J_{ \mathbf{v}, 2}\cap J_{ \mathbf{v}}^1), \\ (u^j_1(l_j( \mathbf{v})), u^j_2(l_j( \mathbf{v})))^T&\text{if}& j\in (J_{ \mathbf{v}, 0} \cap J_{ \mathbf{v}}^1)\cup (J_{ \mathbf{v}, 2}\cap J_{ \mathbf{v}}^0), \\ (u^j_1(0), 0)^T&\text{if} &j\in J_{ \mathbf{v}, 1} \cap J_{ \mathbf{v}}^0, \\ (0, u^j_2(1))^T&\text{if}& j\in J_{ \mathbf{v}, 1} \cap J_{ \mathbf{v}}^1, \end{array} \right.

    and \widetilde{\boldsymbol{u}}_{in}( \mathbf{v}) = {\boldsymbol{u}( \mathbf{v})}-\widetilde{\boldsymbol{u}}_{out}( \mathbf{v}). As above, we define \boldsymbol{u}_{out}( \mathbf{v}) to be the vector in \mathbb{R}^{k_{ \mathbf{v}}} obtained by discarding the zero entries in \widetilde{\boldsymbol{u}}_{out}( \mathbf{v}) , as described above and, similarly, \boldsymbol{u}_{in}( \mathbf{v}) is the vector in \mathbb{R}^{2|J_{ \mathbf{v}}|-k_{ \mathbf{v}}} obtained from \widetilde{\boldsymbol{u}}_{in}( \mathbf{v}) .

    Proposition 1. [2,Proposition 3.8] The boundary system (8) at \mathbf{v}\in \Upsilon\setminus \Upsilon_z is equivalent to

    \begin{equation} \boldsymbol{\Phi}_{ \mathbf{v}} \mathcal{F}_{out}( \mathbf{v}) \boldsymbol{u}_{out}( \mathbf{v}) + \boldsymbol{\Phi}_{ \mathbf{v}} \mathcal{F}_{in}( \mathbf{v})\boldsymbol{u}_{in}( \mathbf{v}) = 0 \end{equation} (13)

    and hence it uniquely determines the outgoing values of \boldsymbol{u}( \mathbf{v}) at \mathbf{v} as defined by Definition 2.1 if and only if

    \begin{equation} \boldsymbol{\Phi}_{ \mathbf{v}} \mathcal{F}_{out}( \mathbf{v})\quad \mathit{\text{is nonsingular}}. \end{equation} (14)

    In this case,

    \begin{equation} \boldsymbol{u}_{out}( \mathbf{v}) = - (\boldsymbol{\Phi}_{ \mathbf{v}} \mathcal{F}_{out}( \mathbf{v}))^{-1} \boldsymbol{\Phi}_{ \mathbf{v}} \mathcal{F}_{in}( \mathbf{v})\boldsymbol{u}_{in}( \mathbf{v}). \end{equation} (15)

    To pass from (3) with Kirchhoff's boundary conditions at each vertex \mathbf{v} \in \Upsilon\setminus \Upsilon_z to(1) we have to write the former in a global form. Assuming the vertices in \Upsilon\setminus\Upsilon_z are ordered as \{ \mathbf{v}_1, \ldots, \mathbf{v}_{r'}\} , we define \boldsymbol{\Psi}' = {\rm diag} \{\boldsymbol{\Psi}_{ \mathbf{v}} \}_{ \mathbf{v}\in \Upsilon\setminus\Upsilon_z} and \gamma \boldsymbol{u} = ((\boldsymbol{u}( \mathbf{v}))_{ \mathbf{v} \in \Upsilon\setminus\Upsilon_z})^T and write (8) as

    \begin{equation} \boldsymbol{\Psi}' \gamma \boldsymbol{u} = 0. \end{equation} (16)

    We note that the function values that are incoming at \mathbf{v}\in \Upsilon_z do not influence any outgoing data. However, to keep the track of all vertex values, we extend \boldsymbol{\Psi}' with zero columns corresponding to edges coming to sinks and denote such an extended matrix by \boldsymbol{\Psi} . Since, by the hand shake lemma, we have 2\sum_{ \mathbf{v}\in \Upsilon} |J_{ \mathbf{v}}| = 4m and by [2,Section 3.2] also \sum_{ \mathbf{v}\in \Upsilon\setminus\Upsilon_z} k_{ \mathbf{v}} = 2m, \boldsymbol{\Psi} is a 2m\times 4m matrix. In the same way, we can provide a global form of (13), splitting (16) as

    \begin{equation} \boldsymbol{\Psi}^{out} \gamma \boldsymbol{u}_{out} + \boldsymbol{\Psi}^{in}\gamma\boldsymbol{u}_{in} = 0, \end{equation} (17)

    where \boldsymbol{\Psi}^{out} = {\rm diag} \{\boldsymbol{\Phi}_{ \mathbf{v}} \mathcal{F}_{out}( \mathbf{v}) \}_{ \mathbf{v}\in \Upsilon\setminus\Upsilon_z} and \boldsymbol{\Psi}^{in} = {\rm diag} \{\boldsymbol{\Phi}_{ \mathbf{v}} \mathcal{F}_{in}( \mathbf{v}) \}_{ \mathbf{v}\in \Upsilon\setminus\Upsilon_z}, extended by zero columns corresponding to the incoming functions at the sinks, \gamma \boldsymbol{u}_{out} : = ((\boldsymbol{u}_{out}( \mathbf{v}))_{ \mathbf{v} \in \Upsilon\setminus\Upsilon_z})^T , and \gamma \boldsymbol{u}_{in} is ((\boldsymbol{u}_{in}( \mathbf{v}))_{ \mathbf{v} \in \Upsilon\setminus\Upsilon_z})^T extended by incoming values at the sinks.

    Using the adopted parametrization and the formalism of Definition 2.1, we only need to distinguish between functions describing the flow from 0 to 1 and from 1 to 0 . Accordingly, we group the Riemann invariants \boldsymbol{u} into parts corresponding to positive and negative eigenvalues and rename them as:

    \begin{equation} \begin{split} \boldsymbol{{\upsilon}} &: = \left((u^j_1)_{j\in J_1\cup J_2}, (u^j_2)_{j\in J_2}\right) = ( \upsilon_j)_{j\in J^+}, \\ \boldsymbol{{ \varpi}}& : = \left((u^j_1)_{j\in J_0}, (u^j_2)_{j\in J_1\cup J_0}\right) = ( \varpi_j)_{j\in J^-}, \end{split} \end{equation} (18)

    where J^+ and J^- are the sets of indices j with at least 1 positive eigenvalue, and at least 1 negative eigenvalue of \mathcal{M}^j , respectively. In J^+ (respectively J^- ) the indices from J_2 (respectively J_0 ) appear twice so that we rearrange them in some consistent way to avoid confusion. For instance, we can take J^+ = \{1, \ldots, m^u, m^u+1, \ldots, m^+\} and J^- = \{m^++1, \ldots, m_u, m_u+1, \ldots, 2m\} and there are bijections between J_1\cup J_2 and \{1, \ldots, m^u\} , J_2 and \{m^u+1, \ldots, m^+\} , J_0 and \{m^++1, \ldots, m_u\} , and J_1\cup J_0 and \{m_u+1, \ldots, 2m\} , respectively. We emphasize that such a renumbering is largely arbitrary and different ways of doing it result in just re-labelling of the components of(1) without changing its structure.

    In this way, we converted \Gamma into a multi digraph \boldsymbol{\Gamma} with the same vertices \Upsilon , in such a way that each edge of \Gamma was split into two arcs parametrized by x\in [0, 1], where x = 0 on each arc corresponds to the same vertex in \Gamma and the same is valid for x = 1 . Conversely, if we have a multi digraph \boldsymbol{\Gamma}, where all edges appear in pairs and each two edges joining the same vertex are parametrized concurrently, then we can collapse \boldsymbol{{\Gamma}} to a graph \Gamma . We note that this approach originates from [16].

    Using this construction, the second order hyperbolic problem (3), (17) was transformed into first order system (1) with (17) written in the form (2). However, it is clear that (1) can be formulated with an arbitrary matrix \boldsymbol{\Xi} . Thus, we arrive at the main problem considered in this paper:

    how to characterize matrices \boldsymbol{\Xi} that arise from \boldsymbol{\Psi} so that (1) describes a network dynamics?

    For a graph \Gamma , let us consider the multi digraph \boldsymbol{\Gamma} constructed above. The sets of vertices \Upsilon are the same for \Gamma and \boldsymbol{\Gamma} . For \mathbf{v} \in\Upsilon of \boldsymbol{{\Gamma}}, we can talk about incoming and outgoing arcs which are determined by j\in J_{ \mathbf{v}}, l_j( \mathbf{v}) and the signs of \lambda_+^j and \lambda_-^j , as in Definition 2.1. We denote by \boldsymbol{J}_{ \mathbf{v}}^+ and \boldsymbol{J}_{ \mathbf{v}}^- the (ordered) sets of indices of arcs \boldsymbol{{\varepsilon}}^j incoming and outgoing from \mathbf{v} in \boldsymbol{{\Gamma}} , respectively. We note that |\boldsymbol{J}_{ \mathbf{v}}^-| = k_{ \mathbf{v}} , the number of the outgoing conditions. With this notation, the matrix \boldsymbol{{\Psi_{ \mathbf{v}}}} can be split into two matrices

    \boldsymbol{{\Psi}}_{ \mathbf{v}}^{out} = (\psi_{ \mathbf{v}, i}^j)_{1\leq i\leq k_{ \mathbf{v}}, j\in \boldsymbol{J}_{ \mathbf{v}}^-}, \qquad \boldsymbol{{\Psi}}_{ \mathbf{v}}^{in} = (\psi_{ \mathbf{v}, i}^j)_{1\leq i\leq k_{ \mathbf{v}}, j\in \boldsymbol{J}_{ \mathbf{v}}^+}.

    Since no outgoing value should be missing, we adopt the following

    Assumption 1. No column or row of \boldsymbol{\Psi}_{ \mathbf{v}}^{out} is identically zero.

    These matrices provide some insight into how the arcs are connected by the flow which is an additional feature, superimposed on the geometric structure of the incoming and outgoing arcs at the vertex. In principle, these two structures do not have to be the same, that is, it may happen that the substance flowing from \boldsymbol{{\varepsilon}}^j , j \in \boldsymbol{J}_{ \mathbf{v}}^+, is only directed to some of the outgoing arcs. An extreme case of such a situation is when both \boldsymbol{{\Psi}}_{ \mathbf{v}}^{out} and \boldsymbol{{\Psi}}_{ \mathbf{v}}^{in} are completely decomposable, see [9], with blocks in both matrices having the same row indices. Then, from the flow point of view, \mathbf{v} can be regarded as several nodes of the flow network, which are not linked with each other. Such cases, where the geometric structure at a vertex is inconsistent with the flow structure, may generate problems in determining the graph underlying transport problems. Thus in this paper we adopt assumptions ensuring that the map of the flow connections given by the matrices \boldsymbol{{\Psi}}_{ \mathbf{v}}^{out} and \boldsymbol{{\Psi}}_{ \mathbf{v}}^{in} coincides with the geometry at \mathbf{v} . We begin with the necessary definitions.

    Definition 3.1. Let \mathbf{v}\in\Upsilon_t . We say that an arc \boldsymbol{{\varepsilon}}^j , j\in \boldsymbol{J}^+_{ \mathbf{v}}, flow connects to \boldsymbol{{\varepsilon}}^l, l \in \boldsymbol{J}^-_{ \mathbf{v}}, if \psi_{ \mathbf{v}, i}^j \neq 0 and \psi_{ \mathbf{v}, i}^l\neq 0 for some 1\leq i\leq k_{ \mathbf{v}}.

    Using this idea, we define a connectivity matrix \mathsf C_{ \mathbf{v}} = (\mathsf{c}_{ \mathbf{v}, lj})_{l \in \boldsymbol{J}^-_{ \mathbf{v}}, j \in \boldsymbol{J}^+_{ \mathbf{v}}} by

    \mathsf{c}_{ \mathbf{v}, lj} = \left\{\begin{array}{lcl} 1&\text{if}& \boldsymbol{{\varepsilon}}^j\;\text{flow connects to}\; \boldsymbol{{\varepsilon}}^l, \\ 0&&\text{otherwise}. \end{array} \right.

    Remark 2. We observe that

    ● the above definition implies that for \boldsymbol{{\varepsilon}}^j and \boldsymbol{{\varepsilon}}^l to be flow connected, \boldsymbol{{\varepsilon}}^j and \boldsymbol{{\varepsilon}}^l must be incident to the same vertex;

    \mathsf C_{ \mathbf{v}} can be interpreted as the adjacency matrix of the bipartite line digraph constructed from the incoming and outgoing arcs at \mathbf{v}, where the connections between arcs are defined by flow connections, see [9,Section 3].

    For an arbitrary matrix A = (a_{ij})_{1\leq i\leq p, 1\leq j\leq q}, by \widehat A = (\hat a_{ij})_{1\leq i\leq p, 1\leq j\leq q} we denote the matrix with every nonzero entry of A replaced by 1.

    Lemma 3.2. If \mathbf{v} is a transient vertex, then

    \begin{equation} \mathsf{C}_{ \mathbf{v}} = \widehat{\left(\widehat{\boldsymbol{{\Psi}}^{out}_{ \mathbf{v}}}\right)^T \widehat{\boldsymbol{{\Psi}}^{in}_{ \mathbf{v}}}}. \end{equation} (19)

    Proof. Denote \mathsf{B} = \widehat{\left(\widehat{\boldsymbol{{\Psi}}^{out}_{ \mathbf{v}}}\right)^T \widehat{\boldsymbol{{\Psi}}^{in}_{ \mathbf{v}}}}. Then, \mathsf{b}_{ij} = 1, i\in \boldsymbol{J}_{ \mathbf{v}}^-, j \in \boldsymbol{J}_{ \mathbf{v}}^+ if and only if

    \sum\limits_{r = 1}^{k_{ \mathbf{v}}} \hat{\psi}_{ \mathbf{v}, r}^i\hat{\psi}^j_{ \mathbf{v}, r} \neq 0.

    This occurs if and only if there is r = 1, \ldots, k_{ \mathbf{v}} such that both \hat{\psi}_{ \mathbf{v}, r}^i\neq 0 and \hat{\psi}^j_{ \mathbf{v}, r} \neq 0, which is equivalent to \boldsymbol{{\varepsilon}}^j flow connecting with \boldsymbol{{\varepsilon}}^i , that is, \mathsf{c}_{ \mathbf{v}, ij} = 1 .

    Let \mathbf{v} be a source (as we do not impose boundary conditions on sinks). As above, we need to ensure that the flow from a source cannot be split into several isolated subflows. Though here we do not have inflows and outflows, we use a similar idea to that for transient vertices.

    Definition 3.3. Let \mathbf{v}\in\Upsilon_s . We say that \boldsymbol{{\varepsilon}}^i and \boldsymbol{{\varepsilon}}^j , i, j \in \boldsymbol{J}_{ \mathbf{v}}^-, are flow connected if there is l \in\{1, \ldots, k_{ \mathbf{v}}\} such that \psi_{ \mathbf{v}, l}^i\neq 0 and \psi_{ \mathbf{v}, l}^j\neq 0.

    As before, we construct a connectivity matrix \mathsf C_{ \mathbf{v}} = (\mathsf{c}_{ \mathbf{v}, ij})_{i, j \in \boldsymbol{J}^-_{ \mathbf{v}}}, where

    \begin{equation} \mathsf{c}_{ \mathbf{v}, ij} = \left\{\begin{array}{lcl} 1&\text{if}& \boldsymbol{{\varepsilon}}^j\;\text{and}\; \boldsymbol{{\varepsilon}}^i\;\text{are flow connected}, \\ 0&&\text{otherwise}. \end{array} \right. \end{equation} (20)

    Note that, contrary to an internal vertex, here the connectivity matrix is symmetric. We also do not stipulate that i\neq j so that \boldsymbol{{\varepsilon}}^j is always flow connected to itself and hence, by Assumption 1, each entry of the diagonal of \mathsf{C}_{ \mathbf{v}} is 1. From this, we get a result similar to Lemma 3.2.

    Lemma 3.4. If \mathbf{v} is a source,

    \begin{equation} \mathsf{C}_{ \mathbf{v}} = \widehat{\left(\widehat{\boldsymbol{{\Psi}}^{out}_{ \mathbf{v}}}\right)^T \widehat{\boldsymbol{{\Psi}}^{out}_{ \mathbf{v}}}}. \end{equation} (21)

    Proof. As before, let \mathsf{B} = \widehat{\left(\widehat{\boldsymbol{{\Psi}}^{out}_{ \mathbf{v}}}\right)^T \widehat{\boldsymbol{{\Psi}}^{out}_{ \mathbf{v}}}}. Then, \mathsf{b}_{ij} = 1, i, j\in \boldsymbol{J}_{ \mathbf{v}}^-, if and only if

    \sum\limits_{r = 1}^{k_{ \mathbf{v}}} \hat{\psi}_{ \mathbf{v}, r}^i\hat{\psi}^j_{ \mathbf{v}, r} \neq 0.

    Certainly, by Assumption 1, \mathsf{b}_{ii} = 1, i\in \boldsymbol{J}_{ \mathbf{v}}^-. For i\neq j , this occurs if and only if there is r\in\{1, \ldots, k_{ \mathbf{v}}\} such that both \hat{\psi}_{ \mathbf{v}, r}^i\neq 0 and \hat{\psi}^j_{ \mathbf{v}, r} \neq 0 which is equivalent to \boldsymbol{{\varepsilon}}^j and \boldsymbol{{\varepsilon}}^i being flow connected, that is, \mathsf{c}_{ \mathbf{v}, ij} = 1 .

    We adopt an assumption that the structure of flow connectivity is the same as of the geometry at the vertex. Thus, if \mathbf{v} is an internal vertex and j\in \boldsymbol{J}_{ \mathbf{v}}^+ and i\in \boldsymbol{J}^-_{ \mathbf{v}} , then \boldsymbol{{\varepsilon}}^j flow connects to \boldsymbol{{\varepsilon}}^i . In particular, we have

    Assumption 2. For all \mathbf{v}\in\Upsilon_t ,

    \mathsf{C}_{ \mathbf{v}} = \boldsymbol{1}_{ \mathbf{v}} = \left(\begin{array}{cccc}1&1&\ldots&1\\ \vdots&\vdots&\vdots&\vdots\\ 1&1&\ldots&1 \end{array}\right).

    We observe that the dimension of \mathsf{C}_{ \mathbf{v}} is |\boldsymbol{J}_{ \mathbf{v}}^-|\times |\boldsymbol{J}^+_{ \mathbf{v}}| .

    If \mathbf{v} \in \Upsilon_s , then we assume that the outflow from \mathbf{v} cannot be separated into independent subflows, that is, that the arcs outgoing from \mathbf{v} cannot be divided into groups such that no arc in any group is flow connected to an arc in any other. Equivalently, for each two arcs \boldsymbol{{\varepsilon}}^i and \boldsymbol{{\varepsilon}}^j , i, j \in \boldsymbol{J}_{ \mathbf{v}}^-, there is a sequence j = j_0, j_1, \ldots, j_k = i such that \boldsymbol{{\varepsilon}}^{j_r} and \boldsymbol{{\varepsilon}}^{j_{r+1}} , r = 0, \ldots, k-1 are flow connected. Indeed, if such a division was possible, then it would be impossible to find such a sequence between indices j and i in different groups as some pair would have to connect arcs from these different groups. Conversely, if for some arcs \boldsymbol{{\varepsilon}}^i and \boldsymbol{{\varepsilon}}^j there is no such a sequence, then we can build two groups of indices containing i and j , respectively, by considering all indices for which such sequences can be found. Clearly, no arc in the first group is flow connected to any arc in the second as otherwise there would be a sequence connecting \boldsymbol{{\varepsilon}}^j and \boldsymbol{{\varepsilon}}^i . By Lemma 3.4, \mathsf{C}_{ \mathbf{v}} can be considered as the adjacency matrix of the graph with vertices given by \{ \boldsymbol{{\varepsilon}}^j\}_{j \in \boldsymbol{J}^-_{ \mathbf{v}}} and the edges determined by the flow connectivity (20). Moreover, \mathsf{C}_{ \mathbf{v}} is symmetric, which shows that the assumption described at the beginning of this paragraph is equivalent to

    Assumption 3. For all \mathbf{v}\in\Upsilon_s, \mathsf{C}_{ \mathbf{v}} is irreducible.

    Remark 3. Assumption 3 is weaker than requiring each two arcs from \{ \boldsymbol{{\varepsilon}}^j\}_{j \in \boldsymbol{J}^-_{ \mathbf{v}}} to be flow connected. Then we would have \mathsf{C}_{ \mathbf{v}} = \boldsymbol{1}_{|\boldsymbol{J}_{ \mathbf{v}}^-|\times |\boldsymbol{J}^-_{ \mathbf{v}}|}.

    Proposition 2. Let \mathbf{v}\in \Upsilon_t . If the system (8), that is,

    \begin{equation} \boldsymbol{\Psi}_{ \mathbf{v}} \boldsymbol{u}( \mathbf{v}) = 0, \end{equation} (22)

    contains a Kirchhoff's condition

    \begin{equation} \sum\limits_{j \in J_{ \mathbf{v}}} (\psi^j_{ \mathbf{v}, r} u^j_1( \mathbf{v}) + \psi^j_{ \mathbf{v}, r} u^j_2( \mathbf{v})) = 0, \end{equation} (23)

    with \psi^j_{ \mathbf{v}, r} \neq 0 for all j\in J_{ \mathbf{v}} and some r \in\{1, \ldots, k_{ \mathbf{v}}\} , then Assumption 2 is satisfied.

    Proof. Condition (23) ensures that each entry of the r -th row of both \widehat{\boldsymbol{{\Psi}}_{ \mathbf{v}}^{out}} and \widehat{\boldsymbol{{\Psi}}_{ \mathbf{v}}^{in}} is 1 and thus the product of each column of \widehat{\boldsymbol{{\Psi}}_{ \mathbf{v}}^{out}} with each column of \widehat{\boldsymbol{{\Psi}}_{ \mathbf{v}}^{in}} is non-zero, which yields Assumption 2.

    Example 1. Consider the model of [20], analysed in the framework of our approach in [2,Example 5.12], i.e.,

    \begin{equation} {\partial}_tp^{j}_1 + K^j {\partial}_x p^j_2 = 0, \quad {\partial}_tp^{j}_2 + L^j {\partial}_x p^j_1 = 0, \end{equation} (24)

    for t>0, 0<x<1, 0\leq j\leq m, where K^j>0, L^j>0 for all j . For a given vertex \mathbf{v}, we define (\boldsymbol{p_1}( \mathbf{v}), \boldsymbol{p_2}( \mathbf{v})) = ((p^j_1( \mathbf{v}), p_2^j( \mathbf{v}))_{j\in J_{ \mathbf{v}}}, \nu^j( \mathbf{v}) = -1 if l_j( \mathbf{v}) = 0 and \nu^j( \mathbf{v}) = 1 if l_j( \mathbf{v}) = 1, and T_{ \mathbf{v}} \boldsymbol{p_2} ( \mathbf{v}) = (\nu^j( \mathbf{v})p^j_2( \mathbf{v}))_{j\in J_{ \mathbf{v}}}. In this case \alpha_j = 1 for any j and thus for any vertex \mathbf{v} we need |J_{ \mathbf{v}}| boundary conditions. We focus on \mathbf{v} with |E_{ \mathbf{v}}|>1 . Then, we split \mathbb{R}^{|J_{ \mathbf{v}}|} into X_{ \mathbf{v}} of dimension n_{ \mathbf{v}} and its orthogonal complement X_{ \mathbf{v}}^\perp of dimension l_{ \mathbf{v}} = |J_{ \mathbf{v}}|-n_{ \mathbf{v}} and require that

    \boldsymbol{p_1}( \mathbf{v}) \in X_{ \mathbf{v}}, \quad T_{ \mathbf{v}}\boldsymbol{p_2}( \mathbf{v}) \in X^\perp_{ \mathbf{v}},

    that is, denoting I_1 = \{1, \ldots, n_{ \mathbf{v}}\} and I_2 = \{n_{ \mathbf{v}}+1, \ldots, |J_{ \mathbf{v}}|\} ,

    \begin{equation} \sum\limits_{j\in J_{ \mathbf{v}}}\phi^j_r p^j_1( \mathbf{v}) = 0, \quad r \in I_2, \quad \sum\limits_{j\in J_{ \mathbf{v}}} \varphi^j_r \nu^j( \mathbf{v})p^j_2( \mathbf{v}) = 0, \qquad r \in I_1, \end{equation} (25)

    where (( \varphi^j_r)_{j\in J_{ \mathbf{v}}})_{r\in I_1} is a basis in X_{ \mathbf{v}} and ((\phi^j_r)_{j\in J_{ \mathbf{v}}})_{r\in I_2} is a basis in X^\perp_{ \mathbf{v}}. It is clear that, in general, boundary conditions (25) do not satisfy Assumption 2. Consider \mathbf{v} such that each \boldsymbol{e}^j incident to \mathbf{v} is parameterised so as l_j( \mathbf{v}) = 0 so that each u^j_1(0) is outgoing and each u^j_2(0) is incoming. If we take \phi_r^j = \varphi^j_r = \delta_{rj} and L^j = K^j = 1 for j\in J_{ \mathbf{v}} , we obtain

    \begin{align*} p^r_1(0) & = u^r_1(0)+ u^r_2(0) = 0, \quad r = n_{ \mathbf{v}}+1, \ldots, |J_{ \mathbf{v}}|, \\ p^r_2(0) & = u^r_1(0)- u^r_2(0) = 0, \quad r = 1, \ldots, n_{ \mathbf{v}}. \end{align*}

    Thus \widehat{\boldsymbol{\Psi}_{ \mathbf{v}}^{out}} and \widehat{\boldsymbol{\Psi}_{ \mathbf{v}}^{in}} are both the identity matrices and Assumption 2 is not satisfied.

    On the other hand, the Kirchhoff condition,

    \begin{equation} \sum\limits_{j\in J_{ \mathbf{v}}} \nu^{j}( \mathbf{v}) p^{j}_2( \mathbf{v}) = 0, \end{equation} (26)

    see [20,Eqn (4)], satisfies the assumption of Proposition 2, as we have

    \begin{align*} 0& = \sum\limits_{j\in J_{ \mathbf{v}}}\nu^j( \mathbf{v})p^j_2( \mathbf{v}) = \sum\limits_{j\in J_{ \mathbf{v}}}\nu^j( \mathbf{v}) (f^j_{+, 2}( \mathbf{v})u^j_1( \mathbf{v}) +f^j_{-, 2}( \mathbf{v})u^j_2( \mathbf{v})) \\& = \sum\limits_{j\in J_{ \mathbf{v}}}\nu^j( \mathbf{v})\sqrt{K^jL^j} (u^j_1( \mathbf{v}) -u^j_2( \mathbf{v})) \\ & = -\sum\limits_{j \in J^0_{ \mathbf{v}}} \sqrt{K^jL^j}u^j_1(0) -\sum\limits_{j\in J^1_{ \mathbf{v}}} \sqrt{K^jL^j}u^j_2(1) \\ &\phantom{x}+\sum\limits_{j \in J^1_{ \mathbf{v}}} \sqrt{K^jL^j}u^j_1(1) +\sum\limits_{j\in J^0_{ \mathbf{v}}} \sqrt{K^jL^j}u^j_2(0), \end{align*}

    where we used [2,Eqn 5.2]. Hence, by Proposition 2, Assumption 2 is satisfied.

    Example 2. Let us consider the linearized Saint-Venant system,

    \begin{equation} {\partial}_tp^j_1 = -V^j {\partial}_x p^j_1 - H^j{\partial}_x p^j_2, \quad {\partial}_t p^j_2 = -g {\partial}_x p^j_1 -V^j {\partial}_x p^j_2, \end{equation} (27)

    see [2,Example 1.2], assuming that on each edge we have \lambda^j_{\pm} = V^j \pm \sqrt{gH^j} >0 . Then, we have

    \begin{equation} \binom{p^j_1}{p^j_2} = \binom{f^j_{+, 1} u^j_1 + f^j_{-, 1}u^j_2}{f^j_{+, 2}u^j_1 + f^j_{-, 2}u^j_2} = \binom{H^j u^j_1+ H^j u^j_2}{\sqrt{gH^j}u^j_1 -\sqrt{gH^j}u^j_2}. \end{equation} (28)

    We use the flow structure of [11,Example 5.1], shown in Fig. 1, and focus on \mathbf{v}_1, where we need 2N-2 boundary conditions which were given as

    p^j_1(0) = p^1_1(1), \quad p^j_2(0) = p_2^1(1), \qquad j = 2, \ldots, N.
    Figure 1. 

    Starlike network of channels

    .

    In terms of the Riemann invariants, they can be written as

    \begin{align*} &\left(\begin{array}{ccccccc}H^2&H^2&0&0&\ldots&0&0\\\sqrt{gH^2}&-\sqrt{gH^2}&0&0&\ldots&0&0\\\vdots&\vdots&\vdots&\vdots&\ddots&\vdots&\vdots\\ 0&0&0&0&\ldots&H^N&H^N\\0&0&0&0&\ldots&\sqrt{gH^N}&-\sqrt{gH^N}\end{array}\right)\left(\begin{array}{c}u_1^2(0)\\u_2^2(0)\\\vdots \\ u_1^N(0)\\u_2^N(0)\end{array}\right)\\ &\phantom{xxxx} = \left(\begin{array}{cc}H^1&H^1\\\sqrt{gH^1}&-\sqrt{gH^1}\\\vdots\\ H^1&H^1\\\sqrt{gH^1}&-\sqrt{gH^1}\end{array}\right)\left(\begin{array}{c}u_1^1(1)\\u_2^1(1)\end{array}\right) \end{align*}

    and it is clear that Assumption 2 is satisfied.

    Figure 2. 

    The reconstructed multi digraph \boldsymbol{\Gamma} . It is seen that it cannot describe a flow on \Gamma as \varpi_5 and \varpi_6 must flow in the same direction

    .
    Figure 3. 

    The reconstructed multi digraph \boldsymbol{\Gamma} for (46), (47)

    .
    Figure 4. 

    A network \Gamma realizing the flow (48), (49)

    .

    For a matrix A = (a_{ij})_{1\leq i\leq n, 1\leq j\leq m}, let us denote by \boldsymbol{a}^c_j, 1\leq j\leq m, the columns of A and by \boldsymbol{a}^r_i, 1\leq i\leq n, its rows. Then, we often write

    \begin{equation} A = (\boldsymbol{a}^c_{j})_{1\leq j\leq m} = (\boldsymbol{a}^r_{i})_{1\leq i\leq n}, \end{equation} (29)

    that is, we represent the matrix as a row vector of its columns or a column vector of its rows. In particular, we write

    \begin{align*} \boldsymbol{\Xi}_{out} & = (\xi^{out}_{ij})_{1\leq i\leq 2m, 1\leq j\leq 2m} = (\boldsymbol{\xi}^{out, c}_{j})_{1\leq j\leq 2m} = (\boldsymbol{\xi}^{out, r}_{i})_{1\leq i\leq 2m}, \\\boldsymbol{\Xi}_{in} & = (\xi^{in}_{ij})_{1\leq i\leq 2m, 1\leq j\leq 2m} = (\boldsymbol{\xi}^{in, c}_{j})_{1\leq j\leq 2m} = (\boldsymbol{\xi}^{in, r}_{i})_{1\leq i\leq 2m}. \end{align*}

    For any vector \boldsymbol{\mu} = (\mu_1, \ldots, \mu_k) , we define \text{supp}\;\boldsymbol{\mu} = \{j\in \{1, \ldots, k\};\; \mu_j\neq 0\} .

    Definition 3.5. We say that the problem (1) is graph realizable if there is a graph \Gamma = \{\{ \mathbf{v}_i\}_{1\leq i\leq r}, \{\boldsymbol{e_k}\}_{1\leq k\leq m}\} and a grouping of the column indices of \boldsymbol{\Xi} into pairs (j'_k, j_k^{"})_{1\leq k\leq m} such that (1a) describes a flow along the edges \boldsymbol{e_k} of \Gamma , which satisfies generalized Kirchhoff's condition at each vertex of \Gamma . In other words, (1) is graph realizable if there is a graph \Gamma and a matrix \boldsymbol{\Psi} such that (1a), (1c) can be written, after possibly permutating rows and columns of \boldsymbol{\Xi}, as (5), (17).

    Before we formulate the main theorem, we need to introduce some notation. Let us recall that we consider the boundary system (2), i.e.,

    \boldsymbol{\Xi}_{out}(( \upsilon_j(0, t))_{j\in J^+}, ( \varpi_j(1, t))_{j\in J^-}) = - \boldsymbol{\Xi}_{in}(( \upsilon_j(1, t))_{j\in J^+}, ( \varpi_j(0, t))_{j\in J^-}).

    Let us emphasize that in this notation, the column indices on the left and right hand side correspond to the values of the same function. To shorten notation, let us renumber them as 1\leq j\leq 2m . As noted in Introduction, appropriate pairs of the columns would determine the edges of the graph \Gamma that we try to reconstruct, hence the first step is to identify the possible vertices of \Gamma . For this, first, we will try to construct a multi digraph \boldsymbol{\Gamma} on which (2) can be written in the form (17) for (\boldsymbol{ \upsilon}, \boldsymbol{ \varpi}) . Roughly speaking, this corresponds to \boldsymbol{\Xi}_{out} and \boldsymbol{\Xi}_{in} being composed (up to permutations) of non-communicating blocks corresponding to the vertices. Here, each j should correspond to an arc \boldsymbol{{\varepsilon}}^j and the column j on the left hand side corresponds to the outflow along \boldsymbol{{\varepsilon}}^j from a unique vertex, while the column j on the right hand side corresponds to the inflow along \boldsymbol{{\varepsilon}}^j to a unique vertex. The vertices of \boldsymbol{\Gamma} should be then determined by a suitable partition of the rows of \boldsymbol{\Xi}_{out} (and of \boldsymbol{\Xi}_{in} ).

    In the second step we will determine additional assumptions that allow \boldsymbol{\Gamma} to be collapsed into a graph \Gamma on which (2) can be written in the form (17).

    Since we do not want (2) to be under- or over-determined, we adopt

    Assumption 4. For all 1\leq j\leq 2m ,

    \boldsymbol{\xi}^{out, c}_j\neq 0\quad\mathit{\text{and}}\quad \boldsymbol{\xi}^{out, r}_j \neq 0.

    Our strategy is to treat \boldsymbol{\Xi}_{out} and \boldsymbol{\Xi}_{in} as the outgoing and incoming incidence matrices of a multi digraph with vertices 'smeared' over subnetworks of flow connections. Thus we have

    Assumption 5. The matrix

    \mathsf{A}: = \widehat {\left(\widehat{\boldsymbol{\Xi}_{out}}\right)^T\widehat{\boldsymbol{\Xi}_{in}}}

    is the adjacency matrix of the line graph of a multi digraph.

    For \mathsf{A} , let V^{out}_j and V^{in}_i be groups of row and column indices, respectively, potentially outgoing from (respectively incoming to) a vertex, see Appendix A. We introduce

    I : = \{i\in \{1, \ldots, 2m\};\; \boldsymbol{\xi}^{in, r}_i = 0\}

    and adopt

    Assumption 6. For all i\in I there exists j\in\{1, \ldots, M'\} such that

    \mathit{\text{supp}}\; \boldsymbol{\xi}^{out, r}_i \subset V^{out}_j.

    In the next proposition we shall show that V^{out}_j and V^{in}_i determine a partition of the row indices into sets that can be used to define vertices. The idea is that if supports of columns of \boldsymbol{\Xi}_{out} or \boldsymbol{\Xi}_{in} overlap, the arcs determined by these columns must be incident to the same vertex.

    Proposition 3. If Assumptions 4, 5 and 6 are satisfied, then the sets

    \begin{equation} \{\{\mathcal{V_i}\}_{1\leq i\leq n}, \mathcal{V_S}\}, \end{equation} (30)

    where

    \begin{align} \mathcal{V_S} & = \{i \in \{1, \ldots, 2m\};\; \mathrm{supp\;} \boldsymbol{\xi}^{out, r}_i \subset V^{out}_{M'}\}, \end{align} (31)
    \begin{align} \mathcal{V_i} & = \bigcup\limits_{s \in V^{out}_i}\mathrm{supp\;} \boldsymbol{{\xi}}^{out, c}_s, \;1\leq i\leq n, \end{align} (32)

    form a partition of the row indices of both \boldsymbol{\Xi}_{out} and \boldsymbol{\Xi}_{in} such that if for any j , \mathrm{supp\;}\boldsymbol{\xi}^{out, c}_j\cap \mathcal{V_i}\neq \emptyset for some i = 1, \ldots, n, S , then \mathrm{supp\;}\boldsymbol{\xi}^{out, c}_j\subset \mathcal{V_i}, and if for any k , \mathrm{supp\;}\boldsymbol{\xi}^{in, c}_k\cap \mathcal{V_l}\neq \emptyset for some l = 1, \ldots, n, S , then \mathrm{supp\;}\boldsymbol{\xi}^{in, c}_k \subset \mathcal{V_l}.

    Since the proof is quite long, we first present its outline.

    Step 1. Reconstruct a multi digraph \boldsymbol{\Gamma} from the adjacency matrix of its line graph.

    Step 2. Identify the rows of \boldsymbol{\Xi}_{out} which are zero in \boldsymbol{\Xi}_{in} and which correspond to sources and associate them with vertices.

    Step 3. Associate other rows of \boldsymbol{\Xi}_{out} which are zero in \boldsymbol{\Xi}_{out} with appropriate vertices.

    Step 4. Associate remaining rows with vertices and construct a possible partition of the row indices.

    Step 5. Check that the constructed partition has the required properties.

    Proof. Step 1. By Assumption 5, \mathsf{A} is the adjacency matrix of L(\boldsymbol{\Gamma}) for some multi digraph \boldsymbol{\Gamma} . As explained in Appendix A, we can reconstruct \boldsymbol{\Gamma} with the transient vertices defined in a unique way and admissible sources and sinks. Let us fix such a construction. Then, we have the sets \{V^{in}_j\}_{1\leq j\leq n} and \{V^{out}_i\}_{1\leq i\leq n} of incoming and outgoing arcs determining any transient vertex. Further, we have (possibly) the sets V^{in}_{N'} and V^{out}_{M'} that group the arcs incoming to sink(s) and outgoing from source(s), respectively. Since \mathsf{A} represents all arcs, the same decomposition is valid for \boldsymbol{\Xi}_{out} and \boldsymbol{\Xi}_{in} , that is, we have subdivisions \{V^{out}_i\}_{1\leq i\leq M'} and \{V^{in}_j\}_{1\leq j\leq N'} of the columns of \boldsymbol{\Xi}_{out} and \boldsymbol{\Xi}_{in} , respectively, and hence the correspondence of the columns with the vertices. Thus, we have to show that (30) is a partition of the rows of \boldsymbol{\Xi}_{out} and \boldsymbol{\Xi}_{in} satisfying the conditions of the proposition.

    Let us recall that the entry (i, j) of \mathsf{A} is defined by

    \mathsf{a}_{ij} = \widehat{\widehat{\boldsymbol{{\xi}}^{out, c}_i}\cdot \widehat{\boldsymbol{{\xi}}^{in, c}_j}}

    and if a row k of \mathsf{A} is zero, that is, it represents a source, then there is a zero row in {\boldsymbol{\Xi}_{in}} . Indeed, since, by Assumption 4, \text{supp}\; \boldsymbol{{\xi}}^{out, c}_k \neq \emptyset , there is a nonzero entry, say, \xi^{out}_{lk} and thus we must have \xi^{in}_{lj} = 0 for any j . So, to every zero row in \mathsf{A}, there corresponds a zero row in \boldsymbol{\Xi}_{in} . However, there may be other zero rows in \boldsymbol{\Xi}_{in} .

    Step 2. To determine the rows in \boldsymbol{\Xi}_{out} , corresponding to sources, we consider Assumption 6. First, we note that any j of that assumption, if it exists, is determined in a unique way as the sets V^{out}_j are not overlapping. Next, we observe that if \text{supp}\; \boldsymbol{\xi}^{out, r}_i \subset V^{out}_j and \text{supp}\; \boldsymbol{\xi}^{out, r}_i\cap \text{supp}\; \boldsymbol{\xi}^{out, r}_k \neq \emptyset , then \text{supp}\; \boldsymbol{\xi}^{out, r}_k \subset V^{out}_j . Indeed, if \text{supp}\; \boldsymbol{\xi}^{out, r}_k \subset V^{out}_p and l\in \text{supp}\; \boldsymbol{\xi}^{out, r}_i\cap \text{supp}\; \boldsymbol{\xi}^{out, r}_k , then l \in V^{out}_j\cap V^{out}_p which implies V^{out}_j = V^{out}_p. Thus we can define the set

    \mathcal{V_S} = \{i \in \{1, \ldots, 2m\};\; \text{supp}\; \boldsymbol{\xi}^{out, r}_i \subset V^{out}_{M'}\}.

    For any i\in \mathcal{V_S} and q\in \text{supp}\; \boldsymbol{\xi}^{out, r}_i, we have \text{supp}\; \boldsymbol{\xi}^{out, c}_q\subset I, as otherwise there would be a nonzero product \boldsymbol{\xi}^{out, c}_q\cdot \boldsymbol{\xi}^{in, c}_s for some s as \boldsymbol{\xi}^{in, r}_{t} \neq 0 for each t\notin I . Then, let there be k such that \text{supp}\; \boldsymbol{\xi}^{out, c}_p \cap \text{supp}\; \boldsymbol{\xi}^{out, c}_j\ni k for some j \in V^{out}_{M'} . This means, by Assumption 6, that \text{supp}\;\boldsymbol{\xi}^{out, r}_k \subset V^{out}_{M'} and hence p \in V^{out}_{M'} . Consider any nonzero element of \boldsymbol{\xi}^{out, c}_p, say, \xi^{out}_{lp}\neq 0 . By the above argument, l \in I . If \text{supp}\; \boldsymbol{\xi}^{out, r}_l \subset V^{out}_{M'} , then l\in \mathcal{V_S} . If not, \text{supp}\; \boldsymbol{\xi}^{out, r}_l\cap V^{out}_j\neq \emptyset for some j\neq M' which contradicts Assumption 6. Thus, \mathcal{V_S} satisfies the first part of the statement. The second part is void as there is no \boldsymbol{\xi}^{in, c}_j with \text{supp}\;\boldsymbol{\xi}^{in, c}_j\cap \mathcal{V_S}\neq \emptyset. Therefore, all indices i\in \mathcal{V_S}, that is, such that \text{supp}\; \boldsymbol{\xi}^{out, r}_i \subset V^{out}_{M'}, determine a source as there is no connection to any inflow.

    Step 3. Now, consider the indices i\in I\setminus \mathcal{V_S} . Then, again by Assumption 6, for any i\in I\setminus \mathcal{V_S} there is a unique j\neq M' such that \text{supp}\; \boldsymbol{\xi}^{out, r}_i \subset V^{out}_{j} , that is, such an i belongs to the vertex determined by V^{out}_{j} . This determines a partition of I corresponding to the vertices (recall that there are no zero rows in \boldsymbol{\Xi}_{out} and so each row must belong to a vertex).

    Step 4. Next, we associate the remaining rows in \boldsymbol{\Xi}_{out} and \boldsymbol{\Xi}_{in} with the vertices. Consider V^{out}_i and V^{in}_j for some 1\leq i\leq n and j defined by (A.2). The non-zero entries \mathsf{a}_{pq} of \mathsf{A} , where p\in V^{out}_i and q\in V^{in}_j , occur whenever \text{supp}\; \boldsymbol{{\xi}}^{out, c}_p \cap \text{supp}\; \boldsymbol{{\xi}}^{in, c}_q\neq \emptyset . Hence, the rows with indices k \in \text{supp}\; \boldsymbol{{\xi}}^{out, c}_p \cap \text{supp}\; \boldsymbol{{\xi}}^{in, c}_q must belong to a vertex through which the incoming arc \boldsymbol{{\varepsilon}}^q communicates with the outgoing arc \boldsymbol{{\varepsilon}}^p . Since all nonzero entries in \text{supp}\; \boldsymbol{{\xi}}^{out, c}_p and \text{supp}\; \boldsymbol{{\xi}}^{in, c}_q , respectively, reflect non-zero outflow along \boldsymbol{{\varepsilon}}^p, and inflow along \boldsymbol{{\varepsilon}}^q , respectively, \text{supp}\; \boldsymbol{{\xi}}^{out, c}_p and \text{supp}\; \boldsymbol{{\xi}}^{in, c}_q must belong to the same vertex. Since the same is true for any indices from V^{out}_i and V^{in}_j , plausible partitions of row indices of \boldsymbol{\Xi}_{out} and \boldsymbol{\Xi}_{in} defining vertices are

    \mathcal{V}^{out}_i = \bigcup\limits_{s \in V^{out}_i} \text{supp}\; \boldsymbol{{\xi}}^{out, c}_s, \qquad \mathcal{V}^{in}_j = \bigcup\limits_{q \in V^{in}_j} \text{supp}\; \boldsymbol{{\xi}}^{in, c}_q.

    We first observe that if V^{out}_i and V^{in}_j determine the same transient vertex, then

    \begin{equation} \mathcal{V}^{out}_i\setminus \{s \in \mathcal{V}^{out}_i;\; \boldsymbol{\xi}^{in, r}_s = 0\} = \mathcal{V}^{in}_j. \end{equation} (33)

    Indeed, let p \in \mathcal{V}^{out}_i\setminus \{s \in \mathcal{V}^{out}_i;\; \boldsymbol{\xi}^{in, r}_s = 0\} . Then, there is s \in V^{out}_i such that p \in \text{supp}\; \boldsymbol{{\xi}}^{out, c}_s . Since p\notin \{s \in \mathcal{V}^{out}_i;\; \boldsymbol{\xi}^{in, r}_s = 0\} , there is q such that \xi^{in}_{pq}\neq 0 and thus \widehat{\boldsymbol{\xi}^{out, c}_s} \cdot \widehat{\boldsymbol{\xi}^{in, c}_q} \neq 0 . Hence, q \in V^{in}_j and consequently p \in \mathcal{V}^{in}_j . The converse can be proved in the same way by using Assumption 4 since if p\in \mathcal{V}^{in}_j then, by construction, p must belong to a support of some \boldsymbol{{\xi}}^{in, c}_q and thus cannot be in \{s \in \mathcal{V}^{out}_i;\; \boldsymbol{\xi}^{in, r}_s = 0\} . As we see, if \mathcal{V}^{out}_i contains rows \boldsymbol{\xi}^{out, r}_k with k\in I\setminus \mathcal{V_S} , then these rows satisfy \text{supp}\; \boldsymbol{\xi}^{out, r}_k \subset V^{out}_i . If we add the indices of such rows to \mathcal{V}^{in}_j with V^{in}_j determining the same vertex as V^{out}_i , then such an extended \mathcal{V}^{in}_j will be equal to \mathcal{V}^{out}_i and thus we use can use (30) to denote the partition of \{1, \ldots, 2m\} into \mathcal{V_1}^{out}, \ldots, \mathcal{V}^{out}_n, \mathcal{V_S} .

    Step 5. We easily check that this partition satisfies the conditions of the proposition. We have already checked this for \mathcal{V_S} . So, let \text{supp}\;\boldsymbol{\xi}^{out, c}_q \cap \mathcal{V}^{out}_i\neq\emptyset for some 1\leq i\leq n , then there is s\in V^{out}_i such that k\in \text{supp}\;\boldsymbol{\xi}^{out, c}_q \cap \text{supp}\;\boldsymbol{\xi}^{out, c}_s . Clearly, k\notin \mathcal{V_S} by the construction of \mathcal{V}^{out}_i . If k \in I\setminus \mathcal{V_S} , then q \in V^{out}_i by Assumption 6 and hence \text{supp}\;\boldsymbol{\xi}^{out, c}_q \subset \mathcal{V}^{out}_i . If k\notin I , then \widehat{ \boldsymbol{\xi}^{out, c}_s}\cdot \widehat{\boldsymbol{\xi}^{in, c}_p}\neq 0 for some p but then also \widehat{\boldsymbol{\xi}^{in, c}_p}\cdot \widehat{\boldsymbol{\xi}^{out, c}_q}\neq 0 and hence p \in V^{in}_j , yielding q \in V^{out}_i and consequently \text{supp}\; \boldsymbol{\xi}^{out, c}_q \subset \mathcal{V}^{out}_i. Similarly, if \text{supp}\;\boldsymbol{\xi}^{in, c}_p \cap \mathcal{V}^{out}_i\neq\emptyset , then there is k \in \text{supp}\;\boldsymbol{\xi}^{in, c}_p\cap \text{supp}\;\boldsymbol{\xi}^{out, c}_q for some q \in V^{out}_i . But then, immediately from the definition, \text{supp}\;\boldsymbol{\xi}^{in, c}_p\subset \mathcal{V}^{in}_j\subset \mathcal{V}^{out}_i by (33).

    We note that (30) does not contain rows corresponding to sinks and they must be added following the rules described in Appendix A. With such an extension, we consider the multi digraph \boldsymbol{\Gamma} , determined by

    \begin{equation} \{\{\mathcal{V_i}\}_{1\leq i\leq n}, \mathcal{V_S}, \mathcal{V_Z}\}, \quad \{\{V^{out}_i\}_{1\leq i\leq n}, V^{out}_{M'}, \emptyset\}, \quad \{\{V^{in}_{j_i}\}_{1\leq i\leq n}, \emptyset, V^{in}_{N'}\}, \end{equation} (34)

    where the association i\mapsto j_i is defined in (A.2). By construction, if we take the triple \mathcal{V_i}, V^{out}_i, V^{in}_{j_i} , 1\leq i\leq n , it determines a transient vertex, the outgoing arcs given by the indices of columns in \boldsymbol{\Xi}_{out} and the incoming arcs given by the indices of columns in \boldsymbol{\Xi}_{in} . Similarly, the pair \mathcal{V_S}, V^{out}_{M'} determines the sources and all outgoing arcs, while the set of incoming arcs is empty. Thus, if we denote by \boldsymbol{\Xi}^i_{out} and \boldsymbol{\Xi}^i_{in} the submatrices of \boldsymbol{\Xi}_{out} and \boldsymbol{\Xi}_{in} consisting of the rows with indices in \mathcal{V_i} and columns in V^{out}_i and V^{in}_{j_i} , respectively, with an obvious modification for \mathcal{V_S} , then (2) decouples into n (or n+1 ) independent systems

    \begin{equation} \begin{split} &\boldsymbol{\Xi}^i_{out}(( \upsilon_j(0, t))_{j\in J^+\cap V^{out}_i}, ( \varpi_j(1, t))_{j\in J^-\cap V^{out}_i})\\& \phantom{xxx} = - \boldsymbol{\Xi}^i_{in}(( \upsilon_j(1, t))_{j\in J^+\cap V^{in}_{j_i}}, ( \varpi_j(0, t))_{j\in J^-\cap V^{in}_{j_i}}), \quad 1\leq i\leq n, \\ &\boldsymbol{\Xi}^S_{out}(( \upsilon_j(0, t))_{j\in J^+\cap V^{out}_{M'}}, ( \varpi_j(1, t))_{j\in J^-\cap V^{out}_{M'}}) = 0. \end{split} \end{equation} (35)

    This system can be seen as a Kirchhoff system on the multi digraph \boldsymbol{\Gamma} but we need to collapse \boldsymbol{\Gamma} to a graph \Gamma on which (35) can be written as (17). We observe that the question naturally splits into two problems – one is about collapsing the graph, while the other is about grouping the components of (\boldsymbol{ \upsilon}, \boldsymbol{ \varpi}) into pairs compatible with the parametrization of \Gamma .

    Let \mathsf{A} be the adjacency matrix of L(\boldsymbol{\Gamma}) , with Assumptions 4 and 6 satisfied. As in Appendix A, we can construct outgoing and incoming incidence matrices A^+ and A^- but these are uniquely determined only if there are no sources and sinks. However, we have an additional piece of information about sources.

    If we grouped all sources into one node, as before Proposition 5, then, by Lemma 3.4, the flow connectivity in this source would be given by

    \mathsf{C}_{ \mathbf{v}}: = \widehat{\left(\widehat{\boldsymbol{\Xi}_{out}^{S}}\right)^T\widehat{\boldsymbol{\Xi}_{out}^{S}}}.

    However, such a matrix would not necessarily satisfy Assumption 3. Thus, we separate the arcs into non-communicating groups, each determining a source satisfying Assumption 3. For this, by simultaneous permutations of rows and columns, \mathsf{C}_{ \mathbf{v}} can be written as

    \begin{equation} \boldsymbol{\Xi}^S = {\rm diag}\{ \boldsymbol{\Xi}^S_{i}\}_{1\leq i\leq k}, \end{equation} (36)

    where k may equal 1. Since the simultaneous permutation of rows and columns is given as P\mathsf{C}_{ \mathbf{v}}P^T, where P is a suitable permutation matrix, [18,p. 140], we see that \boldsymbol{\Xi}^S is a symmetric matrix, along with \mathsf{C}_{ \mathbf{v}} . By [12,Sections III \S 1 and Ⅲ \S 4], \boldsymbol{\Xi}^S is irreducible if and only if it cannot be transformed by simultaneous row and column permutations to the form (36) with k>1 (since \boldsymbol{\Xi}^S is symmetric, all off-diagonal blocks must be zero). Then, \boldsymbol{\Xi}^S can be reduced to the canonical form, [12,Section Ⅲ,Eq. (68)], in which each \boldsymbol{\Xi}^S_i is irreducible. If (36) is in the canonical form, then we say that \boldsymbol{\Xi}^S allows for k sources, each satisfying Assumption 3. The indices of the columns contributing to the blocks define the k non-communicating sources \mathcal{V}_{S_1}, \ldots, \mathcal{V}_{S_k} in \boldsymbol{\Gamma} , which we denote V^{out}_{S_1}, \ldots, V^{out}_{S_k} , V^{out}_{M'} = V^{out}_{S_1}\cup \ldots\cup V^{out}_{S_k} . Finally, define \boldsymbol{\xi}^{out, r} = (\xi^{out, r}_{S_i j})_{1\leq i\leq k, 1\leq j\leq 2m} by

    \xi^{out, r}_{S_i j} = \left\{\begin{array}{lcl} 1 &\text{if}& j\in V^{out}_{S_i}, \\0&\text{otherwise}.&\end{array}\right.

    For the sinks, it is simpler as there is no constraining information from (2). We have columns with indices in V^{in}_{N'} corresponding to sinks. These are zero columns in \boldsymbol{\Xi}_{in} but the columns with these indices in \boldsymbol{\Xi}_{out} have nonempty supports and thus we can determine from which vertices they are outgoing. Let us denote

    \begin{equation} V^{in}_{\mathcal{V_i}} = \{j\in V^{in}_{N'};\; \text{supp}\; \boldsymbol{\xi}^{out, c}_j\cap \mathcal{V_i}\neq \emptyset\}, \quad i = 1, \ldots, n, S_1, \ldots, S_k. \end{equation} (37)

    For each i we consider a partition

    \begin{equation} V^{in}_{\mathcal{V_i}} = V^{in}_{i, {1}}\cup\ldots\cup V^{in}_{i, {l_i}}, \quad i = 1, \ldots, n, S_1, \ldots, S_k, \end{equation} (38)

    where l_i\leq |V^{in}_{\mathcal{V_i}}|, into non-overlapping sets V^{in}_{i, {l}} , 1\leq l\leq l_i . Then, we define sinks \mathcal{V}_{i, {l}} as the heads of the arcs with indices from V^{in}_{i, {l}} ; we have n_z = l_1+\cdots + l_{S_k} sinks. Then, as above, define \boldsymbol{\xi}^{in, r} = (\xi^{in, r}_{\{i, {l}\}, q})_{i\in \{1, \ldots, S_k\}, l\in \{1, \ldots, l_i\}, q\in \{1, \ldots, 2m\}} by

    \xi^{in, r}_{\{i, {l}\}, q} = \left\{\begin{array}{lcl} 1 &\text{if}& q\in V^{in}_{i, {l}}, \\0&\text{otherwise}.&\end{array}\right.

    Remark 4. We expect |V^{in}_{\mathcal{V_i}}|, i = 1, \ldots, n, S_1, \ldots, S_k, to be even numbers and (38) to represent a partition of V^{in}_{\mathcal{V_i}} into pairs so that l_i = |V^{in}_{\mathcal{V_i}}|/2.

    Then, as in Remark 5, the incoming and outgoing incidence matrices are

    A^+ = \left(\begin{array}{c} \mathsf{A}^+\\\boldsymbol{0}\\\boldsymbol{\xi}^{in, r}\end{array}\right), \qquad A^- = \left(\begin{array}{c} \mathsf{A}^-\\\boldsymbol{\xi}^{out, r}\\\boldsymbol{0}\end{array}\right)

    which, by a suitable permutation of columns moving the sources and the sinks to the last positions, can be written as

    (39)

    respectively. Both matrices have 2m columns and \mathcal{n} : = n + k + n_z rows. Hence, as shown in Remark 5, the adjacency matrix of the full multi digraph \boldsymbol{\Gamma} is given by

    (40)

    where the dimensions of the blocks in the first row are, respectively, n\times n , n\times k and n\times n_z , in the second row, k\times n , k\times k and k\times n_z and in the last one, n_z\times n , n_z\times k and n_z\times n_z . Thus, if a_{ij} is in the block (p, q), 1\leq p, q\leq 3, then a_{ji} will be in the block (q, p) .

    Consider a nonzero pair (a_{ij}, a_{ji}) of entries of A(\boldsymbol{\Gamma}) . If, say, a_{ij} = h , then it means that the i -th row of A^+ and j -th row of A^- have entry 1 in the same h columns, that is, there are exactly h arcs coming from \mathbf{v}_j to \mathbf{v}_i . Similarly, if a_{ji} = e , then there are exactly e arcs coming from \mathbf{v}_i to \mathbf{v}_j . Conversely, if there are h arcs from \mathbf{v}_j to \mathbf{v}_i and e arcs from \mathbf{v}_i to \mathbf{v}_j , then (a_{ij}, a_{ji}) = (h, e). In particular, h+e = 2 if and only if there are two arcs between \mathbf{v}_j and \mathbf{v}_i running either concurrently or countercurrently. Since the columns of A^+ and A^- are indexed in the same way as that of \boldsymbol{\Xi}_{out} and \boldsymbol{\Xi}_{in} , the pair (a_{ij}, a_{ji}) determines the rows \boldsymbol{a}^{+, r}_i and \boldsymbol{a}^{+, r}_j of A^+ and thus the indices

    \begin{equation} \begin{split} &(a_{ij}\mapsto \{k^{ij}_1, \ldots, k^{ij}_h\}, a_{ji}\mapsto \{k^{ji}_1, \ldots, k^{ji}_e\}) \\ & = (a_{ij}\mapsto \text{supp}\; \boldsymbol{a}^{+, r}_i\cap \text{supp}\; \boldsymbol{a}^{-, r}_j, a_{ji}\mapsto \text{supp}\; \boldsymbol{a}^{+, r}_j\cap \text{supp}\; \boldsymbol{a}^{-, r}_i)\end{split} \end{equation} (41)

    of columns of \boldsymbol{\Xi}_{out} (and of \boldsymbol{\Xi}_{in} ). Finally, we are ready to formulate the main result of this paper.

    Theorem 3.6. System (2) is graph realizable with generalized Kirchhoff's conditions satisfying Assumptions 1 and 2 for \mathbf{v}\in \Upsilon_t and Assumption 3 for \mathbf{v}\in\Upsilon_s if and only if, in addition to Assumptions 4, 5 and 6, there is a partition (38) such that A(\boldsymbol{\Gamma}) defined by (40) satisfies

    1. for any 1\leq i, j\leq \mathcal{n} , a_{ii} = 0 and (a_{ij}, a_{ji}) is in one of the following form:

    \begin{equation} (2, 0), \; (1, 1), \; (0, 2)\; \mathit{\text{or}}\; (0, 0); \end{equation} (42)

    2. if (a_{ij}, a_{ji}) determines the indices k and l according to (41), then

    \begin{array}{l} if\;({a_{ij}}, {a_{ji}}) = (2, 0)\;or\;(0, 2), \;\;\;then\;k, l \in {J^ + }\;or\;k, l \in {J^ - }\\ \;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;and\;{c_k} \ne {c_l}, \\ if\;({a_{ij}}, {a_{ji}}) = (1, 1), \;\;\;\;\;\;\;\;\;\;\;\;\;\;\;then\;k \in {J^ + }\;and\;l \in {J^ - }\\ \;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;or\;k \in {J^ - }\;and\;l \in {J^ + }. \end{array} (43)

    Proof. Necessity. Let us consider the Kirchhoff system (17). By construction, both matrices \boldsymbol{\Psi}^{out} and \boldsymbol{\Psi}^{in} are in block diagonal form with equal row dimensions of the blocks. We consider the problem already transformed to \boldsymbol{\Gamma} . We note that each arc's index must appear twice in \boldsymbol{\Psi} – once in \boldsymbol{\Psi}^{out} and once in \boldsymbol{\Psi}^{in} (if there are sinks, the indices of incoming arcs will correspond to the zero columns). Further, whenever column indices k and l appear in the blocks of \boldsymbol{\Psi}^{out} and \boldsymbol{\Psi}^{in} , respectively, then \boldsymbol{{\varepsilon}}^l is incoming to, while \boldsymbol{{\varepsilon}}^k is outgoing from the same vertex (and not any other). Thus, by Assumption 2, the matrix

    \tilde A = (\tilde a_{ij})_{1\leq i, j\leq 2m} = \widehat{(\widehat{\boldsymbol{\Psi}^{out}})^T\widehat{\boldsymbol{\Psi}^{in}}}

    is block diagonal with blocks of the form \mathsf{C}_{ \mathbf{v}} = \boldsymbol{1}_{ \mathbf{v}}, except for zero rows corresponding to the sources and zero columns corresponding to the sinks. However, in general, the column indices in \boldsymbol{\Psi}^{out} and \boldsymbol{\Psi}^{in} do not correspond to the indices of the arcs they represent. Precisely, \tilde a_{ij} = 1 if and only if there is a vertex for which the arc \boldsymbol{{\varepsilon}}^{j'} is incoming and \boldsymbol{{\varepsilon}}^{i'} is outgoing, where j' and i' are the indices of the arcs that correspond to the columns j and i of \boldsymbol{\Psi}^{in} and \boldsymbol{\Psi}^{out} , respectively. To address this, we construct \boldsymbol{\Xi}_{out} and \boldsymbol{\Xi}_{in} as

    \boldsymbol{\Xi}_{out} = \boldsymbol{\Psi}^{out}P, \qquad \boldsymbol{\Xi}_{in} = \boldsymbol{\Psi}^{in}Q,

    where P and Q are permutation matrices, so that in both matrices the column indices 1, \ldots, 2m correspond to \boldsymbol{{\varepsilon}}^1, \ldots, \boldsymbol{{\varepsilon}}^{2m} . Hence

    A = (a_{ij})_{1\leq i, j\leq 2m} : = \widehat{(\widehat{\boldsymbol{\Xi}_{out}})^T\widehat{\boldsymbol{\Xi}_{in}}} = \widehat{(\widehat{\boldsymbol{\Psi}^{out}}P)^T\widehat{\boldsymbol{\Psi}^{in}}Q} = P^T\tilde AQ

    is a matrix where the indices 1, \ldots, 2m of both the columns and the rows correspond to \boldsymbol{{\varepsilon}}^1, \ldots, \boldsymbol{{\varepsilon}}^{2m} . Since \Gamma did not have loops, it is clear that a_{ii} = 0 for all i = 1, \ldots, 2m. It is also clear that any two columns (or rows) of \tilde A are either equal or orthogonal and this property is preserved by permutations of columns and of rows. Hence, by Proposition 4, A is the adjacency matrix of a line digraph and hence Assumption 5 is satisfied. Since the arcs' connections given by A and \tilde A are the same, we see that A is equal to the adjacency matrix of the line graph of \boldsymbol{\Gamma} . Therefore, the transient vertices determined by A are the same as in \boldsymbol{\Gamma} (and hence in \Gamma ). On the other hand, as we know, A does not determine the structure of sources and sinks in \boldsymbol{\Gamma} . The fact that Assumption 4 is satisfied is a consequence of Assumption 1. For Assumption 6, we recall, see Appendix A, that the sets V_j^{out} group together the indices representing arcs \boldsymbol{{\varepsilon}}^k outgoing from a single vertex, thus they correspond to the blocks \boldsymbol{\Psi}^{out}_{ \mathbf{v}} in the matrix \boldsymbol{\Psi}^{out} and therefore Assumption 6 is satisfied, even for any i . Next, since \boldsymbol{\Gamma} has been constructed from \Gamma , the structure of the blocks in \boldsymbol{\Psi}^{out} corresponding to sources ensures that, after permutations, their entries will coincide with \boldsymbol{\Xi}^S_{out} and thus (36) will hold with the blocks in (36) exactly corresponding to the sources in \boldsymbol{\Gamma}, on account of Assumption 3. Similarly, in \Gamma the sinks are determined and thus we have groupings of pairs of the arcs (a partition of the set of indices corresponding to arcs incoming to sinks) coming from transient vertices or sources to sinks and thus the constructions (39) and (40) are completely determined. Then, we observe that whenever we have a source \mathbf{v} , then the arcs outgoing from \mathbf{v} must be coming in pairs with a single pair coming from \mathbf{v} to any other possible vertex, meaning that the respective entry in A(\boldsymbol{\Gamma}) must be either (2, 0) or (0, 2). Similar argument holds for the sinks. Since the problem comes from a graph, by construction, the orientation of the flows is consistent with the parametrization.

    Sufficiency. Given (2), we have flows (( \upsilon_j)_{j\in J^+}, ( \varpi_j)_{j\in J^-}) defined on (0, 1). Assumptions 4, 5 and 6 ensure, by Proposition 3, the existence of a multi digraph \boldsymbol{\Gamma} on which (2) can be localized to decoupled systems at vertices and written as (35). Precisely speaking, Assumption 5 associates the indices of incoming components of the solution at a vertex with incoming arcs and similarly for the indices of the outgoing components. Therefore, if an arc \boldsymbol{{\varepsilon}}^p runs from \mathbf{v}_j to \mathbf{v}_i , then the flow occurs from \mathbf{v}_j to \mathbf{v}_i , that is, if p\in J^+ , then the flow on \boldsymbol{{\varepsilon}}^p is given by \upsilon_p with \upsilon_p(0) at \mathbf{v}_j and \upsilon_p(1) at \mathbf{v}_i and analogous statement holds for p\in J^- . In other words, the index p of the arc \boldsymbol{{\varepsilon}}^p running from \mathbf{v}_j to \mathbf{v}_i determines the orientation of the parametrization: 0\mapsto \mathbf{v}_j and 1\mapsto \mathbf{v}_i if p\in J^+ and 0\mapsto \mathbf{v}_i and 1\mapsto \mathbf{v}_j if p\in J^-.

    Now, (42) ensures that there are no loops at vertices and that between any two vertices there are either two arcs or none. If a_{ij} is an entry in \mathsf{A}^+_S\mathsf{S}^T , \mathsf{Z}(\mathsf{A_Z}^-)^T or \mathsf{Z_S}(\mathsf{S_Z})^T , then a_{ij} = 0 or a_{ij} = 2 and, by the dimensions of the blocks, a_{ji}\in\{0, 2\} and a_{ji} = 0 , respectively. On the other hand, if a_{ij} is an entry in \mathsf{A}^+_T(\mathsf{A}^-_T)^T , then it can take any value 0, 1 or 2 and the a_{ji} equals 2 or 0 , 1, \, 0 , respectively. Thus, double arcs indexed, say, by (k, l) between vertices could be combined into edges of an undirected graph (with no loops and multiple edges). However, in this way we construct a combinatorial graph which does not take into account that if \boldsymbol{{\varepsilon}}^k and \boldsymbol{{\varepsilon}}^l are combined into one edge \boldsymbol{e} of \Gamma , their orientations must be the same. Thus, if (a_{ij}, a_{ji}) = (2, 0) determines the pair of indices k, l according to (43), then both arcs \boldsymbol{{\varepsilon}}^k and \boldsymbol{{\varepsilon}}^l of \boldsymbol{\Gamma} run from \mathbf{v}_j to \mathbf{v}_i and the components k and l of the solution flow concurrently along \boldsymbol{e} . By assumption, k, l \in J^+ or k, l \in J^- . In the first case, we associate \mathbf{v}_j with 0 and \mathbf{v}_i with 1 and we have ( \upsilon_{k}, \upsilon_{l}) on \boldsymbol{e} , in agreement with the orientation. Otherwise, we associate \mathbf{v}_j with 1 and \mathbf{v}_i with 0 and we have ( \varpi_{k}, \varpi_{l}) on \boldsymbol{e} . On the other hand, if (a_{ij}, a_{ji}) = (1, 1) then, by assumption, either k\in J^+ and l\in J^- or k\in J^- and l\in J^+ and the components k and l flow countercurrently. Again, in the first case, k\in J^+ and \boldsymbol{{\varepsilon}}^k running from \mathbf{v}_j to \mathbf{v}_i requires \mathbf{v}_j to be associated with 0 and \mathbf{v}_i with 1, while l\in J^- and \boldsymbol{{\varepsilon}}^l running from \mathbf{v}_i to \mathbf{v}_j also requires \mathbf{v}_j to be associated with 0 and \mathbf{v}_i with 1. Thus, we have ( \upsilon_{k}, \varpi_{l}) on \boldsymbol{e} . Otherwise, we associate \mathbf{v}_j with 1 and \mathbf{v}_i with 0 and we have ( \varpi_{k}, \upsilon_{l}) on \boldsymbol{e} .

    Finally, the assumption c_k\neq c_l in the first case of assumption (43) ensures that the resulting system is hyperbolic on each edge.

    Example 3. Let us consider the system

    \begin{equation} \begin{split} {\partial}_t \upsilon_{j}+c_j{\partial}_x \upsilon_j & = 0, \quad 1\leq j\leq 4, \\ {\partial}_t \varpi_{j}-c_j{\partial}_x \varpi_j & = 0, \quad 5\leq j\leq 6, \end{split} \end{equation} (44)

    where c_j>0, with boundary conditions

    \begin{equation} \left(\!\!\begin{array}{cccccc}0&1&1&0&0&0\\ 1&0&0&0&0&0\\ 1&1&0&0&0&0\\ 0&0&1&1&0&0\\ 0&0&0&0&1&0\\ 0&0&0&0&0&1\end{array}\!\! \right)\left(\!\!\!\begin{array}{c} \upsilon_1(0)\\ \upsilon_2(0)\\ \upsilon_3(0)\\ \upsilon_4(0)\\ \varpi_5(1)\\ \varpi_6(1)\end{array}\!\!\!\right) = \left(\!\!\begin{array}{cccccc}0&0&0&0&0&0\\ 0&0&0&0&0&0\\ 0&0&0&0&0&0\\ 0&0&0&0&0&0\\ 1&1&0&0&0&1\\ 0&0&1&1&1&0\end{array}\!\! \right)\left(\!\!\!\begin{array}{c} \upsilon_1(1)\\ \upsilon_2(1)\\ \upsilon_3(1)\\ \upsilon_4(1)\\ \varpi_5(0)\\ \varpi_6(0)\end{array}\!\!\!\right). \end{equation} (45)

    Thus,

    A = \widehat{(\widehat{\boldsymbol{\Xi}_{out}})^T\widehat{\boldsymbol{\Xi}_{in}}} = \left(\begin{array}{cccccc}0&0&0&0&0&0\\ 0&0&0&0&0&0\\ 0&0&0&0&0&0\\ 0&0&0&0&0&0\\ 1&1&0&0&0&1\\ 0&0&1&1&1&0\end{array} \right).

    Thus, there is a multi digraph \boldsymbol{\Gamma} for which A is the adjacency matrix of L(\boldsymbol{\Gamma}) . There is no sink and to determine the structure of the sources, we observe that

    \boldsymbol{\Xi}^S_{out} = \left(\begin{array}{cccc}0&1&1&0\\ 1&0&0&0\\ 1&1&0&0\\ 0&0&1&1\end{array}\right) \quad\text{and so}\quad \boldsymbol{\Xi}^S = \widehat{\left(\widehat{\boldsymbol{\Xi}_{out}^{S}}\right)^T\widehat{\boldsymbol{\Xi}_{out}^{S}}} = \left(\begin{array}{cccc}1&1&0&0\\ 1&1&1&0\\ 0&1&1&1\\ 0&0&1&1\end{array}\right).

    This matrix is irreducible and thus we have one source. Therefore

    A^+ = \left(\begin{array}{cccccc}1&1&0&0&0&1\\ 0&0&1&1&1&0\\ 0&0&0&0&0&0\end{array}\right), \qquad A^- = \left(\begin{array}{cccccc}0&0&0&0&1&0\\ 0&0&0&0&0&1\\ 1&1&1&1&0&0\end{array}\right)

    and consequently

    Further,

    \begin{align*} \text{supp}\; \boldsymbol{a}^{+, r}_1& = \{1, 2, 6\}, \; \text{supp}\; \boldsymbol{a}^{+, r}_2 = \{3, 4, 5\}, \\ \text{supp}\; \boldsymbol{a}^{-, r}_1& = \{5\}, \; \text{supp}\; \boldsymbol{a}^{-, r}_2 = \{6\}, \; \text{supp}\; \boldsymbol{a}^{-, r}_3 = \{1, 2, 3, 4\}, \end{align*}

    hence, by (41),

    (a_{12}\mapsto \{6\}, a_{21}\mapsto \{5\}), \quad (a_{13}\mapsto \{1, 2\}, a_{31}\mapsto \emptyset), \quad (a_{23}\mapsto \{3, 4\}, a_{32}\mapsto \emptyset).

    To reconstruct \Gamma , we see that \boldsymbol{{\varepsilon}}^5 and \boldsymbol{{\varepsilon}}^6 should be combined into a single edge \boldsymbol{e} . However, since J^+ = \{1, 2, 3, 4\}, J^- = \{5, 6\}, the flow along \boldsymbol{{\varepsilon}}^5 runs from 1 to 0 and hence \mathbf{v}_1 should correspond to 1 in the parametrization, while \mathbf{v}_2 to 0. On the other hand, \boldsymbol{{\varepsilon}}^6 runs also from 1 to 0 but from \mathbf{v}_2 to \mathbf{v}_1 and hence \mathbf{v}_2 should correspond to 1, while \mathbf{v}_1 to 0. This contradiction is in agreement with the violation of assumption (43) as (a_{12}, a_{21}) = (1, 1) but in the corresponding (k, l) = (6, 5) , both k and l belong to J^- .

    Consider a small modification of (44), (45),

    \begin{equation} \begin{split} {\partial}_t \upsilon_{j}+c_j{\partial}_x \upsilon_j & = 0, \quad 1\leq j\leq 5, \\ {\partial}_t \varpi_{6}-c_6{\partial}_x \varpi_6 & = 0, \end{split} \end{equation} (46)

    c_j>0 , with the last two boundary conditions of (45) accordingly changed to

    \begin{equation} \begin{split} \upsilon_5(0)- \upsilon_1(1)- \upsilon_2(1)- \varpi_6(0)& = 0, \\ \varpi_6(1)- \upsilon_3(1)- \upsilon_4(1)- \upsilon_5(1)& = 0. \end{split} \end{equation} (47)

    The matrices \boldsymbol{\Xi}_{out}, \boldsymbol{\Xi}_{in}, \boldsymbol{\Xi}^S, A^+, A^- and A are the same as above and thus the multi digraph \boldsymbol{\Gamma} is the same as before. However, this time on \boldsymbol{{\varepsilon}}^5 we have the flow \upsilon_5 , occurring from 0 to 1 and thus \boldsymbol{{\varepsilon}}^5 and \boldsymbol{{\varepsilon}}^6 can be combined with a parametrization running from 0 at \mathbf{v}_1 to 1 at \mathbf{v}_2 . Assuming c_1>c_2 , c_3>c_4 , we identify u^1_1 = \upsilon_1, u^1_2 = \upsilon_2, u^3_1 = \upsilon_3, u^3_2 = \upsilon_4, u^2_1 = \upsilon_5, u^2_2 = \varpi^6 and write (46) as a system of 2\times 2 hyperbolic systems on a graph \Gamma = (\{ \mathbf{v}_1, \mathbf{v}_2, \mathbf{v}_3\}, \{\boldsymbol{e_1}, \boldsymbol{e_2}, \boldsymbol{e_3}\}) of the form

    \begin{equation} \begin{array}{c} {\partial}_t u^1_1+c_1{\partial}_x u^1_1 = 0, \\ {\partial}_t u^1_2+c_2{\partial}_x u^1_2 = 0, \end{array}\;\begin{array}{c} {\partial}_t u^2_1+c_5{\partial}_x u^2_1 = 0, \\ {\partial}_t u^2_2-c_6{\partial}_x u^2_2 = 0, \end{array}\; \begin{array}{c}{\partial}_t u^3_1+c_3{\partial}_x u^3_1 = 0, \\{\partial}_t u^3_2+c_4{\partial}_x u^3_2 = 0, \end{array} \end{equation} (48)

    with boundary conditions at

    (49)

    Consider a digraph G (possibly with multiple arcs but with no loops) and its line graph L(G) . For both G and L(G) we consider their adjacency matrices \mathsf{A}(G) and \mathsf{A}(L(G)) . The matrix \mathsf{A}(L(G)) is always binary, with zeroes on the diagonal. Not any binary matrix is the adjacency matrix of a line graph, see [3,6]. In fact, we have

    Proposition 4. [6,Thm. 2.4.1] A binary matrix \mathsf{A} is the adjacency matrix of a line digraph of a multi digraph if and only if all diagonal entries are 0 and any two columns (equivalently rows) of \mathsf{A} are either equal or orthogonal (as vectors).

    For our analysis, it is important to understand the reconstruction of G from a matrix \mathsf{A} = (\mathsf{{a}}_{ij})_{1\leq i, j\leq m} satisfying the above conditions. As in (29), we write

    \mathsf{A} = (\mathsf{{a}}_{ij})_{1\leq i, j\leq m} = (\boldsymbol{{a}}^c_j)_{1\leq j\leq m} = (\boldsymbol{{a}}^r_i)_{1\leq i\leq m}.

    If for some i_1 we have \mathsf{a}_{i_1j_1} = \ldots = \mathsf{a}_{i_1j_k} = 1, then it means that \boldsymbol{e}_{j_1}, \ldots, \boldsymbol{e}_{j_k} join \boldsymbol{e}_{i_1} and thus they must be incident to the same vertex \mathbf{v} and all \boldsymbol{e}_{i_l} for which \mathsf{a}_{i_lj_1} = 1 (and thus all \mathsf{a}_{i_lj_p} = 1 for p = 1, \ldots, k ) are outgoing from \mathbf{v} . We further observe that all zero rows can be identified with source(s). Similarly, zero columns correspond to sinks. If \boldsymbol{a}^c_j = \boldsymbol{a}^r_j = 0 for some j , then \boldsymbol{e_j} connects a source to a sink.

    Using the adjacency matrix of a line digraph, we cannot determine how many sources or sinks the original graph could have without additional information. We can lump all potential sources and sinks into one source and one sink, we can have as many sinks and sources as there are zero columns and rows, respectively, or we can subdivide the arcs into some intermediate arrangement. We describe a construction with one source and one sink and indicate its possible variants.

    We introduce V^{in}_1 = \{r\in\{1, \ldots, m\};\; \boldsymbol{a}^c_r = \boldsymbol{a}^c_1\} and, inductively, V^{in}_k = \{r\in\{1, \ldots, m\};\; \boldsymbol{a}^c_r = \boldsymbol{a}^c_{j_k}, j_k = \min\{j;\; j\notin \bigcup_{1\leq p\leq k-1} V^{in}_p\}\} and the process terminates at N' such that \bigcup_{1\leq p\leq N'} V^{in}_p = \{1, \ldots, m\} . In the same way, V^{out}_1 = \{l\in\{1, \ldots, m\};\; \boldsymbol{a}^r_l = \boldsymbol{a}^r_1\} and V^{out}_k = \{l\in\{1, \ldots, m\};\; \boldsymbol{a}^r_l = \boldsymbol{a}^r_{j_k}, j_k = \min\{j;\; j\notin \bigcup_{1\leq p\leq k-1} V^{out}_p\}\} and the process terminates at M' such that \bigcup_{1\leq p\leq M'} V^{out}_p = \{1, \ldots, m\} . In other words, \{V^{in}_j\}_{1\leq j\leq N'} and \{V^{out}_i\}_{1\leq i\leq M'} represent the vertices of G through incoming and outgoing arcs, respectively. If there are any zero rows in G , then we swap the corresponding set V^{out}_{j_0} with the last set V^{out}_{M'} . In this way, V^{out}_{M'} represents all arcs outgoing from sources (if they exist). For this construction, we represent them as coming from a single source but other possibilities are allowed, see Remark 5. Similarly, if there are any zero columns, we swap the corresponding set V^{in}_{i_0} with V^{in}_{N'} , that is, V^{in}_{N'} represents the arcs incoming to sink(s). Then, we denote

    \begin{equation} \begin{split} M: = \left\{\begin{array}{lcl} M' &\text{if}& V^{out}_{M'} = \{j;\; \boldsymbol{a}^r_j \neq 0\}, \\ M'-1 &\text{if} & V^{out}_{M'} = \{j;\; \boldsymbol{a}^r_j = 0\}, \end{array}\right.\\ N: = \left\{\begin{array}{lcl} N' &\text{if}& V^{in}_{N'} = \{j;\; \boldsymbol{a}^c_j \neq 0\}, \\ N'-1 &\text{if} & V^{in}_{N'} = \{j;\; \boldsymbol{a}^c_j = 0\}.\end{array}\right.\end{split} \end{equation} (A.1)

    Thus, we see that the number of internal (or transient) vertices, that is, which are neither sources nor sinks is n: = M = N . For such vertices it is important to note that, in general, V^{out}_j and V^{in}_j, 1\leq j\leq n, do not represent the same vertex. To combine V^{out}_i and V^{in}_j into the same vertex, we have, for 1\leq i, j\leq n ,

    \begin{equation} \mathbf{v}_j = \{V^{in}_j, V^{out}_i\}, \qquad a_{i_pj_r} = 1\;\text{for some/any }i_p \in V^{out}_i, j_r \in V^{in}_j. \end{equation} (A.2)

    With this notation, we present a more algorithmic way of reconstructing G from \mathsf{A} . First, we collapse equal rows of \mathsf{A} into a single row of \mathsf{A}^+ and equal columns of \mathsf{A} into a single column and then take the transpose to get \mathsf{A}^- . Mathematically, let \mathbb{I}^+ be a set of indices such that \mathbb{I}^+\cap V^{out}_i consists of exactly one point for each 1\leq i\leq M' and ordered by the order of \{V^{out}_i\} . Similarly, let \mathbb{I}^- be a set of indices such that \mathbb{I}^-\cap V^{in}_i consists of exactly one point for each 1\leq i\leq N'. We order \mathbb{I}^- consistently with \mathbb{I}^+ , namely, if i_k\in \mathbb{I}^+ and j_k \in \mathbb{I}^- are the k -th indices in \mathbb{I}^+ and \mathbb{I}^- , respectively, then i_k \in V^{out}_k and j_k\in V^{in}_j with j related to k by (A.2), that is, \{V^{out}_k, V^{in}_j\} determines the same vertex \mathbf{v}_k . As mentioned above, possible zero rows correspond to the highest indices. With this, we define

    \begin{equation} \mathsf{A}^+ = (\boldsymbol{a}^r_i)_{i\in \mathbb{I}^+}, \qquad \mathsf{A}^- = \left((\boldsymbol{a}^c_j)_{j\in \mathbb{I}^-}\right)^T. \end{equation} (A.3)

    We see now that each row of \mathsf{A}^+ corresponds to a vertex and each column of \mathsf{A}^+ corresponds to an incoming arc. If there are zero rows in \mathsf{A} , there is a zero row at the bottom of \mathsf{A}^+ showing the presence of a (single) source. The presence of a sink is indicated by zero columns in \mathsf{A}^+ . Similarly, each row of \mathsf{A}^- corresponds to a vertex with arcs outgoing from it represented by nonzero entries in this row, in columns with indices corresponding to the indices of the arcs. If there are zero columns in \mathsf{A} , they appear as a zero row in \mathsf{A}^- , which represents a (single) sink. Possible sources are visible in \mathsf{A}^- as zero columns. However, what is important is that even though we lumped all sources and sinks into one single source and a single sink, the zero columns in \mathsf{A}^+ and \mathsf{A}^- keep track of the arcs going into the sink or out of the source, respectively. Unless there are no sources and sinks, \mathsf{A}^+ and \mathsf{A}^- are not the incoming and outgoing incidence matrices of a graph (for the definition of these, see e.g. [3]). Indeed, \mathsf{A}^+ does not contain sinks that, clearly, are part of the incoming incidence matrix. Similarly, \mathsf{A}^- does not include sources. If we keep our requirement that there is only one sink and one source, then we add one row to \mathsf{A}^+ and one to \mathsf{A}^- to represent the sink and the source, respectively. We use convention that, if both the sink and the source are present, the source is the last but one row and the sink is the last one. To determine the entries we use the required property of the incidence matrices, that there is exactly one non-zero entry in each column (expressing the fact that each arc has a unique tail and a unique head). Thus, we put 1 in the added rows in any column that was zero in \mathsf{A}^+ (resp. \mathsf{A}^- ). We denote such extended matrices by A^+ and A^- . It is easy to see that the following result is true.

    Proposition 5. A^+ and A^- are, respectively, incoming and outgoing incidence matrices of a multi digraph G having \mathsf{A} as the adjacency matrix of L(G) .

    Proof. Since each column of A^+ and A^- contains 1 only in one row, we can construct a multi digraph G from them using \mathsf{A}(G) = A^+(A^-)^T as its adjacency matrix. Since we allow G to be a multi digraph, the entries of \mathsf{A}(G) give the number of arcs joining the vertices. A (k, l) entry in \mathsf{A}(G) is given by \boldsymbol{a_k}^{+, r}\cdot \boldsymbol{a_l}^{-, r} and, by construction, \boldsymbol{a_k}^{+, r} is a row in \mathsf{A} belonging to \mathbf{v}_k and \boldsymbol{a_l}^{-, r} is a column in \mathsf{A} corresponding to \mathbf{v}_l . Nonzero entries in \boldsymbol{a_k}^{+, r} correspond to the arcs incoming to \mathbf{v}_k and nonzero entries in \boldsymbol{a_l}^{-, r} correspond to the arcs outgoing from \mathbf{v}_l so the value of \boldsymbol{a_k}^{+, r}\cdot \boldsymbol{a_l}^{-, r} is the number of nonzero entries occurring at the same places in both vectors and thus the number of arcs from \mathbf{v}_l to \mathbf{v}_k .

    The adjacency matrix \mathsf{A}(L(G)) is determined as (A^-)^T A^+ . The entries of this product are given by \boldsymbol{a_k}^{-, c}\cdot \boldsymbol{a_l}^{+, c} . Since each column has only one nonzero entry (equal to 1), the product will be either 0 or 1. It is 1 if and only if there is i (exactly one) such that the entry 1 appears as the i -th coordinate of both \boldsymbol{a_k}^{-, c} and \boldsymbol{a_l}^{+, c}. Now, by construction, a_{ik}^{-} = 1 if and only if k \in V^{out}_i and a_{il}^{+} = 1 if and only if l \in V^{in}_j, where the correspondence between j and i is determined by (A.2). This is equivalent to \mathsf{a}_{kl} = 1 .

    Remark 5. Assume that \mathsf{A} has k zero rows and l zero columns. We cannot identify the numbers of sinks and sources from \mathsf{A} without additional information. Above, we lumped all sources and all sinks into one source and one sink, respectively, but sometimes we require more flexibility. As we know, the k zero rows in \mathsf{A} become k zero columns in \mathsf{A}^- associated with the arcs outgoing from sources. In a similar way, the l zero columns in \mathsf{A} stay to be l zero columns in \mathsf{A}^+ associated with the arcs incoming to sinks. We can group these arcs in an arbitrary way, with each group corresponding to a source or a sink, respectively. Assume we wish to have \bar k sources and \bar l sinks. Then, we build the corresponding matrix A^+ by adding \bar k-1 zero rows for the sources to \mathsf{A}^+ and \bar l rows corresponding to sinks, which will consist of zeroes everywhere apart from the columns that were zero columns in \mathsf{A}^+ ; in these columns we put 1s in such a way that each column contains only one nonzero entry (and zeroes elsewhere). Then, columns having 1 in a particular row will represent the arcs incoming to a given sink. In exactly the same way we extend \mathsf{A}^- , by creating \bar l-1 zero rows for the sinks and \bar k rows for the sources. In this way, we construct the following incoming and outgoing incidence matrices, respectively, A^+ and A^- that, by a suitable permutation of columns, can be written as

    where P is the required permutation matrix and, in both cases, the first group of columns have indices corresponding to V^{in}_i, 1\leq i\leq n (resp. V^{out}_j, 1\leq j\leq n ), the second group corresponds to the arcs incoming from the sources to the transient vertices, the third group combines arcs connecting sources and sinks and the last group corresponds to the sinks fed by the transient vertices. We observe that the number of columns in each group in A^- and A^+ is the same. Since

    \bar A^+(\bar A^-)^T = (A^+P)(A^-P)^T = A^+PP^T(A^-)^T = A^+A^-,

    as P^T = P^{-1} , see [18,p. 140], for such a digraph G we have

    (A.4)

    Example 4 Consider the networks G_1 and G_2 presented on Fig. 5. We observe that grouping of sources and sinks does not affect the line graph, L(G_1) = L(G_2), see Fig. 6. To illustrate the discussion above, we have

    \begin{equation} \mathsf{A} = \left(\begin{array}{ccccccc}0&0&0&0&0&0&0\\ 0&0&0&0&0&0&0\\ 1&1&0&1&0&0&0\\ 0&0&1&0&1&0&0\\ 0&0&0&0&0&0&0\\ 0&0&1&0&1&0&0\\ 0&0&0&0&0&0&0\end{array}\right). \end{equation} (A.5)
    Figure 5. 

    Multi digraphs G_1 with 3 sources and two sinks and G_2 with all sources and all sinks grouped into a single source and a single sink

    .
    Figure 6. 

    The line digraph for both G_1 and G_2

    .

    Then,

    \begin{equation} \mathsf{A}^+ = \left(\begin{array}{ccccccc} 1&1&0&1&0&0&0\\ 0&0&1&0&1&0&0\\ 0&0&0&0&0&0&0\end{array}\right) \end{equation} (A.6)

    and we see that there are two transient (internal) vertices \mathbf{v}_1 and \mathbf{v}_2 with arcs \boldsymbol{e_1}, \boldsymbol{e_2} and \boldsymbol{e_4} incoming to \mathbf{v}_1 and arcs \boldsymbol{e_3} and \boldsymbol{e_5} are incoming to \mathbf{v}_2. The last row in \mathsf{A}^+ corresponds to source(s) with outgoing arcs \boldsymbol{e_1}, \boldsymbol{e_2}, \boldsymbol{e_5} and \boldsymbol{e_7} . We also note that the zero columns in \mathsf{A}^+ correspond to arcs \boldsymbol{e_6} and \boldsymbol{e_7} that are incoming to sinks. To build \mathsf{A}^- , we first collapse the identical columns of \mathsf{A} and take the transpose. We see from \mathsf{A} that the first row of the transpose corresponds to the incoming arcs \boldsymbol{e_1}, \boldsymbol{e_2} and \boldsymbol{e_4} and thus also to vertex \mathbf{v}_1 of \mathsf{A}^+. Hence, there is no need to re-order the rows and so (A.3) gives

    \begin{equation} \mathsf{A}^- = \left(\begin{array}{ccccccc} 0&0&1&0&0&0&0\\ 0&0&0&1&0&1&0\\ 0&0&0&0&0&0&0\end{array}\right). \end{equation} (A.7)

    The last row corresponds to sinks and the zero columns inform us that arcs \boldsymbol{e_1}, \boldsymbol{e_2}, \boldsymbol{e_5} and \boldsymbol{e_7} emanate from sources.

    If we want to reconstruct the original graph with one source and one sink, then

    A^+ = \left(\begin{array}{ccccccc} 1&1&0&1&0&0&0\\ 0&0&1&0&1&0&0\\ 0&0&0&0&0&0&0\\ 0&0&0&0&0&1&1\end{array}\right), \qquad A^- = \left(\begin{array}{ccccccc} 0&0&1&0&0&0&0\\ 0&0&0&1&0&1&0\\ 1&1&0&0&1&0&1\\ 0&0&0&0&0&0&0\end{array}\right)

    and

    A^+(A^-)^T = \left(\begin{array}{cccc} 0&1&2&0\\ 1&0&1&0\\ 0&0&0&0\\ 0&1&1&0\end{array}\right),

    which describes the right multi digraph in Fig. 5. On the other hand, we can consider two sinks (maximum number, as there are two zero columns in \mathsf{A} ) and, say, three sources. Then,

    A^+ = \left(\begin{array}{ccccccc} 1&1&0&1&0&0&0\\ 0&0&1&0&1&0&0\\ 0&0&0&0&0&0&0\\ 0&0&0&0&0&0&0\\ 0&0&0&0&0&0&0\\ 0&0&0&0&0&0&1\\ 0&0&0&0&0&1&0\end{array}\right), \qquad A^- = \left(\begin{array}{ccccccc} 0&0&1&0&0&0&0\\ 0&0&0&1&0&1&0\\ 1&0&0&0&0&0&1\\ 0&1&0&0&0&0&0\\ 0&0&0&0&1&0&0\\ 0&0&0&0&0&0&0\\ 0&0&0&0&0&0&0\end{array}\right)

    and

    A^+(A^-)^T = \left(\begin{array}{ccccccc} 0&1&1&1&0&0&0\\ 1&0&0&0&1&0&0\\ 0&0&0&0&0&0&0\\ 0&0&0&0&0&0&0\\ 0&0&0&0&0&0&0\\ 0&0&1&0&0&0&0\\ 0&1&0&0&0&0&0\end{array}\right)

    which describes the left multi digraph in Fig. 5.

    It is easily seen that both digraphs have the same line digraph, shown on Fig. 6, whose adjacency matrix is \mathsf{A} .

    [1] Robertson J (2004) Realistic applications of CNTs. Mater Today 7: 46–52. doi: 10.1016/S1369-7021(04)00448-1
    [2] Dresselhaus MS, Avouris P (2001) Introduction to carbon materials research, In: Dresselhaus, MS, Dresselhaus G, Avouris P, Carbon Nanotubes: Synthesis, Structure, Properties, and Applications, Springer Book Series: Topics in Applied Physics, Germany: Springer-Verlag Berlin Heidelberg, 80: 1–9.
    [3] Neubauer E, Kitzmantel M, Hulman M, et al. (2010) Potential and challenges of metal-matrix-composites reinforced with carbon nanofibers and carbon nanotubes. Compos Sci Technol 70: 2228–2236. doi: 10.1016/j.compscitech.2010.09.003
    [4] Lan Y, Wang Y, Ren ZF (2011) Physics and applications of aligned carbon nanotubes. Adv Phys 60: 553–678. doi: 10.1080/00018732.2011.599963
    [5] Zhang Y, Zhuang X, Muthu J, et al. (2014) Load transfer of graphene/carbon nanotube/polyethylene hybrid nanocomposite by molecular dynamics simulation. Compos Part B-Eng 63: 27–33.
    [6] Schulz MJ, Shanov VN, Yin Z (2014) Nanotube superfiber Materials, Oxford (UK): Elsevier, 848.
    [7] Wei DC, Liu YQ (2008) The intramolecular junctions of carbon nanotubes. Adv Mater 20: 2815–2841. doi: 10.1002/adma.200800589
    [8] Salvetat JP, Briggs GAD, Bonard JM, et al. (1999) Elastic and shear moduli of single-walled carbon nanotube ropes. Phys Rev Lett 82: 944–947. doi: 10.1103/PhysRevLett.82.944
    [9] Hall AR, An L, Liu J, et al. (2006) Experimental measurement of single-wall carbon nanotube torsional properties. Phys Rev Lett 96: 256102. doi: 10.1103/PhysRevLett.96.256102
    [10] Kallesøe C, Larsen MB, Bøggild P, et al. (2012) 3D mechanical measurements with an atomic force microscope on 1D structures. Rev Sci Instrum 83: 023704. doi: 10.1063/1.3681784
    [11] Wang L, Zhang Z, Han X (2013) In situ experimental mechanics of nanomaterials at the atomic scale. NPG Asia Mater 5: e40. doi: 10.1038/am.2012.70
    [12] Mielke SL, Troya D, Zhan S, et al. (2004) The role of vacancy defects and holes in the fracture of carbon nanotubes. Chem Phys Lett 390: 413–420. doi: 10.1016/j.cplett.2004.04.054
    [13] Hou W, Xiao S (2007) Mechanical behaviors of carbon nanotubes with randomly located vacancy defects. J Nanosci Nanotechnol 7: 4478–4485. doi: 10.1166/jnn.2007.862
    [14] Tserpes KI, Papanikos P (2005) Finite element modeling of single-walled carbon nanotubes. Compos Part B-Eng 36: 468–477. doi: 10.1016/j.compositesb.2004.10.003
    [15] Rafiee R, Heidarhaei M (2012) Investigation of chirality and diameter effects on the Young's modulus of carbon nanotubes using non-linear potentials. Compos Struct 94: 2460–2464. doi: 10.1016/j.compstruct.2012.03.010
    [16] Sakharova NA, Pereira AFG, Antunes JM, et al. (2015) Mechanical characterization of single-walled carbon nanotubes: Numerical simulation study. Compos Part B-Eng 75: 73–85. doi: 10.1016/j.compositesb.2015.01.014
    [17] Rafiee R, Moghadam RM (2014) On the modelling of carbon nanotubes: A critical review. Compos Part B-Eng 56: 435–449. doi: 10.1016/j.compositesb.2013.08.037
    [18] Yengejeh SI, Kazemi SA, Öchsner A (2016) Advances in mechanical analysis of structurally and atomically modified carbon nanotubes and degenerated nanostructures: A review. Compos Part B-Eng 86: 95–107. doi: 10.1016/j.compositesb.2015.10.006
    [19] Dresselhaus MS, Dresselhaus G, Saito R (1995) Physics of carbon nanotubes. Carbon 33: 883–891. doi: 10.1016/0008-6223(95)00017-8
    [20] Barros EB, Jorio A, Samsonidze GG, et al. (2006) Review on the symmetry-related properties of carbon nanotubes. Phys Rep 431: 261–302. doi: 10.1016/j.physrep.2006.05.007
    [21] Melchor S, Dobado JA (2004) CoNTub: An algorithm for connecting two arbitrary carbon nanotubes. J Chem Inf Comp Sci 44: 1639–1646.
    [22] Ghavamian A, Andriyana A, Chin AB, et al. (2015) Numerical investigation on the influence of atomic defects on the tensile and torsional behavior of hetero-junction carbon nanotubes. Mater Chem Phys 164: 122–137. doi: 10.1016/j.matchemphys.2015.08.033
    [23] Yao YG, Li QW, Zhang J, et al. (2007) Temperature-mediated growth of single-walled carbon-nanotube intramolecular junctions. Nat Mater 6: 283–286.
    [24] Li M, Kang Z, Li R, et al. (2013) A molecular dynamics study on tensile strength and failure modes of carbon nanotube junctions. J Phys D Appl Phys 46: 495301. doi: 10.1088/0022-3727/46/49/495301
    [25] Sakharova NA, Pereira AFG, Antunes JM, et al. (2016) Numerical simulation of the mechanical behaviour of single-walled carbon nanotubes heterojunctions. J Nano Res 38: 73–87. doi: 10.4028/www.scientific.net/JNanoR.38.73
    [26] Qin Z, Qin QH, Feng XQ (2008) Mechanical property of carbon nanotubes with intramolecular junctions: Molecular dynamics simulations. Phys Lett A 372: 6661–6666. doi: 10.1016/j.physleta.2008.09.010
    [27] Lu Q, Bhattacharya B (2005) The role of atomistic simulations in probing the small scale aspects of fracture-a case study on a single-walled carbon nanotube. Eng Fract Mech 72: 2037–2071. doi: 10.1016/j.engfracmech.2005.01.009
    [28] Yakobson BI, Brabec CJ, Bernholc J (1996) Nanomechanics of carbon tubes: instabilities beyond linear response. Phys Rev Lett 76: 2511–2514. doi: 10.1103/PhysRevLett.76.2511
    [29] Lu JP (1997) Elastic properties of carbon nanotubes and nanoropes. Phys Rev Lett 79: 1298–1300.
    [30] Jin Y, Yuan FG (2003) Simulation of elastic properties of single-walled carbon nanotubes. Compos Sci Technol 63: 1507–1515. doi: 10.1016/S0266-3538(03)00074-5
    [31] Liew KM, He XQ, Wong CH (2004) On the study of elastic and plastic properties of multi-walled carbon nanotubes under axial tension using molecular dynamics simulation. Acta Mater 52: 2521–2527. doi: 10.1016/j.actamat.2004.01.043
    [32] Bao WX, Zhu CC, Cui WZ (2004) Simulation of Young's modulus of single-walled carbon nanotubes by molecular dynamics. Physica B 352: 156–163. doi: 10.1016/j.physb.2004.07.005
    [33] Zhang HW, Wang JB, Guo X (2005) Predicting the elastic properties of single-walled carbon nanotubes. J Mech Phys Solids 53: 1929–1950. doi: 10.1016/j.jmps.2005.05.001
    [34] Cheng HC, Liu YL, Hsu YC, et al. (2009) Atomistic continuum modelling for mechanical properties of single-walled carbon nanotubes. Int J Solids Struct 46: 1695–1704. doi: 10.1016/j.ijsolstr.2008.12.013
    [35] Kudin KN, Scuseria GE, Yakobson BI (2001) C2F, BN and C nanoshell elasticity from ab initio computations. Phys Rev B 64: 235406. doi: 10.1103/PhysRevB.64.235406
    [36] Wilmes AA, Pinho ST (2014) A coupled mechanical-charge/dipole molecular dynamics finite element method, with multi-scale applications to the design of graphene nano-devices. Int J Numer Meth Eng 100: 243–276. doi: 10.1002/nme.4706
    [37] Hernandez E, Goze C, Bernier P, et al. (1998) Elastic properties of C and BxCyNz composite nanotubes. Phys Rev Lett 80: 4502–4505. doi: 10.1103/PhysRevLett.80.4502
    [38] Zhou X, Zhou J, Ou-Yang ZC (2000) Strain energy and Young's modulus of single-wall carbon nanotubes calculated from electronic energy-band theory. Phys Rev B 62: 13692–13696. doi: 10.1103/PhysRevB.62.13692
    [39] Ru CQ (2000) Effective bending stiffness of carbon nanotubes. Phys Rev B 62: 9973–9976.
    [40] Pantano A, Parks DM, Boyce MC (2004) Mechanics of deformation of single- and multi-wall carbon nanotubes. J Mech Phys Solids 52: 789–821. doi: 10.1016/j.jmps.2003.08.004
    [41] Kalamkarov AL, Georgiades AV, Rokkam SK, et al. (2006) Analytical and numerical techniques to predict carbon nanotubes properties. Int J Solids Struct 43: 6832–6854. doi: 10.1016/j.ijsolstr.2006.02.009
    [42] Muc A (2010) Design and identification methods of effective mechanical properties for carbon nanotubes. Mater Design 31: 1671–1675. doi: 10.1016/j.matdes.2009.03.046
    [43] Chang TC (2010) A molecular based anisotropic shell model for single-walled carbon nanotubes. J Mech Phys Solids 58: 1422–1433. doi: 10.1016/j.jmps.2010.05.004
    [44] Sears A, Batra RC (2004) Macroscopic properties of carbon nanotubes from molecular-mechanics simulations. Phys Rev B 69: 235406. doi: 10.1103/PhysRevB.69.235406
    [45] Gupta SS, Batra RC (2008) Continuum structures equivalent in normal mode vibrations to single-walled carbon nanotubes. Comp Mater Sci 43: 715–723.
    [46] Wang Q (2004) Effective in-plane stiffness and bending rigidity of armchair and zigzag carbon nanotubes. Int J Solids Struct 41: 5451–5461. doi: 10.1016/j.ijsolstr.2004.05.002
    [47] Arash B, Wang Q (2012) A review on the application of nonlocal elastic models in modelling of carbon nanotubes and graphenes. Comp Mater Sci 51: 303–313. doi: 10.1016/j.commatsci.2011.07.040
    [48] Odegard GM, Gates TS, Nicholson LM, et al. (2002) Equivalent continuum modelling of nano-structured materials. Compos Sci Technol 62: 1869–1880. doi: 10.1016/S0266-3538(02)00113-6
    [49] Li C, Chou TW (2003) A structural mechanics approach for the analysis of carbon nanotubes. Int J Solids Struct 40: 2487–2499. doi: 10.1016/S0020-7683(03)00056-8
    [50] Ghavamian A, Rahmandoust M, Öchsner A (2013) On the determination of the shear modulus of carbon nanotubes. Compos Part B-Eng 44: 52–59. doi: 10.1016/j.compositesb.2012.07.040
    [51] Chen WH, Cheng HC, Liu YL (2010) Radial mechanical properties of single-walled carbon nanotubes using modified molecular structure mechanics. Comp Mater Sci 47: 985–993. doi: 10.1016/j.commatsci.2009.11.034
    [52] Eberhardt O, Wallmersperger T (2015) Energy consistent modified molecular structural mechanics model for the determination of the elastic properties of single wall carbon nanotubes. Carbon 95: 166–180. doi: 10.1016/j.carbon.2015.07.092
    [53] Natsuki T, Tantrakarn K, Endo M (2004) Prediction of elastic properties for single-walled carbon nanotubes. Carbon 42: 39–45. doi: 10.1016/j.carbon.2003.09.011
    [54] Meo M, Rossi M (2006) Prediction of Young's modulus of single wall carbon nanotubes by molecular-mechanics based finite element modeling. Compos Sci Technol 66: 1597–1605. doi: 10.1016/j.compscitech.2005.11.015
    [55] Giannopoulos GI, Kakavas PA, Anifantis NK (2008) Evaluation of the effective mechanical properties of single-walled carbon nanotubes using a spring based finite element approach. Comp Mater Sci 41: 561–569. doi: 10.1016/j.commatsci.2007.05.016
    [56] Wernik JM, Meguid SA (2010) Atomistic-based continuum modelling of the nonlinear behavior of carbon nanotubes. Acta Mech 212: 167–179. doi: 10.1007/s00707-009-0246-4
    [57] Ranjbartoreh AZ, Wang G (2010) Consideration of mechanical properties of single-walled carbon nanotubes under various loading conditions. J Nanopart Res 12: 537–543. doi: 10.1007/s11051-009-9808-6
    [58] Parvaneh V, Shariati M (2011) Effect of defects and loading on prediction of Young's modulus of SWCNTs. Acta Mech 216: 281–289. doi: 10.1007/s00707-010-0373-y
    [59] Mahmoudinezhad E, Ansari R, Basti A, et al. (2012) An accurate spring-mass model for predicting mechanical properties of single-walled carbon nanotubes. Comp Mater Sci 62: 6–11. doi: 10.1016/j.commatsci.2012.05.004
    [60] To CWS (2006) Bending and shear moduli of single-walled carbon nanotubes. Finite Elem Anal Design 42: 404–413. doi: 10.1016/j.finel.2005.08.004
    [61] Papanikos P, Nikolopoulos DD, Tserpes KI (2008) Equivalent beams for carbon nanotubes. Comp Mater Sci 43: 345–352.
    [62] Ávila AF, Lacerda GSR (2008) Molecular mechanics applied to single-walled carbon nanotubes. Mater Res 11: 325–333. doi: 10.1590/S1516-14392008000300016
    [63] Shokrieh MM, Rafiee R (2010) Prediction of Young's modulus of graphene sheets and carbon nanotubes using nanoscale continuum mechanics approach. Mater Design 31: 790–795. doi: 10.1016/j.matdes.2009.07.058
    [64] Her SC, Liu SJ (2012) Theoretical prediction of tensile behavior of single-walled carbon nanotubes. Curr Nanosci 8: 42–46. doi: 10.2174/1573413711208010042
    [65] Lu X, Hu Z (2012) Mechanical property evaluation of single-walled carbon nanotubes by finite element modeling. Compos Part B-Eng 43: 1902–1913. doi: 10.1016/j.compositesb.2012.02.002
    [66] Mohammadpour E, Awang M (2011) Predicting the nonlinear tensile behavior of carbon nanotubes using finite element simulation. Appl Phys A-Mater 104: 609–614.
    [67] Ghadyani G, Öchsner A (2015) Derivation of a universal estimate for the stiffness of carbon nanotubes. Physica E 73: 116–125. doi: 10.1016/j.physe.2015.05.024
    [68] Giannopoulos GI, Tsiros AP, Georgantzinos SK (2013) Prediction of Elastic Mechanical Behavior and Stability of Single-Walled Carbon Nanotubes Using Bar Elements. Mech Adv Mater Struct 20: 730–741. doi: 10.1080/15376494.2012.676714
    [69] Nasdala L, Ernst G (2005) Development of a 4-node finite element for the computation of nano-structured materials. Comp Mater Sci 33: 443–458. doi: 10.1016/j.commatsci.2004.09.047
    [70] Budyka MF, Zyubina TS, Ryabenko AG, et al. (2005) Bond lengths and diameters of armchair single wall carbon nanotubes. Chem Phys Lett 407: 266–271. doi: 10.1016/j.cplett.2005.03.088
    [71] Ghadyani G, Öchsner A (2015) On a thickness free expression for the stiffness of carbon nanotubes. Solid State Commun 209: 38–44.
    [72] Pereira AFG, Antunes JM, Fernandes JV, et al. (2016) Shear modulus and Poisson's ratio of single-walled carbon nanotubes: numerical evaluation. Phys Status Solidi B 253: 366–376. doi: 10.1002/pssb.201552320
    [73] Krishnan A, Dujardin E, Ebbesen TW, et al. (1998) Young's modulus of single-walled nanotubes. Phys Rev B 58: 14013–14018. doi: 10.1103/PhysRevB.58.14013
    [74] Yu MF, Files BS, Arepalli S, et al. (2000) Tensile loading of ropes of single wall carbon nanotubes and their mechanical properties. Phys Rev Lett 84: 5552–5554. doi: 10.1103/PhysRevLett.84.5552
    [75] Shen L, Li J (2004) Transversely isotropic elastic properties of single-walled carbon nanotubes. Phys Rev B 69: 045414. doi: 10.1103/PhysRevB.69.045414
    [76] Ghadyani G, Soufeiani L, Ӧchsner A (2017) Angle dependence of the shear behaviour of asymmetric carbon nanotubes. Mater Design 116:136–143. doi: 10.1016/j.matdes.2016.11.097
    [77] Xiao JR, Gama BA, Gillespie Jr JW (2005) An analytical molecular structural mechanics model for the mechanical properties of carbon nanotubes. Int J Solids Struct 42: 3075–3092. doi: 10.1016/j.ijsolstr.2004.10.031
    [78] Wu Y, Zhang X, Leung AYT, et al. (2006) An energy-equivalent model on studying the mechanical properties of single-walled carbon nanotubes. Thin Wall Struct 44: 667–676. doi: 10.1016/j.tws.2006.05.003
    [79] Rahmandoust M, Öchsner A (2012) On finite element modeling of single- and multi-walled carbon nanotubes. J Nanosci Nanotechnol 12: 8129–8136. doi: 10.1166/jnn.2012.4521
    [80] Domínguez-Rodríguez G, Tapia A, Avilés F (2014) An assessment of finite element analysis to predict the elastic modulus and Poisson's ratio of singlewall carbon nanotubes. Comp Mater Sci 82: 257–263. doi: 10.1016/j.commatsci.2013.10.003
    [81] Popov VN, Van Doren VE, Balkanski M (2000) Elastic Properties of single-walled carbon nanotubes. Phys Rev B 61: 3078–3084.
    [82] Gao RP, Wang ZL, Bai ZG, et al. (2000) Nanomechanics of individual carbon nanotubes from pyrolytically grown arrays. Phys Rev Lett 85: 622–625. doi: 10.1103/PhysRevLett.85.622
    [83] Andrews R, Jacques D, Qian D, et al. (2001) Purification and structural annealing of multiwalled carbon nanotubes at graphitization temperatures. Carbon 39: 1681–1687. doi: 10.1016/S0008-6223(00)00301-8
    [84] Terrones M, Banhart F, Grobert N, et al. (2002) Molecular junctions by joining single-walled carbon nanotubes. Phys Rev Lett 89: 075505. doi: 10.1103/PhysRevLett.89.075505
    [85] Scarpa F, Adhikari S, Wang CY (2009) Mechanical properties of non-reconstructed defective single-wall carbon nanotubes. J Phys D Appl Phys 42: 142002. doi: 10.1088/0022-3727/42/14/142002
    [86] Parvaneh V, Shariati M, Torabi H (2012) Bending buckling behavior of perfect and defective single-walled carbon nanotubes via a structural mechanics model. Acta Mech 223: 2369–2378. doi: 10.1007/s00707-012-0711-3
    [87] Rahmandoust M, Öchsner A (2009) Influence of structural imperfections and doping on the mechanical properties of single-walled carbon nanotubes. J Nano Res 6: 185–196. doi: 10.4028/www.scientific.net/JNanoR.6.185
    [88] Ghavamian A, Rahmandoust M, Öchsner A (2012) A numerical evaluation of the influence of defects on the elastic modulus of single and multi-walled carbon nanotubes. Comp Mater Sci 62: 110–116. doi: 10.1016/j.commatsci.2012.05.003
    [89] Ghavamian A, Öchsner A (2012) Numerical investigation on the influence of defects on the buckling behavior of single-and multi-walled carbon nanotubes. Physica E 46: 241–249. doi: 10.1016/j.physe.2012.08.002
    [90] Ghavamian A, Öchsner A (2013) Numerical modeling of eigenmodes and eigenfrequencies of single- and multi-walled carbon nanotubes under the influence of atomic defects. Comp Mater Sci 72: 42–48. doi: 10.1016/j.commatsci.2013.02.002
    [91] Poelma RH, Sadeghian H, Koh S, et al. (2012) Effects of single vacancy defect position on the stability of carbon nanotubes. Microelectron Reliab 52: 1279–1284. doi: 10.1016/j.microrel.2012.03.015
    [92] Sakharova NA, Pereira AFG, Antunes JM, et al. (2016) Numerical simulation study of the elastic properties of single-walled carbon nanotubes containing vacancy defects. Compos Part B-Eng 89: 155–168. doi: 10.1016/j.compositesb.2015.11.029
    [93] Sakharova NA, Antunes JM, Pereira AFG, et al. (2015) The effect of vacancy defects on the evaluation of the mechanical properties of single-wall carbon nanotubes: Numerical simulation study, In: Öchsner A, Altenbach H, Springer Book Series On Advanced Structured Materials: Mechanical and Materials Engineering of Modern Structure and Component Design, Germany: Springer, 70: 323–339.
    [94] Wong CH (2010) Elastic properties of imperfect single-walled carbon nanotubes under axial tension. Comp Mater Sci 49: 143–147. doi: 10.1016/j.commatsci.2010.04.037
    [95] Rafiee R, Pourazizi R (2014) Evaluating the Influence of Defects on the Young's Modulus of Carbon Nanotubes Using Stochastic Modeling. Mater Res 17: 758–766. doi: 10.1590/S1516-14392014005000071
    [96] Zhang YP, Ling CC, Li GX, et al. (2015) Radial collapse and physical mechanism of carbon nanotube with divacancy and 5-8-5 defects. Chinese Phys B 24: 046401. doi: 10.1088/1674-1056/24/4/046401
    [97] Rafiee R, Mahdavi M (2016) Molecular dynamics simulation of defected carbon nanotubes. P I Mech Eng L-J Mat 230: 654–662.
    [98] Sharma S, Chandra R, Kumar P, et al. (2014) Effect of Stone-Wales and vacancy defects on elastic moduli of carbon nanotubes and their composites using molecular dynamics simulation. Comp Mater Sci 86: 1–8. doi: 10.1016/j.commatsci.2014.01.035
    [99] Saxena KK, Lal A (2012) Comparative molecular dynamics simulation study of mechanical properties of carbon nanotubes with number of Stone-Wales and vacancy defects. Procedia Eng 38: 2347–2355. doi: 10.1016/j.proeng.2012.06.280
    [100] Yuan J, Liew KM (2009) Effects of vacancy defect reconstruction on the elastic properties of carbon nanotubes. Carbon 47: 1526–1533. doi: 10.1016/j.carbon.2009.01.048
    [101] Xiao S, Hou W (2006) Fracture of vacancy-defected carbon nanotubes and their embedded nanocomposites. Phys Rev B 73: 115406. doi: 10.1103/PhysRevB.73.115406
    [102] Kurita H, Estili M, Kwon H, et al. (2015) Load-bearing contribution of multi-walled carbon nanotubes on tensile response of aluminium. Compos Part A-Appl S 68: 133–139.
    [103] Kharissova OV, Kharisov BI (2014) Variations of interlayer spacing in carbon nanotubes. RSC Adv 58: 30807–30815.
    [104] Kiang CH, Endo M, Ajayan PM, et al. (1998) Size effects in carbon nanotubes. Phys Rev Lett 81: 1869–1872. doi: 10.1103/PhysRevLett.81.1869
    [105] Li C, Chou TW (2003) Elastic moduli of multi-walled carbon nanotubes and the effect of van der Waals forces. Comp Sci Tech 63: 1517–1524. doi: 10.1016/S0266-3538(03)00072-1
    [106] Fan CW, Liu YY, Hwu C (2009) Finite element simulation for estimating the mechanical properties of multi-walled carbon nanotubes. Appl Phys A-Mater 5: 819–831.
    [107] Nahas MN, Abd-Rabou M (2010) Finite element modeling of multi-walled carbon nanotubes. Int J Eng Technol 10: 63–71.
    [108] Sakharova NA, Pereira AFG, Antunes JM, et al. (2017) Numerical simulation on the mechanical behaviour of the multi-walled carbon nanotubes. J Nano Res 47: 106–119. doi: 10.4028/www.scientific.net/JNanoR.47.106
    [109] Liu Q, Liu W, Cui ZM, et al. (2007) Synthesis and characterization of 3D double branched K junction carbon nanotubes and nanorods. Carbon 45: 268–273. doi: 10.1016/j.carbon.2006.09.029
    [110] Scarpa F, Narojczyk JW, Wojciechowski KW (2011) Unusual deformation mechanisms in carbon nanotube heterojunctions (5, 5)–(10, 10) under tensile loading. Phys Status Solidi B 248: 82–87. doi: 10.1002/pssb.201083984
    [111] Lee WJ, Su WS (2013) Investigation into the mechanical properties of single-walled carbon nanotube heterojunctions. Phys Chem Chem Phys 15: 11579–11585. doi: 10.1039/c3cp51340h
    [112] Kang Z, Li M, Tang Q (2010) Buckling behavior of carbon nanotube-based intramolecular junctions under compression: Molecular dynamics simulation and finite element analysis. Comp Mater Sci 50: 253–259. doi: 10.1016/j.commatsci.2010.08.011
    [113] Kinoshita Y, Murashima M, Kawachi M, et al. (2013) First-principles study of mechanical properties of one-dimensional carbon nanotube intramolecular junctions. Comp Mater Sci 70: 1–7. doi: 10.1016/j.commatsci.2012.12.033
    [114] Xi H, Song HY, Zou R (2015) Simulation of mechanical properties of carbon nanotubes with superlattice structure. Curr Appl Phys 15: 1216–1221. doi: 10.1016/j.cap.2015.07.008
    [115] Yengejeh SI, Zadeh MA, Öchsner A (2014) On the buckling behavior of connected carbon nanotubes with parallel longitudinal axes. Appl Phys A-Mater 115: 1335–1344. doi: 10.1007/s00339-013-7999-2
    [116] Ghavamian A, Öchsner A (2015) A comprehensive numerical investigation on the mechanical properties of hetero-junction carbon nanotubes. Commun Theor Phys 64: 215–230. doi: 10.1088/0253-6102/64/2/215
    [117] Hemmatian H, Fereidoon A, Rajabpour M (2014) Mechanical properties investigation of defected, twisted, elliptic, bended and hetero-junction carbon nanotubes based on FEM. Fuller Nanotub Car N 22: 528–544. doi: 10.1080/1536383X.2012.684183
    [118] Rajabpour M, Hemmatian H, Fereidoon A (2011) Investigation of Length and Chirality Effects on Young's Modulus of Heterojunction Nanotube with FEM. Proceedings of the 2nd International Conference on Nanotechnology: Fundamentals and Applications, Ottawa, Ontario, Canada.
    [119] Yengejeh SI, Zadeh MA, Öchsner A (2015) On the tensile behavior of hetero-junction carbon nanotubes. Compos Part B-Eng 75: 274–280. doi: 10.1016/j.compositesb.2015.02.001
    [120] Yengejeh SI, Zadeh MA, Öchsner A (2014) Numerical characterization of the shear behavior of hetero-junction carbon nanotubes. J Nano Res 26: 143–151.
  • This article has been cited by:

    1. Hongmei Zhang, Mengchen Zhang, Fawang Liu, Ming Shen, Review of the Fractional Black-Scholes Equations and Their Solution Techniques, 2024, 8, 2504-3110, 101, 10.3390/fractalfract8020101
    2. Xindong Zhang, Yuelong Feng, Ziyang Luo, Juan Liu, A spatial sixth-order numerical scheme for solving fractional partial differential equation, 2025, 159, 08939659, 109265, 10.1016/j.aml.2024.109265
    3. Xiurong Dai, Malik Zaka Ullah, An Efficient Higher-Order Numerical Scheme for Solving Fractional Black-Scholes PDE Using Analytical Weights, 2024, 48, 2731-8095, 423, 10.1007/s40995-024-01588-x
  • Reader Comments
  • © 2017 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Article views(6665) PDF downloads(1074) Cited by(14)

Figures and Tables

Figures(8)  /  Tables(7)

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog