Showing 1–21 of 21 results for author: Gong, H

Solving Multi-Group Neutron Diffusion Eigenvalue Problem with Decoupling Residual Loss Function

Authors: Shupei Yu, Qiaolin He, Shiquan Zhang, Qihong Yang, Yu Yang, Helin Gong

Abstract: In the midst of the neural network's success in solving partial differential equations, tackling eigenvalue problems using neural networks remains a challenging task. However, the Physics Constrained-General Inverse Power Method Neural Network (PC-GIPMNN) approach was proposed and successfully applied to solve the single-group critical problems in reactor physics. This paper aims to solve critical… ▽ More In the midst of the neural network's success in solving partial differential equations, tackling eigenvalue problems using neural networks remains a challenging task. However, the Physics Constrained-General Inverse Power Method Neural Network (PC-GIPMNN) approach was proposed and successfully applied to solve the single-group critical problems in reactor physics. This paper aims to solve critical problems in multi-group scenarios and in more complex geometries. Hence, inspired by the merits of traditional source iterative method, which can overcome the ill-condition of the right side of the equations effectively and solve the multi-group problem effectively, we propose two residual loss function called Decoupling Residual loss function and Direct Iterative loss function. Our loss function can deal with multi-group eigenvalue problem, and also single-group eigenvalue problem. Using the new residual loss functions, our study solves one-dimensional, two-dimensional, and three-dimensional multi-group problems in nuclear reactor physics without prior data. In numerical experiments, our approach demonstrates superior generalization capabilities compared to previous work. △ Less

Submitted 23 November, 2024; originally announced November 2024.

Distribution-consistency Structural Causal Models

Authors: Heyang Gong, Chaochao Lu, Yu Zhang

Abstract: In the field of causal modeling, potential outcomes (PO) and structural causal models (SCMs) stand as the predominant frameworks. However, these frameworks face notable challenges in practically modeling counterfactuals, formalized as parameters of the joint distribution of potential outcomes. Counterfactual reasoning holds paramount importance in contemporary decision-making processes, especially… ▽ More In the field of causal modeling, potential outcomes (PO) and structural causal models (SCMs) stand as the predominant frameworks. However, these frameworks face notable challenges in practically modeling counterfactuals, formalized as parameters of the joint distribution of potential outcomes. Counterfactual reasoning holds paramount importance in contemporary decision-making processes, especially in scenarios that demand personalized incentives based on the joint values of $(Y(0), Y(1))$. This paper begins with an investigation of the PO and SCM frameworks for modeling counterfactuals. Through the analysis, we identify an inherent model capacity limitation, termed as the ``degenerative counterfactual problem'', emerging from the consistency rule that is the cornerstone of both frameworks. To address this limitation, we introduce a novel \textit{distribution-consistency} assumption, and in alignment with it, we propose the Distribution-consistency Structural Causal Models (DiscoSCMs) offering enhanced capabilities to model counterfactuals. To concretely reveal the enhanced model capacity, we introduce a new identifiable causal parameter, \textit{the probability of consistency}, which holds practical significance within DiscoSCM alone, showcased with a personalized incentive example. Furthermore, we provide a comprehensive set of theoretical results about the ``Ladder of Causation'' within the DiscoSCM framework. We hope it opens new avenues for future research of counterfactual modeling, ultimately enhancing our understanding of causality and its real-world applications. △ Less

Submitted 22 March, 2024; v1 submitted 29 January, 2024; originally announced January 2024.

Explainable Data-driven Share-of-choice Product Line Design Optimization

Authors: Maoqi Liu, Xun Zhang, Hailei Gong, Changchun Liu

Abstract: The share-of-choice (SOC) problem is a widely studied problem for product line design (PLD) where representative customers are sampled from a target population and the percentage of the ones who choose the offered products over outside options over the sample is maximized. The utility maximization framework captures individual choices. A significant challenge is that these utilities are not direct… ▽ More The share-of-choice (SOC) problem is a widely studied problem for product line design (PLD) where representative customers are sampled from a target population and the percentage of the ones who choose the offered products over outside options over the sample is maximized. The utility maximization framework captures individual choices. A significant challenge is that these utilities are not directly observable and must be estimated from other primitive data. Conjoint analysis is a commonly applied technique for generating such data, where sampled customers rate, rank, or choose between different product alternatives. With the responses, various methods, such as the hierarchical Bayesian method and polyhedral estimation, are employed to estimate the utilities. However, this " estimate-then-optimize" procedure disconnects the decision-making process from the primitive data and thus cannot attribute the PLD decision to the unresolved survey data. To fill the gap, we integrate the polyhedral estimation method into the PLD optimization, which constructs a polyhedron set containing all utilities consistent with the responses. Specifically, we proposed a robust model that maximizes the share-of-choice calculated by the worst-case utility over the polyhedron. The model brings threefold explainability to the PLD problem. First, it enables us to explore the influence of both estimation error and the number of sampled customers through an out-of-sample performance guarantee of the proposed model. Secondly, the linearly tractable equivalent reformulation constructed by the duality allows us to attribute the optimal product line to the survey data through the dual variables. Third, inspired by the fact that the survey questions are associated with columns in the dual reformulation, we propose a column generation approach to identify new questions that most effectively improve the model's objective. △ Less

Submitted 2 September, 2024; v1 submitted 10 October, 2023; originally announced October 2023.

Comments: 31 pages

Existence of global weak solutions to the compressible Ericksen-Leslie system in dimension one

Authors: Huajun Gong, Tao Huang, Changyou Wang

Abstract: We consider the compressible Ericksen-Leslie system of liquid crystal flows in one dimension. A global weak solution is constructed with initial density $ρ_0\geq 0$ and $ρ_0\in L^γ$ for $γ>1$. We consider the compressible Ericksen-Leslie system of liquid crystal flows in one dimension. A global weak solution is constructed with initial density $ρ_0\geq 0$ and $ρ_0\in L^γ$ for $γ>1$. △ Less

Submitted 16 June, 2020; originally announced June 2020.

Computing monomial interpolating basis for multivariate polynomial interpolation

Authors: Y. H. Gong, X. Jiang, B. X. Shang

Abstract: In this paper, we study how to quickly compute the <-minimal monomial interpolating basis for a multivariate polynomial interpolation problem. We address the notion of "reverse" reduced basis of linearly independent polynomials and design an algorithm for it. Based on the notion, for any monomial ordering we present a new method to read off the <-minimal monomial interpolating basis from monomials… ▽ More In this paper, we study how to quickly compute the <-minimal monomial interpolating basis for a multivariate polynomial interpolation problem. We address the notion of "reverse" reduced basis of linearly independent polynomials and design an algorithm for it. Based on the notion, for any monomial ordering we present a new method to read off the <-minimal monomial interpolating basis from monomials appearing in the polynomials representing the interpolation conditions. △ Less

Submitted 22 May, 2020; originally announced May 2020.

PBDW method for state estimation: error analysis for noisy data and nonlinear formulation

Authors: Helin Gong, Yvon Maday, Olga Mula, Tommaso Taddei

Abstract: We present an error analysis and further numerical investigations of the Parameterized-Background Data-Weak (PBDW) formulation to variational Data Assimilation (state estimation), proposed in [Y Maday, AT Patera, JD Penn, M Yano, Int J Numer Meth Eng, 102(5), 933-965]. The PBDW algorithm is a state estimation method involving reduced models. It aims at approximating an unknown function… ▽ More We present an error analysis and further numerical investigations of the Parameterized-Background Data-Weak (PBDW) formulation to variational Data Assimilation (state estimation), proposed in [Y Maday, AT Patera, JD Penn, M Yano, Int J Numer Meth Eng, 102(5), 933-965]. The PBDW algorithm is a state estimation method involving reduced models. It aims at approximating an unknown function $u^{\rm true}$ living in a high-dimensional Hilbert space from $M$ measurement observations given in the form $y_m = \ell_m(u^{\rm true}),\, m=1,\dots,M$, where $\ell_m$ are linear functionals. The method approximates $u^{\rm true}$ with $\hat{u} = \hat{z} + \hatη$. The \emph{background} $\hat{z}$ belongs to an $N$-dimensional linear space $\mathcal{Z}_N$ built from reduced modelling of a parameterized mathematical model, and the \emph{update} $\hatη$ belongs to the space $\mathcal{U}_M$ spanned by the Riesz representers of $(\ell_1,\dots, \ell_M)$. When the measurements are noisy {--- i.e., $y_m = \ell_m(u^{\rm true})+ε_m$ with $ε_m$ being a noise term --- } the classical PBDW formulation is not robust in the sense that, if $N$ increases, the reconstruction accuracy degrades. In this paper, we propose to address this issue with an extension of the classical formulation, {which consists in} searching for the background $\hat{z}$ either on the whole $\mathcal{Z}_N$ in the noise-free case, or on a well-chosen subset $\mathcal{K}_N \subset \mathcal{Z}_N$ in presence of noise. The restriction to $\mathcal{K}_N$ makes the reconstruction be nonlinear and is the key to make the algorithm significantly more robust against noise. We {further} present an \emph{a priori} error and stability analysis, and we illustrate the efficiency of the approach on several numerical examples. △ Less

Submitted 3 June, 2019; originally announced June 2019.

Partial regularity of suitable weak solutions of the Navier-Stokes-Planck-Nernst-Poisson equation

Authors: Huajun Gong, Changyou Wang, Xiaotao Zhang

Abstract: In this paper, inspired by the seminal work by Caffarelli-Kohn-Nirenberg \cite{CKN} on the incompressible Navier-Stokes equation, we establish the existence of a suitable weak solution to the Navier-Stokes-Planck-Nernst-Poisson equation in dimension three, which is shown to be smooth away from a closed set whose $1$-dimensional parabolic Hausdorff measure is zero. In this paper, inspired by the seminal work by Caffarelli-Kohn-Nirenberg \cite{CKN} on the incompressible Navier-Stokes equation, we establish the existence of a suitable weak solution to the Navier-Stokes-Planck-Nernst-Poisson equation in dimension three, which is shown to be smooth away from a closed set whose $1$-dimensional parabolic Hausdorff measure is zero. △ Less

Submitted 17 June, 2019; v1 submitted 30 May, 2019; originally announced May 2019.

Comments: 31 pages. A few mistakes have been fixed

Local well-posedness of isentropic compressible Navier-Stokes equations with vacuum

Authors: Huajun Gong, Jinkai Li, Xian-Gao Liu, Xiaotao Zhang

Abstract: In this paper, the local well-posedness of strong solutions to the Cauchy problem of the isentropic compressible Navier-Stokes equations is proved with the initial date being allowed to have vacuum. The main contribution of this paper is that the well-posedness is established without assuming any compatibility condition on the initial data, which was widely used before in many literatures concerni… ▽ More In this paper, the local well-posedness of strong solutions to the Cauchy problem of the isentropic compressible Navier-Stokes equations is proved with the initial date being allowed to have vacuum. The main contribution of this paper is that the well-posedness is established without assuming any compatibility condition on the initial data, which was widely used before in many literatures concerning the well-posedness of compressible Navier-Stokes equations in the presence of vacuum. △ Less

Submitted 19 May, 2019; originally announced May 2019.

Proving a conjecture on chromatic polynomials by counting the number of acyclic orientations

Authors: Fengming Dong, Jun Ge, Helin Gong, Bo Ning, Zhangdong Ouyang, Eng Guan Tay

Abstract: The chromatic polynomial $P(G,x)$ of a graph $G$ of order $n$ can be expressed as $\sum\limits_{i=1}^n(-1)^{n-i}a_{i}x^i$, where $a_i$ is interpreted as the number of broken-cycle free spanning subgraphs of $G$ with exactly $i$ components. The parameter $ε(G)=\sum\limits_{i=1}^n (n-i)a_i/\sum\limits_{i=1}^n a_i$ is the mean size of a broken-cycle-free spanning subgraph of $G$. In this article, we… ▽ More The chromatic polynomial $P(G,x)$ of a graph $G$ of order $n$ can be expressed as $\sum\limits_{i=1}^n(-1)^{n-i}a_{i}x^i$, where $a_i$ is interpreted as the number of broken-cycle free spanning subgraphs of $G$ with exactly $i$ components. The parameter $ε(G)=\sum\limits_{i=1}^n (n-i)a_i/\sum\limits_{i=1}^n a_i$ is the mean size of a broken-cycle-free spanning subgraph of $G$. In this article, we confirm and strengthen a conjecture proposed by Lundow and Markström in 2006 that $ε(T_n)< ε(G)<ε(K_n)$ holds for any connected graph $G$ of order $n$ which is neither the complete graph $K_n$ nor a tree $T_n$ of order $n$. The most crucial step of our proof is to obtain the interpretation of all $a_i$'s by the number of acyclic orientations of $G$. △ Less

Submitted 15 July, 2020; v1 submitted 23 March, 2018; originally announced March 2018.

Comments: 20 pages, 23 references. To appear in J. Graph Theory

MSC Class: 05C31; 05C20

Several extreme coefficients of the Tutte polynomial of graphs

Authors: Helin Gong, Mengchen Li, Xian'an Jin

Abstract: Let $t_{i,j}$ be the coefficient of $x^iy^j$ in the Tutte polynomial $T(G;x,y)$ of a connected bridgeless and loopless graph $G$ with order $n$ and size $m$. It is trivial that $t_{0,m-n+1}=1$ and $t_{n-1,0}=1$. In this paper, we obtain expressions of another eight extreme coefficients $t_{i,j}$'s with $(i,j)=(0,m-n)$,$(0,m-n-1)$,$(n-2,0)$,$(n-3,0)$,$(1,m-n)$,$(1,m-n-1)$,$(n-2,1)$ and $(n-3,1)$ in… ▽ More Let $t_{i,j}$ be the coefficient of $x^iy^j$ in the Tutte polynomial $T(G;x,y)$ of a connected bridgeless and loopless graph $G$ with order $n$ and size $m$. It is trivial that $t_{0,m-n+1}=1$ and $t_{n-1,0}=1$. In this paper, we obtain expressions of another eight extreme coefficients $t_{i,j}$'s with $(i,j)=(0,m-n)$,$(0,m-n-1)$,$(n-2,0)$,$(n-3,0)$,$(1,m-n)$,$(1,m-n-1)$,$(n-2,1)$ and $(n-3,1)$ in terms of small substructures of $G$. Among them, the former four can be obtained by using coefficients of the highest, second highest and third highest terms of chromatic or flow polynomials, and vice versa. We also discuss their duality property and their specializations to extreme coefficients of the Jones polynomial. △ Less

Submitted 28 May, 2017; originally announced May 2017.

Comments: 20 pages, 3 figures

MSC Class: 05C31; 57M27

Nonuniqueness of nematic liquid crystal flows in dimension three

Authors: Huajun Gong, Tao Huang, Jinkai Li

Abstract: For suitable initial and boundary data, we construct infinitely many weak solutions to the nematic liquid crystal flows in dimension three. These solutions are in the axisymmetric class with bounded energy and backward bubbling at a large time. For suitable initial and boundary data, we construct infinitely many weak solutions to the nematic liquid crystal flows in dimension three. These solutions are in the axisymmetric class with bounded energy and backward bubbling at a large time. △ Less

Submitted 5 January, 2017; originally announced January 2017.

Stabilization of (G)EIM in presence of measurement noise: application to nuclear reactor physics

Authors: J. P. Argaud, B. Bouriquet, H. Gong, Y. Maday, O. Mula

Abstract: The Empirical Interpolation Method (EIM) and its generalized version (GEIM) can be used to approximate a physical system by combining data measured from the system itself and a reduced model representing the underlying physics. In presence of noise, the good properties of the approach are blurred in the sense that the approximation error no longer converges but even diverges. We propose to address… ▽ More The Empirical Interpolation Method (EIM) and its generalized version (GEIM) can be used to approximate a physical system by combining data measured from the system itself and a reduced model representing the underlying physics. In presence of noise, the good properties of the approach are blurred in the sense that the approximation error no longer converges but even diverges. We propose to address this issue by a least-squares projection with constrains involving a some a priori knowledge of the geometry of the manifold formed by all the possible physical states of the system. The efficiency of the approach, which we will call Constrained Stabilized GEIM (CS-GEIM), is illustrated by numerical experiments dealing with the reconstruction of the neutron flux in nuclear reactors. A theoretical justification of the procedure will be presented in future works. △ Less

Submitted 7 November, 2016; originally announced November 2016.

Multilinear fractional integral operators on non-homogeneous metric measure spaces

Authors: Huajun Gong, Rulong Xie, Chen Xu

Abstract: Let $(X,d,μ)$ be a non-homogeneous metric measure space satisfying both the geometrically doubling and the upper doubling measure conditions. In this paper, the boundedness of multilinear fractional integral operator in this setting is proved. Via a sharp maximal operator, the boundedness of commutators generated by multilinear fractional integral operator with $RBMO(μ)$ function on non-homogeneou… ▽ More Let $(X,d,μ)$ be a non-homogeneous metric measure space satisfying both the geometrically doubling and the upper doubling measure conditions. In this paper, the boundedness of multilinear fractional integral operator in this setting is proved. Via a sharp maximal operator, the boundedness of commutators generated by multilinear fractional integral operator with $RBMO(μ)$ function on non-homogeneous metric measure spaces in Lebesgue spaces is obtained. △ Less

Submitted 18 February, 2016; originally announced February 2016.

Comments: 19 pages

Local well-posedness of strong solutions to density-dependent liquid crystal system

Authors: Huajun Gong, Jinkai Li, Chen Xu

Abstract: In this paper, we study the Cauchy problem to the density-dependent liquid crystal system in $\mathbb R^3$. We establish the local existence and uniqueness of strong solutions to this system. In order to overcome the difficulties caused by the high order coupling terms, a biharmonic regularization of the system, as an auxiliary system, is introduced, and we make full use of the intrinsic cancellat… ▽ More In this paper, we study the Cauchy problem to the density-dependent liquid crystal system in $\mathbb R^3$. We establish the local existence and uniqueness of strong solutions to this system. In order to overcome the difficulties caused by the high order coupling terms, a biharmonic regularization of the system, as an auxiliary system, is introduced, and we make full use of the intrinsic cancellation properties between the high order coupling terms. △ Less

Submitted 2 December, 2015; originally announced December 2015.

A formula for the number of the spanning trees of line graphs

Authors: Helin Gong, Xian'an Jin

Abstract: Let $G=(V,E)$ be a loopless graph and $\mathcal{T}(G)$ be the set of all spanning trees of $G$. Let $L(G)$ be the line graph of the graph $G$ and $t(L(G))$ be the number of spanning trees of $L(G)$. Then, by using techniques from electrical networks, we obtain the following formula:… ▽ More Let $G=(V,E)$ be a loopless graph and $\mathcal{T}(G)$ be the set of all spanning trees of $G$. Let $L(G)$ be the line graph of the graph $G$ and $t(L(G))$ be the number of spanning trees of $L(G)$. Then, by using techniques from electrical networks, we obtain the following formula: $$ t(L(G)) = \frac{1}{\prod_{v\in V}d^2(v)}\sum_{T\subseteq \mathcal{T}(G)}\big[\prod_{e = xy\in T}d(x)d(y)\big]\big[\prod_{e = uv\in E\backslash T}[d(u)+d(v)]\big]. $$ As a result, we provide a very simple and different proof of the formula on the number of spanning trees of some irregular line graphs, and give a positive answer to a conjecture proposed by Yan [J. Combin. Theory Ser. A 120 (2013) no. 7, 1642-1648]. By applying our formula we also derive the number of spanning trees of circulant line graphs. △ Less

Submitted 29 July, 2015; v1 submitted 23 July, 2015; originally announced July 2015.

Comments: We want to withdraw this paper, since there are inappropriate expressions in the Abstract and Introduction

A priori estimates and Blow-up behavior for solutions of $-Q_{N}u=Ve^{u}$ in bounded domain in $\mathbb{R}^{N}$

Authors: Rulong Xie, Huajun Gong

Abstract: Let $Q_{N}$ be $N$-anisotropic Laplacian operator, which contains the ordinary Laplacian operator, $N$-Laplacian operator and anisotropic Laplacian operator. In this paper, we firstly obtain the properties for $Q_{N}$, which contain the weak maximal principle, the comparison principle and the mean value property. Then a priori estimates and blow-up analysis for solutions of $-Q_{N}u=Ve^{u}$ in bou… ▽ More Let $Q_{N}$ be $N$-anisotropic Laplacian operator, which contains the ordinary Laplacian operator, $N$-Laplacian operator and anisotropic Laplacian operator. In this paper, we firstly obtain the properties for $Q_{N}$, which contain the weak maximal principle, the comparison principle and the mean value property. Then a priori estimates and blow-up analysis for solutions of $-Q_{N}u=Ve^{u}$ in bounded domain in $\mathbb{R}^{N}$, $N\geq 2$ are established. Finally, the behavior of sole blow-up point is further considered. △ Less

Submitted 18 February, 2016; v1 submitted 26 April, 2014; originally announced April 2014.

Comments: To appear in Sci China Math

Topological pressure dimension for almost additive potentials

Authors: Lei Liu, Huajun Gong, Xiaoyao Zhou

Abstract: This paper is devoted to the study of the topological pressure dimension for almost additive sequences, which is an extension of topological entropy dimension. We investigate fundamental properties of the topological pressure dimension for almost additive sequences. In particular, we study the relationships among different types of topological pressure dimension and identifies an inequality relati… ▽ More This paper is devoted to the study of the topological pressure dimension for almost additive sequences, which is an extension of topological entropy dimension. We investigate fundamental properties of the topological pressure dimension for almost additive sequences. In particular, we study the relationships among different types of topological pressure dimension and identifies an inequality relating them. Also, we show that the topological pressure dimension is always equal to or greater than 1 for certain special almost additive sequence. △ Less

Submitted 25 April, 2014; originally announced April 2014.

Comments: 23 pages. arXiv admin note: text overlap with arXiv:1104.2195 by other authors

MSC Class: 54H20; 37B20

Global Strong Solutions to Incompressible Ericksen-Leslie System in $\mathbb R^3$

Authors: Wenya Ma, Jinkai Li, Huajun Gong

Abstract: In this paper, we consider the Cauchy problem to the Ericksen-Leslie system of liquid crystals in $\mathbb R^3$. Global well-posedness of strong solutions are obtained under the condition that the product of $\|u_0\|_2+\|\nabla d_0\|_2$ and $\|\nabla u_0\|_2+\|\nabla^2d_0\|_2$ is suitably small. This result can be viewed as a supplement to the local existence and blow up criteria discussed in \cit… ▽ More In this paper, we consider the Cauchy problem to the Ericksen-Leslie system of liquid crystals in $\mathbb R^3$. Global well-posedness of strong solutions are obtained under the condition that the product of $\|u_0\|_2+\|\nabla d_0\|_2$ and $\|\nabla u_0\|_2+\|\nabla^2d_0\|_2$ is suitably small. This result can be viewed as a supplement to the local existence and blow up criteria discussed in \cite{Hong1}. △ Less

Submitted 11 April, 2014; originally announced April 2014.

Commutators of multilinear singular integral operators on non-homogeneous metric measure spaces

Authors: Rulong Xie, Huajun Gong, Xiaoyao Zhou

Abstract: Let $(X,d,μ)$ be a metric measure space satisfying both the geometrically doubling and the upper doubling measure conditions, which is called non-homogeneous metric measure space. In this paper, via a sharp maximal operator, the boundedness of commutators generated by multilinear singular integral with $RBMO(μ)$ function on non-homogeneous metric measure spaces in $m$-multiple Lebesgue spaces is o… ▽ More Let $(X,d,μ)$ be a metric measure space satisfying both the geometrically doubling and the upper doubling measure conditions, which is called non-homogeneous metric measure space. In this paper, via a sharp maximal operator, the boundedness of commutators generated by multilinear singular integral with $RBMO(μ)$ function on non-homogeneous metric measure spaces in $m$-multiple Lebesgue spaces is obtained. △ Less

Submitted 22 April, 2014; v1 submitted 19 July, 2013; originally announced July 2013.

Comments: 17 pages

MSC Class: 42B20; 42B25

Journal ref: Taiwanese J. Math., 2015,19: 703-723

Global Existence of Strong Solutions to Incompressible MHD

Authors: Huajun Gong, Jinkai Li

Abstract: We establish the global existence and uniqueness of strong solutions to the initial boundary value problem for incompressible MHD equations in a bounded smooth domain of three spatial dimensions with initial density being allowed to have vacuum, in particular, the initial density can vanish in a set of positive Lebessgue measure. More precisely, under the assumption that the production of the quan… ▽ More We establish the global existence and uniqueness of strong solutions to the initial boundary value problem for incompressible MHD equations in a bounded smooth domain of three spatial dimensions with initial density being allowed to have vacuum, in particular, the initial density can vanish in a set of positive Lebessgue measure. More precisely, under the assumption that the production of the quantities $|\sqrtρ_0u_0|_{L^2(Ω)}^2+|H_0|_{L^2(Ω)}^2$ and $|\nabla u_0|_{L^2(Ω)}^2+|\nabla H_0|_{L^2(Ω)}^2$ is suitably small, with the smallness depending only on the bound of the initial density and the domain, we prove that there is a unique strong solution to the Dirichlet problem of the incompressible MHD system. △ Less

Submitted 2 December, 2013; v1 submitted 26 November, 2012; originally announced November 2012.

Comments: 10 pages. Communications on Pure and Applied Analysis, 2014

Boundary regularity of stationary biharmonic maps

Authors: Huajun Gong, Tobias Lamm, Changyou Wang

Abstract: We consider the Dirichlet problem for stationary biharmonic maps $u$ from a bounded, smooth domain $Ω\subset\mathbb R^n$ ($n\ge 5$) to a compact, smooth Riemannian manifold $N\subset\mathbb R^l$ without boundary. For any smooth boundary data, we show that if, in addition, $u$ satisfies a certain boundary monotonicity inequality, then there exists a closed subset $Σ\subset\barΩ$, with… ▽ More We consider the Dirichlet problem for stationary biharmonic maps $u$ from a bounded, smooth domain $Ω\subset\mathbb R^n$ ($n\ge 5$) to a compact, smooth Riemannian manifold $N\subset\mathbb R^l$ without boundary. For any smooth boundary data, we show that if, in addition, $u$ satisfies a certain boundary monotonicity inequality, then there exists a closed subset $Σ\subset\barΩ$, with $H^{n-4}(Σ)=0$, such that $u\in C^\infty(\barΩ\setminusΣ, N)$. △ Less

Submitted 3 May, 2011; v1 submitted 2 May, 2011; originally announced May 2011.

Comments: 23 pages