Georgia Institute of Technology College of Sciences

In this talk, globally modified non-autonomous 3D Navier-Stokes equations with memory and perturbations of additive noise will be discussed. Through providing theorem on the global well-posedness of the weak and strong solutions for the specific Navier-Stokes equations, random dynamical system (continuous cocycle) is established, which is associated with the above stochastic differential equations. Moreover, theoretical results show that the established random dynamical system possesses a unique compact random attractor in the space of C_H, which is periodic under certain conditions and upper semicontinuous with respect to noise intensity parameter.

(algebraic statistics reading seminar)

I will first give a brief review on simple and robust central-upwind schemes for hyperbolic conservation laws. I will then discuss their application to the Saint-Venant system of shallow water equations. This can be done in a straightforward manner, but then the resulting scheme may suffer from the lack of balance between the fluxes and (possibly singular) geometric source term, which may lead to a so-called numerical storm, and from appearance of negative values of the water height, which may destroy the entire computed solution. To circumvent these difficulties, we have developed a special technique, which guarantees that the designed second-order central-upwind scheme is both well-balanced and positivity preserving. Finally, I will show how the scheme can be extended to the two-layer shallow water equations and to the Savage-Hutter type model of submarine landslides and generated tsunami waves, which, in addition to the geometric source term, contain nonconservative interlayer exchange terms. It is well-known that such terms, which arise in many different multiphase models, are extremely sensitive to a particular choice their numerical discretization. To circumvent this difficulty, we rewrite the studied systems in a different way so that the nonconservative terms are multiplied by a quantity, which is, in all practically meaningful cases, very small. We then apply the central-upwind scheme to the rewritten system and demonstrate robustness and superb performance of the proposed method on a number numerical examples.

Let F = F_p for any fixed prime p >= 2. An affine-invariant property is a property of functions on F^n that is closed under taking affine transformations of the domain. We prove that all affine-invariant properties having local characterizations are testable. In fact, we show a proximity-oblivious test for any such property P, meaning that there is a test that, given an input function f, makes a constant number of queries to f, always accepts if f satisfies P, and rejects with positive probability if the distance between f and P is nonzero. More generally, we show that any affine-invariant property that is closed under taking restrictions to subspaces and has bounded complexity is testable. We also prove that any property that can be described as the property of decomposing into a known structure of low-degree polynomials is locally characterized and is, hence, testable. For example, whether a function is a product of two degree-d polynomials, whether a function splits into a product of d linear polynomials, and whether a function has low rank are all examples of degree-structural properties and are therefore locally characterized. Our results depend on a new Gowers inverse theorem by Tao and Ziegler for low characteristic fields that decomposes any polynomial with large Gowers norm into a function of low-degree non-classical polynomials. We establish a new equidistribution result for high rank non-classical polynomials that drives the proofs of both the testability results and the local characterization of degree-structural properties. [Joint work with Eldar Fischer, Hamed Hatami, Pooya Hatami, and Shachar Lovett.]