Nonlinear dynamical systems arising in biological, physical and chemical sciences are often subject to random influences, which are also known as noise. Stochastic differential equations are appropriate models for some of these systems. The noise in these stochastic differential equations may be Gaussian or non-Gaussian in nature. Non-Gaussianity of the noise manifests as nonlocality at some macroscopic level. In addition, randomness may have delicate, or even profound, impact on the overall evolution of dynamical systems. The speaker will present an overview of some available theoretical and numerical techniques for analyzing stochastic dynamical systems, especially escape probability, mean exit time, invariant manifolds, bifurcation and quantifying the impact of uncertainty. The differences in dynamics under Gaussian and non-Gaussian noises are highlighted, theoretically or numerically.
The Shoenfield absoluteness theorem states that if M is any transitive model of set theory containing all countable ordinals then M agrees on the truth of \Sigma^1_2 sentences with V. We present the proof of the theorem and discuss several related results.
Skew products over subshifts of finite type naturally appear when one attempts to apply the methods of classical dynamical systems to random dynamical systems. There is also a close connection between these skew products and partially hyperbolic dynamical systems on smooth manifolds.
Even for the fiber dimension equal to one, we are far from understanding what typical skew products look like. During the last 30 years there appeared several papers studying the skew products with a circle fiber. I will talk about the case when the fiber is an interval, and fiber maps are orientation-preserving diffeomorphisms.
In the work joint with V. Kleptsyn, we developed a theorem which gives us a complete* description of the dynamics of typical step skew products (fiber map depends only on a single symbol in the base sequence). We also obtained a similar result for generic skew products using an additional assumption of partial-hyperbolic nature.
*except some subset which projects onto zero measure set in the base
The need to take stochastic effects into account for modeling complex systems has now become
widely recognized. Stochastic partial differential equations arise naturally as mathematical
models for multiscale systems under random influences. We consider macroscopic dynamics of
microscopic systems described by stochastic partial differential equations. The microscopic
systems are characterized by small scale heterogeneities (spatial domain with small holes or
oscillating coefficients), or fast scale boundary impact (random dynamic boundary condition),
among others.
Effective macroscopic model for such stochastic microscopic systems are derived. The effective
model s are still stochastic partial differential equations, but defined on a unified spatial domain
and the random impact is represented by extra components in the effective models. The
solutions of the microscopic models are shown to converge to those of the effective macroscopic
models in probability distribution, as the size of holes or the scale separation parameter
diminishes to zero. Moreover, the long time effectivity of the macroscopic system in the sense of
convergence in probability distribution, and in the sense of convergence in energy are also
proved.
A very useful technique in homological algebra, is the Basic Peturbation Lemma which tells how cohomology of a complex changes when a differential is perturbed. It has numerous applications in algebra, topology, and computational methods in algebra; some of which will be reviewed in the talk.
The classical Noether-Lefschets Theorem states that for a sufficiently general surface S in P^3 the only algebraic curves lying on S are the complete intersections. In 2010 we proved an extension of this result to surfaces (and higher dimensional hypersurfaces in P^n) containing a fixed base locus. I will discuss this result and the describe how it can be applied together with tools from complex geometry and formal power series, to the study of class groups of local rings, in particular how they vary within an analytic isomorphism class. Among other things, we prove that any hypersurface singularity is analytically isomorphic to one whose local ring is a UFD and give a complete classification of the possible class groups for rational double point surface singularities.
Springer theory is a branch of geometric representation theory revolving around objects such as the nilpotent cone, flag variety, and Weyl group, and which received significant study in the 70's and 80's. We will give a brief review of Springer theory, while emphasizing parallels between the adjoint quotient map of Lie theory and the Hitchin fibration. We will then explain a "global" version of Springer theory in the context of the Hitchin fibration and global nilpotent cone, and discuss a recent construction of a resolution of singularities of the global nilpotent cone in the case of SL_2. Whatever time remains will be spent discussing conjectures on how to move forward from here.
I will present low-order models for fluid-structure interactions in fish locomotion and comment on both active (controlled) and passive (open-loop) dynamics and stability. I will also discuss a finite dipole model. The motivation for the latter is to develop scalable models for fish schooling that account for the role of hydrodynamic coupling among the fish in a school. The finite dipole model exhibits interesting dynamics. I conclude by commenting on the advantages and limitations of such low-order modeling approach.