Well-posedness of the free boundary problem for incompressible elastodynamics

The free boundary problem for the three dimensional incompressible elastodynamics system is studied under the Rayleigh–Taylor sign condition. Both the columns of the elastic stress $\mathbf{F}{\mathbf{F}}^{?}?\mathrm{I}$ and the transpose of the deformation gradient ${\mathbf{F}}^{?}?\mathrm{I}$ are tangential to the boundary which moves with the velocity, and the pressure vanishes outside the flow domain. The linearized equation takes the form of wave equation in terms of the flow map in the Lagrangian coordinate, and the local-in-time existence of a unique smooth solution is proved using a geometric argument in the spirit of [19].     

Regular characters of classical groups over complete discrete valuation rings

Let $\mathfrak{o}$ be a complete discrete valuation ring with finite residue field $\mathsf{k}$ of odd characteristic, and let G be a symplectic or special orthogonal group scheme over $\mathfrak{o}$. For any $?\in \mathbb{N}$ let $G^{?}$ denote the ?-th principal congruence subgroup of $\mathbf{G}(\mathfrak{o})$. An irreducible character of the group $\mathbf{G}(\mathfrak{o})$ is said to be regular if it is trivial on a subgroup $G^{?+1}$ for some ?, and if its restriction to $G^{?}/G^{?+1}?\mathrm{Lie}(\mathbf{G})(\mathsf{k})$ consists of characters of minimal $\mathbf{G}({\mathsf{k}}^{\mathrm{alg}})$-stabilizer dimension. In the present paper we consider the regular characters of such classical groups over $\mathfrak{o}$, and construct and enumerate all regular characters of $\mathbf{G}(\mathfrak{o})$, when the characteristic of $\mathsf{k}$ is greater than two. As a result, we compute the regular part of their representation zeta function.     

On Hr(curl,Ω) estimates for a Maxwell type system in convex domains

In bounded convex domains, the regularity of a vector field u with its $\mathrm{div}\mathbf{u}$, $\mathrm{curl}\mathbf{u}$ in $L^r$ space and the tangential component or the normal component of u over the boundary in $L^r$ space, is established for $1<r<\infty$. As an application, we derive an $H^r(\mathrm{curl},\mathrm{\Omega })$ estimate for solutions to a Maxwell type system with an inhomogeneous boundary condition in convex domains. In contrast to the well-posed region of r in the space $H^r(\mathrm{curl},\mathrm{\Omega })$ for the Maxwell type system in Lipschitz domains given by Kar and Sini (2016) [16], we extend the well-posed region to be optimal.     

Affine flag varieties and quantum symmetric pairs,II. Multiplication formula

We establish a multiplication formula for a tridiagonal standard basis element in the idempotent version, i.e., the Lusztig form, of the coideal subalgebras of quantum affine ${\mathfrak{gl}}_n$ arising from the geometry of affine partial flag varieties of type C. We apply this formula to obtain the stabilization algebras ${\dot{\mathbf{K}}}_n^{\mathfrak{c}}$, ${\dot{\mathbf{K}}}_{\mathfrak{n}}^{??}$, ${\dot{\mathbf{K}}}_{\mathfrak{n}}^{??}$ and ${\dot{\mathbf{K}}}_{\eta }^{??}$, which are idempotented coideal subalgebras of quantum affine ${\mathfrak{gl}}_n$. The symmetry in the formula leads to an isomorphism of the idempotented coideal subalgebras ${\dot{\mathbf{K}}}_{\mathfrak{n}}^{??}$ and ${\dot{\mathbf{K}}}_{\mathfrak{n}}^{??}$ with compatible monomial, standard and canonical bases.     

Optimal distributed control of a 2D simplified Ericksen–Leslie system for the nematic liquid crystal flows

We study the initial boundary value problem of a simplified Ericksen–Leslie system modeling the incompressible nematic liquid crystal flows in two dimensions of space, where the equations of the velocity field are characterized by a time-dependent external force $\mathbf{g}\left(t\right)$ and a no-slip boundary condition, and the equations for the molecular orientation are subjected to a time-dependent Dirichlet boundary condition $\mathbf{h}\left(t\right)$. Based on the recently addressed well-posedness and regularity results of the system, we present a rigorous proof to show the existence of optimal distributed controls, the control-to-state operator is Fréchet differentiable and first-order necessary optimality conditions for an associated optimal control problem.     

Automorphism groups of designs with λ=1

If $G$ is a finite group and $k=q>2$ or $k=q+1$ for a prime power $q$ then, for infinitely many integers $v$, there is a 2-$(v,k,1)$-design $\mathbf{D}$ for which $\mathrm{Aut}\mathbf{D}?G$.     

C-system of a module over a Jf-relative monad

Let $\mathbb{F}$ be the category with the set of objects $\mathbb{N}$ and morphisms given by the functions between the standard finite sets of the corresponding cardinalities. Let $Jf:\mathbb{F}\to Sets(U)$ be the obvious functor from this category to the category of sets in a given Grothendieck universe U. In this paper we construct, for any Jf-relative monad RR and any left RR-module LM, a C-system $C(\mathbf{RR},\mathbf{LM})$ and explicitly compute the action of the four B-system operations on its B-sets.In the introduction we explain in detail the relevance of this result to the construction of the term C-systems of type theories.     

An approach to stochastic processes via non-classical logic

Within the infinitary variety of σ-complete Riesz MV-algebras ${\mathbf{RMV}}_{\sigma }$, we introduce the algebraic analogue of a random variable as a homomorphism defined on the free algebra in ${\mathbf{RMV}}_{\sigma }$. After a preliminary study of the proposed notion, we use it to define stochastic processes in the framework of non-classical logic (?ukasiewicz logic, more precisely) and we define stochastic independence.     

Finite computable dimension and degrees of categoricity

We first give an example of a rigid structure of computable dimension 2 such that the unique isomorphism between two non-computably isomorphic computable copies has Turing degree strictly below ${\mathbf{0}}^{″}$, and not above ${\mathbf{0}}^{\prime }$. This gives a first example of a computable structure with a degree of categoricity that does not belong to an interval of the form $[{\mathbf{0}}^{(\alpha )},{\mathbf{0}}^{(\alpha +1)}]$ for any computable ordinal α. We then extend the technique to produce a rigid structure of computable dimension 3 such that if ${\mathbf{d}}_0$, ${\mathbf{d}}_1$, and ${\mathbf{d}}_2$ are the degrees of isomorphisms between distinct representatives of the three computable equivalence classes, then each ${\mathbf{d}}_i<{\mathbf{d}}_0\oplus {\mathbf{d}}_1\oplus {\mathbf{d}}_2$. The resulting structure is an example of a structure that has a degree of categoricity, but not strongly.