Nonlinear Partial Differential Equations
Date Time |
Location | Speaker | Title – click for abstract | |
---|---|---|---|---|
![]() |
01/21 09:00am |
Zoom | Cristiana De Filippis University of Parma |
mu- ellipticity and nonautonomous integrals
mu-ellipticity describes certain degenerate forms of ellipticity, typical of convex integrals at linear, or nearly linear growth such as the area integral, or the iterated logarithmic model. The regularity of solutions to autonomous or totally differentiable problems is classical after Bombieri and De Giorgi and Miranda, Ladyzhenskaya and Ural’tseva and Frehse and Seregin. The anisotropic case is a later achievement of Bildhauer, Fuchs and Mingione, Beck and Schmidt and Gmeineder and Kristensen, that provided a complete partial and full regularity theory. However, all the approaches developed so far break down in presence of nondifferentiable ingredients. In particular, Schauder theory for certain significant anisotropic, nonautonomous functionals with Hölder continuous coefficients was only recently obtained by Mingione and myself. I will give an overview of the latest progress on the validity of Schauder theory for anisotropic problems whose growth is arbitrarily close to linear within the maximal nonuniformity range, and discuss sharp results and deep insights on more general nonautonomous area type integrals. From recent, joint work with Filomena De Filippis (Parma), Giuseppe Mingione (Parma), and Mirco Piccinini (Pisa). |
![]() |
01/28 2:00pm |
BLOCKER 302 | Thomas Chen University of Texas Austin |
Explicit construction of global minimizers and the interpretability problem in Deep Learning
Deep Learning (DL) as a core subfield of Machine Learning and Artificial Intelligence is at the center of extraordinary technological progress. However, despite of remarkable advances in applications and theoretical analysis, the conceptual and rigorous reasons for the functioning of DL networks are at present not clearly understood (the problem of “interpretability"). In this talk, we present some recent results aimed at the rigorous mathematical understanding of how and why supervised learning works. For underparametrized DL networks, we explicitly construct global, zero loss cost minimizers for sufficiently clustered data. In addition, we derive effective equations governing the cumulative biases and weights, and show that gradient descent corresponds to a dynamical process in the input layer, whereby clusters of data are progressively reduced in complexity ("truncated") at an exponential rate that increases with the number of data points that have already been truncated. For overparametrized DL networks, we prove that the gradient descent flow is homotopy equivalent to a geometrically adapted flow that induces a (constrained) Euclidean gradient flow in output space. If a certain rank condition holds, the latter is, upon reparametrization of the time variable, equivalent to simple linear interpolation. This in turn implies zero loss minimization and the phenomenon known as "neural collapse”. A majority of this work is joint with Patricia Munoz Ewald (UT Austin). |
![]() |
01/28 3:00pm |
Blocker 302 | Abed ElRahman Hammoud Princeton University |
Artificial Intelligence for Downscaling: Application to Uncertain Chaotic Systems
Reliable high-resolution state estimates for forecasts and reanalyses are pivotal in environmental applications, particularly in ocean and atmospheric sciences. These are typically achieved by integrating observational data into dynamical models through processes such as data assimilation (DA), when enhancing the reliability of forecasts and reanalysis, or downscaling when bridging the gap between coarse-scale observations and fine-scale information. Current DA and downscaling techniques rely on limiting assumptions and tend to be computationally demanding, especially in the presence of observational and model uncertainties. Artificial intelligence (AI) emerges as a powerful avenue for developing efficient data-driven tools that enhance reliability and alleviate computational demands of conventional DA and downscaling algorithms.
This talk aims to present recent developments in AI tools that address challenges pertaining to downscaling with application to chaotic dynamical systems, and within an uncertain framework. The state-of-the-art dynamical downscaling algorithm, Continuous data assimilation (CDA), and its discrete-in-time counterpart (DDA) are first explored in the setting involving observational errors. Since CDA relies on an abstract lifting function called the determining form map, a physics-informed deep neural network (PI-DNN) named CDAnet is proposed to approximate this intractable mapping. CDAnet is then evaluated under observational and model uncertainties in application to the Rayleigh-Benard convection problem, validating and further extending upon the knowledge from theory. |
![]() |
02/04 09:00am |
Zoom | Agnieszka Świerczewska-Gwiazda Warsaw University |
Cahn-Hillard and Keller-Segel systems as high-friction limits of gas dynamics
Several recent studies considered the high-friction limit for systems arising in fluid mechanics. Following this approach, we rigorously derive the nonlocal Cahn-Hilliard equation as a limit of the nonlocal Euler-Korteweg equation using the relative entropy method. Applying the recent result about relations between non-local and local Cahn-Hilliard, we also derive rigorously the large-friction nonlocal- to-local limit. The result is formulated for dissipative measure-valued solutions of the nonlocal Euler-Korteweg equation which are known to exist on arbitrary intervals of time. This approach provides a new method to derive equations not enjoying classical solutions via relative entropy method by introducing the nonlocal effect in the fluid equation. During the talk I will also discuss the high-friction limit of the Euler-Poisson system. |
![]() |
02/04 10:00am |
Lan-Anh Nguyen Rochester Institute of Technology and HNUE |
Inverse problems for evolutionary hemi-quasi -variational inequalities with applications
This talk addresses inverse problems associated with setvalued hemi-quasi-variational inequalities within the framework of reflexive Banach spaces. Initially, we establish solvability results and demonstrate the weak compactness of solution sets for specific classes of parametric generalized hemi-quasi-variational inequalities. Our approach involves utilizing variational selection to distinguish between monotone and pseudo-monotone components. Subsequently, we delve into the exploration of existence results for the inverse problem, employing a comprehensive regularization framework. Additionally, we offer applications of our theoretical results, particularly in the context of elliptic and parabolic hemi-quasi-variational inequalities encountered in nonlinear implicit obstacle problems and contact problems.
| |
![]() |
02/11 3:00pm |
ZOOM | Ian Tice Carnegie Mellon University |
Stationary and slowly traveling solutions to the free boundary Navier-Stokes equations
The stationary problem for the free boundary incompressible Navier-Stokes equations lies at the confluence of two distinct lines of inquiry in fluid mechanics. The first views the dynamic problem as an initial value problem. In this context, the stationary problem arises naturally as a special type of global-in-time solution with stationary sources of force and stress. One then expects solutions to the stationary problem to play an essential role in the study of long-time asymptotics or attractors for the dynamic problem. The second line of inquiry, which dates back essentially to the beginning of mathematical fluid mechanics, concerns the search for traveling wave solutions. In this context, a huge literature exists for the corresponding inviscid problem, but progress on the viscous problem was initiated much more recently in the work of the speaker and co-authors. For technical reasons, these results were only able to produce traveling solutions with nontrivial wave speed. In this talk we will discuss the well-posedness theory for the stationary problem and show that the solutions thus obtained lie along a one-parameter family of slowly traveling wave solutions. This is joint work with Noah Stevenson. |
![]() |
02/25 09:00am |
Zoom | Aleksis Vuoksenmaa University of Helsinki |
Chaos via joint cumulants -- the case of the stochastic Kac model
In this talk, we discuss how chaos -- in the sense of near independence of the relevant random variables -- can be studied via the asymptotic smallness of joint cumulants. Focusing on the stochastic Kac model model for velocity exchange of a system of $N$ particles, we propose how to quantify the notion of chaos in terms of weighted norms on the space of joint cumulants of the energy variables. An analysis on how time-evolution of the joint cumulants in such spaces demonstrate how chaos is generated or propagated in the system.
Known spectral gap results imply that typical initial densities converge to uniform distribution on the energy sphere at a time which has order of $N$ expected collisions.
We prove that the finite order cumulants converge to their small stationary values much faster, already at a time scale of order 1 or log(N) collisions. The proof relies on stability analysis of the closed, nonlinear hierarchy of energy cumulants around the fixed point formed by their values in the stationary spherical distribution.
This talk is based on joint work with Jani Lukkarinen |
![]() |
02/26 3:00pm |
Zoom | Ahmad Abassi University of California Berkeley |
Finite-depth standing water waves: theory, computational algorithms, and rational approximations
We generalize the semi-analytic standing-wave framework of Schwartz and Whitney (1981) and Amick and Toland (1987) to finite-depth standing gravity waves. We propose an appropriate Stokes-expansion ansatz and iterative algorithm to solve the system of differential equations governing the expansion coefficients. We then present a more efficient algorithm that allows us to compute the asymptotic solution to higher orders. Finally, we conclude with numerical simulations of the algorithms implemented in multiple-precision arithmetic on a supercomputer to study the effects of small divisors and the analytic properties of rational approximations of the computed solutions. *Joint work with Prof. Jon Wilkening, University of California, Berkeley. **This is joint seminar with the Numerical Analysis Seminar. |
![]() |
02/28 4:00pm |
Blocker 117 | Hamza Ruzayqat King Abdullah University of Science and Technology (KAUST) |
BAYESIAN ANOMALY DETECTION IN VARIABLE-ORDER AND VARIABLE-DIFFUSIVITY FRACTIONAL MEDIA
Fractional diffusion equations (FDEs) are powerful tools for modeling anomalous diffusion in complex systems, such as fractured media and biological processes, where nonlocal dynamics and spatial heterogeneity are prominent. These equations provide a more accurate representation of such systems compared to classical models but pose significant computational challenges, particularly for spatially varying diffusivity and fractional orders. In this talk I will present a Bayesian inverse problem for FDEs in a 2-dimensional bounded domain with an anomaly of unknown geometric and physical properties, where the latter are the diffusivity and fractional order fields. To tackle the computational burden of solving dense and ill-conditioned systems, we employ an advanced finite-element scheme incorporating low-rank matrix representations and hierarchical matrices. For parameter estimation, we implement two surrogate-based approaches using polynomial chaos expansions: one constructs a 7-dimensional surrogate for simultaneous inference of geometrical and physical parameters, while the other leverages solution singularities to separately infer geometric features, then constructing a 2-dimensional surrogate to learn the physical parameters and hence reducing the computational cost immensely. |
![]() |
03/04 3:00pm |
Blocker 302 | Animikh Biswas University of Maryland Baltimore County |
ACCURACY AND STABILITY OF A CLASS OF APPROXIMATE GAUSSIAN FILTERS FOR THE NAVIER- STOKES EQUATIONS
We develop a unified framework for the analysis of several well-known and empirically efficient data assimilation techniques derived from various Gaussian approximations of the Bayesian filtering schemes for geophysical-type dissipative dynamics with quadratic nonlinearities. We establish rigorous results on (time-asymptotic) accuracy and stability of these algorithms with general covariance and observation operators. The accuracy and stability results for EnKF and EnSRKF for dissipative PDEs are, to the best of our knowledge, completely new in this general setting. It turns out that a hitherto unexploited cancellation property involving the ensemble covariance and observation operators and the concept of covariance localization in
conjunction with covariance inflation play a pivotal role in the accuracy and stability for EnKF and EnSRKF. Our approach also elucidates the links, via determining functionals, between the approximate-Bayesian and control-theoretic approaches to data assimilation. We consider the ‘‘model’’ dynamics governed by the two-dimensional incompressible Navier-Stokes equations and observations given by noisy measurements of averaged volume elements or spectral/modal observations of the velocity field. In this setup, several continuous-time data assimilation techniques, namely the so-called Nudging (AOT)-algorithm, 3DVar, EnKF and EnSRKF reduce to a stochastically forced Navier-Stokes equations. For the first time, we derive conditions for accuracy and stability of EnKF and EnSRKF. Our analysis reveals an interplay between the resolution of the observations (roughly, the ‘richness’ of the observation space) associated with the observation operator underlying the data assimilation algorithms and covariance inflation and localization which are employed in practice for improved filter performance. This is joint work with Dr. Michal Branicki (University of Edinburgh). |
![]() |
03/18 3:00pm |
BLOCKER 302 | Tomasz Komorowski Polish Academy of Sciences |
Energy propagation in stochastically perturbed harmonic chains.
Nature has a hierarchical structure with macroscopic behavior arising
from the dynamics of atoms and molecules. The connection between different
levels of the hierarchy is however not always straightforward, as seen in the
emergent phenomena, such as phase transition and heat convection. Establishing
in a mathematical precise way the connection between the different levels is the
central problem of rigorous statistical mechanics. One of the methods leading to
such results is to introduce some stochasticity inside the system.
A classical microscopic model of the thermal energy transport is provided by a
chain of coupled oscillators on a integer lattice, that describes atoms (or
molecules) in a crystal. We summarise some of the results obtained recently
concerning the derivation of the macroscopic heat equation from the microscopic
behaviour of a harmonic chain with a stochastic perturbation. We focus our
attention on the emergence of macroscopic boundary conditions. The results have
been obtained in collaboration with Joel Lebowitz, Stefano Olla, Marielle Simon. |
![]() |
03/25 3:00pm |
Blocker 302 | Marita Thomas Freie Universitaet - Berlin |
First-order formulation for dynamic phase-field fracture in viscoelastic materials
We investigate a model for dynamic fracture in viscoelastic materials. The sharp crack interface is regularized with a phase-field approximation, and for the phase-field variable a viscous evolution with a quadratic dissipation potential is employed. A non-smooth penalization prevents material healing.The viscoelastic momentum balance is formulated as a first order system and coupled in a nonlinear way to the non-smooth evolution equation of the phase field. We give a full discretization in time and space, using a discontinuous Galerkin method for the first order system. Based on this, we show the existence of discrete solutions and, as the step size in space and time tends to zero, we prove their convergence to a suitable notion of weak solution of the system. We discuss our modeling approach both at small and at finite strains and point out mathematical challenges. **This is joint work with Sven Tornquist (FUB), Christian Wieners (Karlsruhe), and Kerstin Weinberg (Siegen). |
![]() |
04/01 3:00pm |
Zoom | Connor R Mooney University of California Irvine |
Singular solutions to the special Lagrangian equation and the minimal surface system
The special Lagrangian equation (SLE) was introduced by Harvey and Lawson in the context of calibrated geometries. We will talk about the construction of singular viscosity solutions to SLE that are Lipschitz but not C^1, and have non-minimal gradient graphs. The singularities are related to certain degenerate Bellman equations and the free boundaries associated with them. We will also discuss a similar construction in the context of the minimal surface system. This is joint work with O. Savin.
|
![]() |
04/08 3:00pm |
BLOCKER 302 | Tina Mai Duy Tan University and Texas A&M University |
Hydrodynamic limit of the Kuramoto-Sakaguchi equation with inertia and noise effects
We consider the Kuramoto-Sakaguchi-Fokker-Planck equation (namely, parabolic Kuramoto-Sakaguchi, or Kuramoto-Sakaguchi equation, which is a nonlinear parabolic integro-differential equation) with inertia and white noise effects. We study the hydrodynamic limit of this Kuramoto-Sakaguchi equation. During showing this main result, as a support, we also prove a Hardy-type inequality over the whole real line. |
![]() |
04/22 3:00pm |
Blocker 302 | Ugur G. Abdulla Okinawa Institute of Science and Technology, Japan |
Kolmogorov Problem and Wiener-type Criteria for the Removability of the Fundamental Singularity for the Elliptic and Parabolic PDEs
This talk will address the major problem in the Analysis of PDEs on the nature of singularities reflecting the natural phenomena. I will present my solution of the "Kolmogorov's Problem" (1928) expressed in terms of the new Wiener-type criterion for the removability of the fundamental singularity for the heat equation. The new concept of regularity or irregularity of singularity point for the parabolic (or elliptic) PDEs is defined according to whether or not the caloric (or harmonic) measure of the singularity point is null or positive. The new Wiener-type criterion precisely characterizes the uniqueness of boundary value problems with singular data, reveal the nature of the harmonic or caloric measure of the singularity point, asymptotic laws for the conditional Brownian motion, and criteria for thinness in minimal-fine topology. The talk will end with the description of some outstanding open problems and perspectives of the development of the potential theory of nonlinear elliptic and parabolic PDEs. |