Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userTo Infinity and Beyond: Some ODE and PDE Case Studies
42
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
When mathematical/computational problems reach infinity, extending analysis and/or numerical computation beyond it becomes a notorious challenge. We suggest that, upon suitable singular transformations (that can in principle be computationally detected on the fly) it becomes possible to go beyond infinity to the other side, with the solution becoming again well behaved and the computations continuing normally. In our lumped, Ordinary Differential Equation (ODE) examples this infinity crossing can happen instantaneously; at the spatially distributed, Partial Differential Equation (PDE) level the crossing of infinity may even persist for finite time, necessitating the introduction of conceptual (and computational) buffer zones in which an appropriate singular transformation is continuously (locally) detected and performed. These observations (and associated tools) could set the stage for a systematic approach to bypassing infinity (and thus going beyond it) in a broader range of evolution equations; they also hold the promise of meaningfully and seamlessly performing the relevant computations. Along the path of our analysis, we present a regularization process via complexification and explore its impact on the dynamics; we also discuss a set of compactification transformations and their intuitive implications.
rate research
Read More
Motivated by engineering applications of subsea installation by deepwater construction vessels in oil drilling, and of aid delivery by unmanned aerial vehicles in disaster relief, we develop output-feedback boundary control of heterodirectional coupled hyperbolic PDEs sandwiched between two ODEs, where the measurement is the output state of one ODE and suffers a time delay. After rewriting the time-delay dynamics as a transport PDE of which the left boundary connects with the sandwiched system, a state observer is built to estimate the states of the overall system of ODE-heterodirectional coupled hyperbolic PDEs-ODE-transport PDE using the right boundary state of the last transport PDE. An observer-based output-feedback controller acting at the first ODE is designed to stabilize the overall system using backstepping transformations and frequency-domain designs. The exponential stability results of the closed-loop system, boundedness and exponential convergence of the control input are proved. The obtained theoretical result is applied to control of a deepwater oil drilling construction vessel as a simulation case, where the simulation results show the proposed control design reduces cable oscillations and places the oil drilling equipment to be installed in the target area on the sea floor. Performance deterioration under extreme and unmodeled disturbances is also illustrated.
Many economic-theoretic models incorporate finiteness assumptions that, while introduced for simplicity, play a real role in the analysis. Such assumptions introduce a conceptual problem, as results that rely on finiteness are often implicitly nonrobust; for example, they may depend upon edge effects or artificial boundary conditions. Here, we present a unified method that enables us to remove finiteness assumptions, such as those on market sizes, time horizons, and datasets. We then apply our approach to a variety of matching, exchange economy, and revealed preference settings. The key to our approach is Logical Compactness, a core result from Propositional Logic. Building on Logical Compactness, in a matching setting, we reprove large-market existence results implied by Fleiners analysis, and (newly) prove both the strategy-proofness of the man-optimal stable mechanism in infinite markets and an infinite-market version of Nguyen and Vohras existence result for near-feasible stable matchings with couples. In a trading-network setting, we prove that the Hatfield et al. result on existence of Walrasian equilibria extends to infinite markets. In a dynamic matching setting, we prove that Pereyras existence result for dynamic two-sided matching markets extends to a doubly infinite time horizon. Finally, beyond existence and characterization of solutions, in a revealed-preference setting we reprove Renys infinite-data version of Afriats theorem and (newly) prove an infinite-data version of McFadden and Richters characterization of rationalizable stochastic datasets.
We present a new paradigm for Neural ODE algorithms, called ODEtoODE, where time-dependent parameters of the main flow evolve according to a matrix flow on the orthogonal group O(d). This nested system of two flows, where the parameter-flow is constrained to lie on the compact manifold, provides stability and effectiveness of training and provably solves the gradient vanishing-explosion problem which is intrinsically related to training deep neural network architectures such as Neural ODEs. Consequently, it leads to better downstream models, as we show on the example of training reinforcement learning policies with evolution strategies, and in the supervised learning setting, by comparing with previous SOTA baselines. We provide strong convergence results for our proposed mechanism that are independent of the depth of the network, supporting our empirical studies. Our results show an intriguing connection between the theory of deep neural networks and the field of matrix flows on compact manifolds.
We prove the entropy conjecture of M. Barge from 1989: for every $rin [0,infty]$ there exists a pseudo-arc homeomorphism $h$, whose topological entropy is $r$. Until now all pseudo-arc homeomorphisms with known entropy have had entropy $0$ or $infty$.
The Kuramoto-Sivashinsky equation is a prototypical chaotic nonlinear partial differential equation (PDE) in which the size of the spatial domain plays the role of a bifurcation parameter. We investigate the changing dynamics of the Kuramoto-Sivashinsky PDE by calculating the Lyapunov spectra over a large range of domain sizes. Our comprehensive computation and analysis of the Lyapunov exponents and the associated Kaplan-Yorke dimension provides new insights into the chaotic dynamics of the Kuramoto-Sivashinsky PDE, and the transition to its 1D turbulence.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
