Search

In this study, we consider particle-laden flows on an inclined plane under the effect of gravity. Previous experimental works have noted that a particle-rich ridge is generated near the contact line. We investigate the bump structure observed in particle-rich ridges in terms of Lax’s shock waves in the mathematical theory of conservation laws, explicitly considering the effect of particles with nontrivial radii on morphology of particle-laden flows. We also extract the dependence of radius and concentration of particles on the bump structure.

We propose a verification method for specification of homoclinic orbits as application of our previous work for constructing local Lyapunov functions by verified numerics. Our goal is to specify parameters appeared in the given systems of ordinary differential equations (ODEs) which admit homoclinic orbits to equilibria. Here we restrict ourselves to cases that each equilibrium is independent of parameters. The feature of our methods consists of Lyapunov functions, integration of ODEs by verified numerics, and Brouwer’s coincidence theorem on continuous mappings. Several techniques for constructing continuous mappings from a domain of parameter vectors to a region of the phase space are shown. We present numerical examples for problems in 3 and 4-dimensional cases.

In this paper, blow-up solutions of autonomous ordinary differential equations (ODEs) which are unstable under perturbations of initial points, referred to as saddle-type blow-up solutions, are studied. Combining dynamical systems machinery (e.g., compactifications, time-scale desingularizations of vector fields) with tools from computer-assisted proofs (e.g., rigorous integrators, the parameterization method for invariant manifolds), these blow-up solutions are obtained as trajectories on local stable manifolds of hyperbolic saddle equilibria at infinity. With the help of computer-assisted proofs, global trajectories on stable manifolds, inducing blow-up solutions, provide a global picture organized by global-in-time solutions and blow-up solutions simultaneously. Using the proposed methodology, intrinsic features of saddle-type blow-ups are observed: locally smooth dependence of blow-up times on initial points, level set distribution of blow-up times, and decomposition of the phase space playing a role as separatrixes among solutions, where the magnitude of initial points near those blow-ups does not matter for asymptotic behavior. Finally, singular behavior of blow-up times on initial points belonging to different family of blow-up solutions is addressed., Comment: 71 pages, 15 figures. The title is changed and the contents are arranged for readability in v2

We provide a numerical validation method of blow-up solutions for finite dimensional vector fields admitting asymptotic quasi-homogeneity at infinity. Our methodology is based on quasi-homogeneous compactifications containing quasi-parabolic-type and directional-type compactifications. Divergent solutions including blow-up solutions then correspond to global trajectories of associated vector fields with appropriate time-variable transformation tending to equilibria on invariant manifolds representing infinity. We combine standard methodology of rigorous numerical integration of differential equations with Lyapunov function validations around equilibria corresponding to divergent directions, which yields rigorous upper and lower bounds of blow-up time as well as rigorous profile enclosures of blow-up solutions.

In this paper, we consider the asymptotic behavior of traveling wave solutions of the degenerate nonlinear parabolic equation: $u_{t}=u^{p}(u_{xx}+u)-\delta u$ ($\delta = 0$ or $1$) for $\xi \equiv x - ct \to - \infty$ with $c>0$. We give a refined one of them, which was not obtain in the preceding work [Ichida-Sakamoto, 2020], by an appropriate asymptotic study and properties of the Lambert $W$ function.

Geometric treatments of blow-up solutions for autonomous ordinary differential equations and their blow-up rates are concerned. Our approach focuses on the type of invariant sets at infinity via compactifications of phase spaces, and dynamics on their center-stable manifolds. In particular, we show that dynamics on center-stable manifolds of invariant sets at infinity with appropriate time-scale desingularizations as well as blowing-up of singularities characterize dynamics of blow-up solutions as well as their rigorous blow-up rates. Similarities for characterizing finite-time extinction and asymptotic behavior of compacton traveling waves to blow-up solutions are also shown.

We define a quaternionic extension of the Szegedy walk on a graph and study its right spectral properties. The condition for the transition matrix of the quaternionic Szegedy walk on a graph to be quaternionic unitary is given. In order to derive the spectral mapping theorem for the quaternionic Szegedy walk, we derive a quaternionic extension of the determinant expression of the second weighted zeta function of a graph. Our main results determine explicitly all the right eigenvalues of the quaternionic Szegedy walk by using complex right eigenvalues of the corresponding doubly weighted matrix. We also show the way to obtain eigenvectors corresponding to right eigenvalues derived from those of doubly weighted matrix., Comment: 24 pages. arXiv admin note: text overlap with arXiv:1505.00683

金沢大学理工学域 数物科学系 名誉教授, In this paper, we propose an extension of quantum searches on graphs driven by quantum walks to simplicial complexes. To this end, we define a new quantum walk on simplicial complex which is an alternative of preceding studies by authors. We show that the quantum search on the specific simplicial complex corresponding to the triangulation of n-dimensional unit square driven by this new simplicial quantum walk works well, namely, a marked simplex can be found with probability 1+o(1) 1+o(1) within a time O(N − − √ ) O(N), where N is the number of simplices with the dimension of marked simplex., Embargo Period 12 months

This paper aims at applications of Lyapunov functions as tools for analyzing concrete dynamical systems with computer assistance, even for non-gradient-like systems. We want to know concrete form of Lyapunov functions around invariant sets and their domains of definition for applying Lyapunov functions to various analysis of both continuous and discrete dynamical systems. Although there are several abstract results for the existence of Lyapunov functions, they cannot induce a systematic and concrete procedure of Lyapunov functions with explicit forms. In this paper, we present a numerical verification method which can validate Lyapunov functions with explicit forms and their explicit domains of definition, which can be applied to arbitrary dynamical systems with (hyperbolic) equilibria or fixed points. The proposed procedure provides us with a powerful validation tool for analyzing asymptotic behavior of dynamical systems.

This note states the correction of arguments in the proof of Theorem 3.2 in the original paper.

We discuss the description of eigenspace of a quantum walk model $U$ with an associating linear operator $T$ in abstract settings of quantum walk including the Szegedy walk on graphs. In particular, we provide the spectral mapping theorem of $U$ without the spectral decomposition of $T$. Arguments in this direction reveal the eigenspaces of $U$ characterized by the generalized kernels of linear operators given by $T$., Comment: 17 pages

This article proposes a topological method that extracts hierarchical structures of various amorphous solids. The method is based on the persistence diagram (PD), a mathematical tool for capturing shapes of multiscale data. The input to the PDs is given by an atomic configuration and the output is expressed as 2D histograms. Then, specific distributions such as curves and islands in the PDs identify meaningful shape characteristics of the atomic configuration. Although the method can be applied to a wide variety of disordered systems, it is applied here to silica glass, the Lennard-Jones system, and Cu-Zr metallic glass as standard examples of continuous random network and random packing structures. In silica glass, the method classified the atomic rings as short-range and medium-range orders and unveiled hierarchical ring structures among them. These detailed geometric characterizations clarified a real space origin of the first sharp diffraction peak and also indicated that PDs contain information on elastic response. Even in the Lennard-Jones system and Cu-Zr metallic glass, the hierarchical structures in the atomic configurations were derived in a similar way using PDs, although the glass structures and properties substantially differ from silica glass. These results suggest that the PDs provide a unified method that extracts greater depth of geometric information in amorphous solids than conventional methods., Comment: 8 pages, 14 figures

We construct a new type of quantum walks on simplicial complexes as a natural extension of the well-known Szegedy walk on graphs. One can numerically observe that our proposing quantum walks possess linear spreading and localization as in the case of the Grover walk on lattices. Moreover, our numerical simulation suggests that localization of our quantum walks reflects not only topological but also geometric structures. On the other hand, our proposing quantum walk contains an intrinsic problem concerning exhibition of non-trivial behavior, which is not seen in typical quantum walks such as Grover walks on graphs. © 2016 Springer Science+Business Media New York, Embargo Period 12 months

Our concerns here are blow-up solutions for ODEs with exponential nonlinearity from the viewpoint of dynamical systems and their numerical validations. As an example, the finite difference discretization of u t = u x x + e u m with the homogeneous Dirichlet boundary condition is considered. Our idea is based on compactification of phase spaces and time-scale desingularization as in previous works. In the present case, treatment of exponential nonlinearity is the main issue. Fortunately, under a kind of exponential homogeneity of vector field, we can treat the problem in the same way as polynomial vector fields. In particular, we can characterize and validate blow-up solutions with their blow-up times for differential equations with such exponential nonlinearity in the similar way to previous works. A series of technical treatments of exponential nonlinearity in blow-up problems is also shown with concrete validation examples.

We show that discrete-time quantum walks on the line, $\mathbb{Z}$, behave as "the quantum tunneling". In particular, quantum walkers can tunnel through a double-well with the transmission probability $1$ under a mild condition. This is a property of quantum walks which cannot be seen on classical random walks, and is different from both linear spreadings and localizations., Comment: 14 pages, 2 figures to appear in "Quantum Studies: Mathematics and Foundations"

We propose a new approach for capturing bifurcations of (semi)flows by using a topological tool, the Conley index. We can apply this concept to capture bifurcations with rigorous numerics. As an example, we consider the dynamics generated by the Swift–Hohenberg PDE and show that a pitchfork-like bifurcation occurs in a certain region.

This paper focuses on blow-up solutions of ordinary differential equations (ODEs). We present a method for validating blow-up solutions and their blow-up times, which is based on compactifications and the Lyapunov function validation method. The necessary criteria for this construction can be verified using interval arithmetic techniques. Some numerical examples are presented to demonstrate the applicability of our method., Comment: Accepted version, to appear in Journal of Computational and Applied Mathematics

We provide a rigorous numerical computation method to validate periodic, homoclinic and heteroclinic orbits as the continuation of singular limit orbits for the fast-slow system $x' = f(x,y,\epsilon), y' = \epsilon g(x,y,\epsilon)$ with one-dimensional slow variable $y$. Our validation procedure is based on topological tools called isolating blocks, cone condition and covering relations. Such tools provide us with existence theorems of global orbits which shadow singular orbits in terms of a new concept, the covering-exchange. Additional techniques called slow shadowing and $m$-cones are also developed. These techniques give us not only generalized topological verification theorems, but also easy implementations for validating trajectories near slow manifolds in a wide range, via rigorous numerics. Our procedure is available to validate global orbits not only for sufficiently small $\epsilon > 0$ but all $\epsilon$ in a given half-open interval $(0,\epsilon_0]$. Several sample verification examples are shown as a demonstration of applicability., Comment: Rearranged whole contents of the manuscript (83 pages)