Struve H_ν (normalized)

Canonical Key

struve_h_normalized

Parameter Space

nu ∈ R (real)

Image domain $f(\mathbb{D})$

The image of the unit disk under $f$: concentric circles $|z|=r$ and radial spokes mapped through $f(z)=z+a_2z^2+\dots$; the bold curve is the boundary $f(e^{i\theta})$. Rendered in your browser from the certified Taylor coefficients - nothing is computed server-side.

Parameter nu=-0.5

nu=-0.5 nu=4.0

Instance

Taylor series

Unit disk explorer - hover to evaluate

Hover over the disk

Facts (34)

Property	Kind	Params	Holds	Value / r	Status	Confidence
K	membership	{"nu": 0.5}	✓	0.8287	🔬 screened	numerical_strong
K	membership	{"nu": 0.0}	✓	0.7625	🔬 screened	numerical_strong
K	membership	{"nu": 1.0}	✓	0.8657	🔬 screened	numerical_strong
K	membership	{"nu": 2.0}	✓	0.9060	🔬 screened	numerical_strong
K	membership	{"nu": 3.0}	✓	0.9275	🔬 screened	numerical_strong
K	membership	{"nu": -0.5}	✓	0.6071	🔬 screened	numerical_strong
r*	radius	{"nu": 0.5}	-	r ≤ 0.960	🔬 screened	numerical_strong
r*	radius	{"nu": 0.0}	-	r ≤ 0.960	🔬 screened	numerical_strong
r*	radius	{"nu": 1.0}	-	r ≤ 0.960	🔬 screened	numerical_strong
r*	radius	{"nu": 2.0}	-	r ≤ 0.960	🔬 screened	numerical_strong
r*	radius	{"nu": 3.0}	-	r ≤ 0.960	🔬 screened	numerical_strong
r*	radius	{"nu": -0.5}	-	r ≤ 0.960	🔬 screened	numerical_strong
S*	membership	{"nu": 1.75}	-	-	retracted	-
S*	membership	{"nu": 4.0}	-	-	retracted	-
S*	membership	{"nu": -0.75}	-	-	retracted	-
S*	membership	{"nu": -0.25}	-	-	retracted	-
S*	membership	{"nu": 0.1}	-	-	retracted	-
S*	membership	{"nu": 0.25}	-	-	retracted	-
S*	membership	{"nu": 0.75}	-	-	retracted	-
S*	membership	{"nu": 1.25}	-	-	retracted	-
S*	membership	{"nu": 1.5}	-	-	retracted	-
S*	membership	{"nu": 2.5}	-	-	retracted	-
S*	membership	{"nu": 0.5}	✓	0.9187	🔬 screened	numerical_weak
S*	membership	{"nu": 0.0}	✓	0.8900	🔬 screened	numerical_weak
S*	membership	{"nu": 1.0}	✓	0.9354	🔬 screened	numerical_weak
S*	membership	{"nu": 2.0}	✓	0.9541	🔬 screened	numerical_weak
S*	membership	{"nu": 3.0}	✓	0.9644	🔬 screened	numerical_weak
S*	membership	{"nu": -0.5}	-	0.8287	retracted	-
S	membership	{"nu": 0.5}	✓	-	🔬 screened	numerical_strong
S	membership	{"nu": 0.0}	✓	-	🔬 screened	numerical_strong
S	membership	{"nu": 1.0}	✓	-	🔬 screened	numerical_strong
S	membership	{"nu": 2.0}	✓	-	🔬 screened	numerical_strong
S	membership	{"nu": 3.0}	✓	-	🔬 screened	numerical_strong
S	membership	{"nu": -0.5}	✓	-	🔬 screened	numerical_strong

Verification Runs (27)

Verifier	Property	Direction	Outcome	Domain r	Witness	Engine
boundary_scan_centered_v31	starlike	proves	pass	0.999	-	boundary_v3.1
boundary_scan_centered_v31	starlike	proves	pass	0.999	-	boundary_v3.1
boundary_scan_centered_v31	starlike	proves	pass	0.999	-	boundary_v3.1
boundary_scan_centered_v31	starlike	proves	pass	0.999	-	boundary_v3.1
boundary_scan_centered_v31	starlike	proves	pass	0.999	-	boundary_v3.1
boundary_scan_centered_v31	starlike	proves	pass	0.999	-	boundary_v3.1
boundary_scan_centered_v31	starlike	proves	pass	0.999	-	boundary_v3.1
boundary_scan_centered_v31	starlike	proves	pass	0.999	-	boundary_v3.1
boundary_scan_centered_v31	starlike	proves	pass	0.999	-	boundary_v3.1
boundary_scan_centered_v31	starlike	proves	pass	0.999	-	boundary_v3.1
boundary_scan_centered_v31	starlike	proves	pass	0.999	-	boundary_v3.1
boundary_scan_polynomial	starlike	proves	pass	0.999	-	boundary_v3.0
boundary_scan_polynomial	starlike	proves	pass	0.999	-	boundary_v3.0
boundary_scan_polynomial	starlike	proves	pass	0.999	-	boundary_v3.0
boundary_scan_polynomial	starlike	proves	pass	0.999	-	boundary_v3.0
boundary_scan_polynomial	starlike	proves	pass	0.999	-	boundary_v3.0
boundary_scan_polynomial	starlike	proves	pass	0.999	-	boundary_v3.0
boundary_scan_polynomial	starlike	proves	pass	0.999	-	boundary_v3.0
boundary_scan_polynomial	starlike	proves	pass	0.999	-	boundary_v3.0
boundary_scan_polynomial	starlike	proves	pass	0.999	-	boundary_v3.0
boundary_scan_polynomial	starlike	proves	pass	0.999	-	boundary_v3.0
boundary_scan_none	starlike	proves	not_applicable	-	-	boundary_v3.0
boundary_scan_none	starlike	proves	not_applicable	-	-	boundary_v3.0
boundary_scan_none	starlike	proves	not_applicable	-	-	boundary_v3.0
boundary_scan_none	starlike	proves	not_applicable	-	-	boundary_v3.0
boundary_scan_none	starlike	proves	not_applicable	-	-	boundary_v3.0
boundary_scan_polynomial	starlike	proves	pass	0.999	-	boundary_v3.0

Parameter Sweep (27 recorded instances, starlikeness evidence × disk radius vs parameter)

Legacy “proven” label (scope not recorded) · Recorded finite-radius evidence · Disproven (witness)

Instances (16)

Cited in Papers (5)

Bounds and asymptotic expansions for the radii of convexity and uniform convexity of normalized Bessel functions

Árpád Baricz, Pranav Kumar, Sanjeev Singh · 2025

Exponential radii of starlikeness and convexity of some special functions

Adiba Naz; Sumit Nagpal; V. Ravichandran · 2024 · The Ramanujan Journal

Sufficiency for Nephroid Starlikeness using Hypergeometric Functions

A. Swaminathan, Lateef Ahmad Wani · 2021

Radii of starlikeness and convexity of generalized $k-$Bessel functions

Evrim Toklu · 2019

Radii of starlikeness and convexity of generalized Mittag-Leffler functions

Árpád Baricz, Anuja Prajapati · 2019

✦ 279 explorers have wandered the registry - thanks for stopping by. Tell us what you'd like to see →

Usage & privacy

We use first-party site metrics to improve navigation: page visits, internal clicks, search result counts (not search terms), and approximate active time. A random tab ID groups events for seven days; GPC/DNT turns this off. The separate visitor count uses a self-hosted pseudonymous fingerprint and also respects GPC/DNT.

💬 Feedback

Image domain \(f(\mathbb{D})\)