# American Institute of Mathematical Sciences

• Previous Article
Conditional regularity for the 3D Navier-Stokes equations in terms of the middle eigenvalue of the strain tensor
• EECT Home
• This Issue
• Next Article
New results on controllability of fractional evolution systems with order $\alpha\in (1,2)$
doi: 10.3934/eect.2021003

## A canonical model of the one-dimensional dynamical Dirac system with boundary control

 1 St. Petersburg Department of Steklov Mathematical Institute, Fontanka 27, St. Petersburg, 191023 Russia 2 St. Petersburg State University, 7–9 Universitetskaya nab., St. Petersburg, 199034 Russia

Received  July 2020 Published  January 2021

Fund Project: The first author is supported by the RFBR grant 20-01 627A and Volkswagen Foundation. The second author is supported by the RFBR grant 19-01-00565A

The one-dimensional Dirac dynamical system
 $\Sigma$
is
 \begin{align*} & iu_t+i\sigma_{\!_3}\, u_x+Vu = 0, \, \, \, \, x, t>0;\, \, \, u|_{t = 0} = 0, \, \, x>0;\, \, \, \, u_1|_{x = 0} = f, \, \, t>0, \end{align*}
where
 $\sigma_{\!_3} = \begin{pmatrix}1&0 \\ 0&-1\end{pmatrix}$
is the Pauli matrix;
 $V = \begin{pmatrix}0&p\\ \bar p&0\end{pmatrix}$
with
 $p = p(x)$
is a potential;
 $u = \begin{pmatrix}u_1^f(x, t) \\ u_2^f(x, t)\end{pmatrix}$
is the trajectory in
 $\mathscr H = L_2(\mathbb R_+;\mathbb C^2)$
;
 $f\in\mathscr F = L_2([0, \infty);\mathbb C)$
is a boundary control. System
 $\Sigma$
is not controllable: the total reachable set
 $\mathscr U = {\rm span}_{t>0}\{u^f(\cdot, t)\, |\, \, f\in \mathscr F\}$
is not dense in
 $\mathscr H$
, but contains a controllable part
 $\Sigma_u$
. We construct a dynamical system
 $\Sigma_a$
, which is controllable in
 $L_2(\mathbb R_+;\mathbb C)$
and connected with
 $\Sigma_u$
via a unitary transform. The construction is based on geometrical optics relations: trajectories of
 $\Sigma_a$
are composed of jump amplitudes that arise as a result of projecting in
 $\overline{\mathscr U}$
onto the reachable sets
 $\mathscr U^t = \{u^f(\cdot, t)\, |\, \, f\in \mathscr F\}$
. System
 $\Sigma_a$
, which we call the amplitude model of the original
 $\Sigma$
, has the same input/output correspondence as system
 $\Sigma$
. As such,
 $\Sigma_a$
provides a canonical completely reachable realization of the Dirac system.
Citation: Mikhail I. Belishev, Sergey A. Simonov. A canonical model of the one-dimensional dynamical Dirac system with boundary control. Evolution Equations & Control Theory, doi: 10.3934/eect.2021003
##### References:
 [1] M. I. Belishev, A unitary invariant of a semi-bounded operator in reconstruction of manifolds, Journal of Operator Theory, 69 (2013), 299-326.  doi: 10.7900/jot.2010oct22.1925.  Google Scholar [2] M. I. Belishev, Boundary control method, in Encyclopedia of Applied and Computational Mathematics, (2015), 142–146. doi: 10.1007/978-3-540-70529-1_7.  Google Scholar [3] M. I. Belishev, Boundary control and tomography of Riemannian manifolds, Russian Mathematical Surveys, 72 (2017), 581-644.  doi: 10.4213/rm9768.  Google Scholar [4] M. I. Belishev and V. S. Mikhaylov, Inverse problem for one-dimensional dynamical Dirac system (BC-method), Inverse Problems, 30 (2014), 125013, 1–26. doi: 10.1088/0266-5611/30/12/125013.  Google Scholar [5] M. I. Belishev and S. A. Simonov, Wave model of the Sturm-Liouville operator on the half-line, St. Petersburg Math. J., 29 (2018), 227-248.  doi: 10.1090/spmj/1491.  Google Scholar [6] M. I. Belishev and S. A. Simonov, A wave model of metric spaces, Functional Analysis and Its Applications, 53 (2019), 79-85.  doi: 10.1134/S0016266319020011.  Google Scholar [7] M. I. Belishev and S. A. Simonov, A wave model of metric space with measure, Sbornik: Mathematics, 211 (2020), 521-538.   Google Scholar [8] M. I. Belishev and S. A. Simonov, On evolutionary first-order dynamical system with boundary control, Zapiski Nauchnykh Seminarov POMI, in Russian, 483 (2019), 41–54.  Google Scholar [9] I. C. Gohberg and M. G. Krein, Theory and Applications of Volterra Operators in Hilbert Space, Transl. of Monographs No. 24, Amer. Math. Soc, Providence. Rhode Island, 1970.  Google Scholar [10] R. E. Kalman, P. L. Falb and M. A. Arbib, Topics in Mathematical System Theory, New-York: McGraw-Hill, 1969.  Google Scholar

show all references

##### References:
 [1] M. I. Belishev, A unitary invariant of a semi-bounded operator in reconstruction of manifolds, Journal of Operator Theory, 69 (2013), 299-326.  doi: 10.7900/jot.2010oct22.1925.  Google Scholar [2] M. I. Belishev, Boundary control method, in Encyclopedia of Applied and Computational Mathematics, (2015), 142–146. doi: 10.1007/978-3-540-70529-1_7.  Google Scholar [3] M. I. Belishev, Boundary control and tomography of Riemannian manifolds, Russian Mathematical Surveys, 72 (2017), 581-644.  doi: 10.4213/rm9768.  Google Scholar [4] M. I. Belishev and V. S. Mikhaylov, Inverse problem for one-dimensional dynamical Dirac system (BC-method), Inverse Problems, 30 (2014), 125013, 1–26. doi: 10.1088/0266-5611/30/12/125013.  Google Scholar [5] M. I. Belishev and S. A. Simonov, Wave model of the Sturm-Liouville operator on the half-line, St. Petersburg Math. J., 29 (2018), 227-248.  doi: 10.1090/spmj/1491.  Google Scholar [6] M. I. Belishev and S. A. Simonov, A wave model of metric spaces, Functional Analysis and Its Applications, 53 (2019), 79-85.  doi: 10.1134/S0016266319020011.  Google Scholar [7] M. I. Belishev and S. A. Simonov, A wave model of metric space with measure, Sbornik: Mathematics, 211 (2020), 521-538.   Google Scholar [8] M. I. Belishev and S. A. Simonov, On evolutionary first-order dynamical system with boundary control, Zapiski Nauchnykh Seminarov POMI, in Russian, 483 (2019), 41–54.  Google Scholar [9] I. C. Gohberg and M. G. Krein, Theory and Applications of Volterra Operators in Hilbert Space, Transl. of Monographs No. 24, Amer. Math. Soc, Providence. Rhode Island, 1970.  Google Scholar [10] R. E. Kalman, P. L. Falb and M. A. Arbib, Topics in Mathematical System Theory, New-York: McGraw-Hill, 1969.  Google Scholar
 [1] Dugan Nina, Ademir Fernando Pazoto, Lionel Rosier. Controllability of a 1-D tank containing a fluid modeled by a Boussinesq system. Evolution Equations & Control Theory, 2013, 2 (2) : 379-402. doi: 10.3934/eect.2013.2.379 [2] Teddy Pichard. A moment closure based on a projection on the boundary of the realizability domain: 1D case. Kinetic & Related Models, 2020, 13 (6) : 1243-1280. doi: 10.3934/krm.2020045 [3] Yumi Yahagi. Construction of unique mild solution and continuity of solution for the small initial data to 1-D Keller-Segel system. Discrete & Continuous Dynamical Systems - B, 2021  doi: 10.3934/dcdsb.2021099 [4] Elena K. Kostousova. External polyhedral estimates of reachable sets of discrete-time systems with integral bounds on additive terms. Mathematical Control & Related Fields, 2021  doi: 10.3934/mcrf.2021015 [5] Johannes Kellendonk, Lorenzo Sadun. Conjugacies of model sets. Discrete & Continuous Dynamical Systems, 2017, 37 (7) : 3805-3830. doi: 10.3934/dcds.2017161 [6] Michel Chipot, Mingmin Zhang. On some model problem for the propagation of interacting species in a special environment. Discrete & Continuous Dynamical Systems, 2021, 41 (7) : 3141-3161. doi: 10.3934/dcds.2020401 [7] Emma D'Aniello, Saber Elaydi. The structure of $\omega$-limit sets of asymptotically non-autonomous discrete dynamical systems. Discrete & Continuous Dynamical Systems - B, 2020, 25 (3) : 903-915. doi: 10.3934/dcdsb.2019195 [8] Xu Zhang, Xiang Li. Modeling and identification of dynamical system with Genetic Regulation in batch fermentation of glycerol. Numerical Algebra, Control & Optimization, 2015, 5 (4) : 393-403. doi: 10.3934/naco.2015.5.393 [9] Serena Brianzoni, Giovanni Campisi. Dynamical analysis of a banking duopoly model with capital regulation and asymmetric costs. Discrete & Continuous Dynamical Systems - B, 2021  doi: 10.3934/dcdsb.2021116 [10] Maolin Cheng, Yun Liu, Jianuo Li, Bin Liu. Nonlinear Grey Bernoulli model NGBM (1, 1)'s parameter optimisation method and model application. Journal of Industrial & Management Optimization, 2021  doi: 10.3934/jimo.2021054 [11] Wenmin Gong, Guangcun Lu. On coupled Dirac systems. Discrete & Continuous Dynamical Systems, 2017, 37 (8) : 4329-4346. doi: 10.3934/dcds.2017185 [12] Christophe Zhang. Internal rapid stabilization of a 1-D linear transport equation with a scalar feedback. Mathematical Control & Related Fields, 2021  doi: 10.3934/mcrf.2021006 [13] Beixiang Fang, Qin Zhao. Uniqueness of steady 1-D shock solutions in a finite nozzle via vanishing viscosity aguments. Communications on Pure & Applied Analysis, , () : -. doi: 10.3934/cpaa.2021066 [14] Reza Mazrooei-Sebdani, Zahra Yousefi. The coupled 1:2 resonance in a symmetric case and parametric amplification model. Discrete & Continuous Dynamical Systems - B, 2021, 26 (7) : 3737-3765. doi: 10.3934/dcdsb.2020255 [15] Qiao Liu. Partial regularity and the Minkowski dimension of singular points for suitable weak solutions to the 3D simplified Ericksen–Leslie system. Discrete & Continuous Dynamical Systems, 2021  doi: 10.3934/dcds.2021041 [16] Francis Hounkpe, Gregory Seregin. An approximation of forward self-similar solutions to the 3D Navier-Stokes system. Discrete & Continuous Dynamical Systems, 2021  doi: 10.3934/dcds.2021059 [17] José Raúl Quintero, Juan Carlos Muñoz Grajales. On the existence and computation of periodic travelling waves for a 2D water wave model. Communications on Pure & Applied Analysis, 2018, 17 (2) : 557-578. doi: 10.3934/cpaa.2018030 [18] Shihu Li, Wei Liu, Yingchao Xie. Large deviations for stochastic 3D Leray-$\alpha$ model with fractional dissipation. Communications on Pure & Applied Analysis, 2019, 18 (5) : 2491-2509. doi: 10.3934/cpaa.2019113 [19] Tuan Hiep Pham, Jérôme Laverne, Jean-Jacques Marigo. Stress gradient effects on the nucleation and propagation of cohesive cracks. Discrete & Continuous Dynamical Systems - S, 2016, 9 (2) : 557-584. doi: 10.3934/dcdss.2016012 [20] Michael Schmidt, Emmanuel Trélat. Controllability of couette flows. Communications on Pure & Applied Analysis, 2006, 5 (1) : 201-211. doi: 10.3934/cpaa.2006.5.201

2019 Impact Factor: 0.953

Article outline