← all areas

Namespace RegularSingular 13 theorems

• Uniform two-variable decay for compatible regular singular systems RegularSingular.exists_const_norm_apply_le_rpow_mul_rpow_of_two_systems 0 below · cited by 1 · depth 30
• Logarithmic depth at most deg q in regular-singular expansions RegularSingular.exists_logDepth_le_natDegree_norm_sub_expansion_le 0 below · cited by 5 · depth 30
• Polynomial dependence on L in a regular-singular order-improvement estimate RegularSingular.exists_norm_apply_le_const_mul_one_add_pow_mul_rpow 0 below · cited by 1 · depth 30
• Transport of two-level exp–log expansions off a slice RegularSingular.exists_twoLevel_coeff_of_transport_of_slice_expansion 2 below · cited by 1 · depth 33
• Two-level corner expansion for commuting regular-singular systems RegularSingular.exists_twoLevel_expansion_of_commuting_systems 6 below · cited by 1 · depth 33
• Flat solutions of a regular singular system vanish RegularSingular.eq_zero_of_norm_le_mul_rpow_of_forall_isRoot_re_lt 1 below · cited by 2 · depth 34
• Parameter-uniform expansion for folded regular-singular systems RegularSingular.exists_expansion_coeff_of_folded_system 1 below · cited by 3 · depth 34
• Transport of log-power expansions under rescaling and exponential twist RegularSingular.exists_transferMatrix_expLogExpansion_rescale_expTwist 0 below · cited by 1 · depth 34
• Term-by-term differentiation of y^e(log y)ⁿ expansions RegularSingular.hasDerivAt_expLogCoeff_of_hasDerivAt_of_norm_sub_sum_le 1 below · cited by 4 · depth 34
• Re-indexing shifted power–log expansions with O(y^{ρ+δ}) error RegularSingular.norm_sum_shifted_sub_sum_reindexed_le 0 below · cited by 2 · depth 34
• Vanishing of flat solutions of a regular singular system RegularSingular.eq_zero_of_norm_le_mul_rpow_of_mul_lt 0 below · cited by 1 · depth 35
• Uniqueness of exponent–logarithm expansions across two index families RegularSingular.expLogSum_coeff_eq_of_norm_sub_sum_le_of_norm_sub_sum_le 1 below · cited by 2 · depth 35
• Folded regular-singular system for expansion coefficients RegularSingular.hasDerivAt_coeff_inv_smul_fold_of_system_of_norm_sub_expansion_le 3 below · cited by 2 · depth 35