Characterizations of modalities and lex modalities

A reflective subuniverse in homotopy type theory is an internal version of the notion of a localization in topology or in the theory of ∞-categories. Working in homotopy type theory, we give new characterizations of the following conditions on a reflective subuniverse L: (1) the associated subuniverse $L^{\prime }$ of L-separated types is a modality; (2) L is a modality; (3) L is a lex modality; and (4) L is a cotopological modality. In each case, we give several necessary and sufficient conditions. Our characterizations involve various families of maps associated to L, such as the L-étale maps, the L-equivalences, the L-local maps, the L-connected maps, the unit maps ${\eta }_X$, and their left and/or right orthogonal complements. More generally, our main theorem gives an overview of how all of these classes related to each other. We also give examples that show that all of the inclusions we describe between these classes of maps can be strict.     

Analysis of a new multispecies tumor growth model coupling 3D phase-fields with a 1D vascular network

In this work, we present and analyze a mathematical model for tumor growth incorporating ECM erosion, interstitial flow, and the effect of vascular flow and nutrient transport. The model is of phase-field or diffused-interface type in which multiple phases of cell species and other constituents are separated by smooth evolving interfaces. The model involves a mesoscale version of Darcy’s law to capture the flow mechanism in the tissue matrix. Modeling flow and transport processes in the vasculature supplying the healthy and cancerous tissue, one-dimensional (1D) equations are considered. Since the models governing the transport and flow processes are defined together with cell species models on a three-dimensional (3D) domain, we obtain a 3D–1D coupled model.     

von Neumann’s trace inequality for Hilbert–Schmidt operators

von Neumann’s inequality in matrix theory refers to the fact that the Frobenius scalar product of two matrices is less than or equal to the scalar product of the respective singular values. Moreover, equality can only happen if the two matrices share a joint set of singular vectors, and this latter part is hard to find in the literature. We extend these facts to the separable Hilbert space setting, and provide a self-contained proof of the “latter part”.     

一个R2上含双曲函数核的Hilbert型不等式

通过引入参数，构造了一个全平面上的、含双曲函数的非齐次核函数。利用正切函数的有理分式展开，建立了最佳常数因子与正切函数高阶导数相关联的Hilbert型积分不等式。 作为应用，通过赋予参数不同的值，建立了一些有意义的特殊结果。     

白云石制备似立方体状方解石型碳酸钙晶体及其机理研究

以轻烧白云石粉、氯化铵和二氧化碳为原料,在未使用晶型控制剂的情况下,通过蒸氨-沉钙过程制备出了似立方体状碳酸钙。研究了反应温度、溶液中钙离子浓度、通气速率、搅拌速度以及陈化时间对碳酸钙中方解石相含量以及晶体形貌的影响,并探索了沉钙反应的晶型控制机理。结果表明,在反应温度40 ℃、钙离子浓度0.05 mol/L、通碳速率100 mL/min、搅拌速度400 r/min和陈化时间2 h的条件下,制备出形貌规整、粒径分布均匀的似立方体状碳酸钙,平均粒径为5~10 μm。该研究为提升白云石的使用价值、生产高附加价值的碳酸钙产品,以及提高白云石资源的利用率提供理论基础。     

Weighted estimates for the multilinear maximal function on the upper half‐spaces

For a general dyadic grid, we give a Calderón–Zygmund type decomposition, which is the principle fact about the multilinear maximal function on the upper half‐spaces. Using the decomposition, we study the boundedness of . We obtain a natural extension to the multilinear setting of Muckenhoupt's weak‐type characterization. We also partially obtain characterizations of Muckenhoupt's strong‐type inequalities with one weight. Assuming the reverse Hölder's condition, we get a multilinear analogue of Sawyer's two weight theorem. Moreover, we also get Hytönen–Pérez type weighted estimates.