{'fraction_non_alphanumeric': 0.029787234042553193, 'fraction_numerical': 0.010212765957446808, 'mean_word_length': 5.32258064516129, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Microlocal Diagonalization of Strictly Hyperbolic Pseudodifferential Systems and Application to the Design of Radiation Conditions in Electromagnetism

In [ Comm. Pure Appl. Math., 28 (1975), pp. 457--478], M. E. Taylor describes a constructive diagonalization method to investigate the reflection of singularities of the solution to first-order hyperbolic systems. According to further works initiated by Engquist and Majda, this approach proved to be well adapted to the construction of artificial boundary conditions. However, in the case of systems governed by pseudodifferential operators with variable coefficients, Taylor's method involves very elaborate calculations of the symbols of the operators. Hence, a direct approach may be difficult when dealing with high-order conditions. This motivates the first part of this paper, where a recursive explicit formulation of Taylor's method is stated for microlocally strictly hyperbolic systems. Consequently, it provides an algorithm leading to symbolic calculations which can be handled by a computer algebra system. In the second part, an application of the method is investigated for the construction of local radi...